摘要：要证明循环正确，必须在以下三个环节中，考虑 循环不变量的真假。 循环初始状态：在所有循环体执行前，循环不变量成立。 循环进行时：如果在一个循环体开始执行之前，不变量成立，那么在下一个循环体执行之前，不变量仍然成立。 循环终结后：当整个循环结束时，不变量可以直接说明算法的正确性。 以Insertsort为例，要证明其外循环的正确性。 Code Code highlighting prod... 阅读全文