循环不变功能

Question

我想知道循环不变量。我开始知道算法（主要是排序算法）有一个循环不变量，循环不变量表示算法的正确性。

这是如何工作的？有人可以帮助我理解这个吗？

Answer 1

循环不变量本身并不表示算法的正确性。它是一个谓词，对于循环的每次迭代都是如此。 （你通常需要证明谓词确实对循环是不变的。）然后可以使用不变量来证明循环的各种属性（包括，也许，正确性）。 Wikipedia article Loop invariant有一些示例说明了这是如何工作的。有关更多示例和说明，请参阅this thread。