寻找循环不变证明，请帮忙吗？

Question

所以我有assignment：

我需要问题2的帮助。

当我意识到向后计算阶乘时，我以为我知道该怎么做。该算法直观，但我似乎无法在循环开始之前找到一个循环不变量。

我很困惑。感谢。

Answer 1

This可能就是你要找的东西。它不仅包含答案本身，而且还提供了有用的解释，因此我认为它是很好的学习材料。

Answer 2

提示。如果在循环开始之前添加z <- y，它不会更改算法的结果。这会让你的循环不变更容易找到吗？