我需要为这个程序找到循环不变量

Question

我是Algorithms的新手，虽然我理解它非常简单的代码但我发现很难在下面的代码中找到循环不变量。 有人可以明确地告诉我下面代码的循环不变量是多少。 非常感谢任何帮助

body {
  margin-top:2rem;
}

我不能想到除了sum等于从x到y的所有整数之外的任何循环不变量，但在第一次迭代之前不是这样。是否存在涵盖后置条件的循环不变量？

Answer 1

循环不变量是从迭代到迭代不变的。

在您的情况下，这是变量y。