关键是Partition Partition过程的核心是一个循环，执行rp次。 在第+1次循环开始前，格局如下： k ≤x >x unrestricted 问题3： 你能否借助此图，解释利用循环不变 式如何证明这个过程的正确性？关键是Partition Partition过程的核心是一个循环，执行r-p次。 在第k+1次循环开始前，格局如下： k