关于Hoare分区算法（Algorithm 63）实现的技术疑问

• 变量I:=N、J:=M的初始化逻辑
  Hoare分区算法采用数组两端向中间双向扫描的模式，初始化I为分区左边界N、J为右边界M，是为了让后续的up（左→右扫描）和down（右→左扫描）循环能从分区的两个端点启动，确保边界元素被纳入扫描范围，同时配合算法的循环结构，避免指针越界或遗漏元素。

• up部分中I:=N语句的执行时机
  up阶段的I:=N是每次进入up扫描的起始动作：无论是首次启动算法，还是完成一次交换后进入下一轮扫描，都需要把I重置到分区左边界N，再执行A[I] < F的循环（F为基准值），直到找到第一个不小于F的元素。重置指针是为了保证每次up扫描的范围都是当前分区的左半部分，不会因之前的指针移动导致扫描范围偏差。

• exchange(A[I],A[F])与I:=I+1的关系
  首先明确，Hoare算法通常取左边界元素A[N]作为基准值F。当down循环找到第一个≤F的元素后，会先交换A[I]和A[J]，随后执行I:=I+1——这一步是为了调整左指针位置，让后续的递归分区能正确划分左右子数组：左分区范围为[N, I-1]，右分区为[I, M]，确保基准值最终落在正确的分割点，不会被重复处理。如果是最终的基准值交换（当I≥J时），交换A[N]和A[J]后，I的调整也是为了对齐分割边界。

• 算法的返回内容
  Hoare分区算法的返回值是基准元素最终所在的索引位置（通常是J，或等价的I-1，取决于具体实现细节）。这个索引将原数组划分为两个子区间：左侧元素均≤基准值，右侧元素均≥基准值，后续快速排序可基于此索引递归处理左右子数组。

内容的提问来源于stack exchange，提问作者Nocxy