Invarinte de boucle倾注精确度算法

Question

Bonjour Svp je veuxuneméthodeinmplecomment delterminer invariante de boucle pour montrer que un algorithme est exacte 请问您有一个简单的方法来确定循环invariante如何确定算法是否正确？

Answer 1

这是一个太广泛的问题。你必须使用具体的算法，并在算法循环的每一轮之前和之后显示某些属性是有效的。

例如，您可以显示Insertion Sort数组的前K个元素在K-1循环后排序。