math - ループ不変証明を見つけています。助けてください。

Question

だから私はこの割り当てを持っています:

質問 2 についてサポートが必要です。

階乗が逆に計算されていることに気付いたとき、私はそれを行う方法を知っていると思っていました。アルゴリズムは直感的には正しいのですが、ループが始まる前に成り立つループ不変条件を見つけることができないようです。

よくわかりません。ありがとう。

Answer 1

ヒント。z <- yループが始まる前に追加しても、アルゴリズムの結果は変わりません。これにより、ループの不変式が見つけやすくなりますか?

Answer 2

これはおそらくあなたが探しているものです。解答そのものだけでなく、解説も充実しているので良い教材だと思います。