ループ不変証明を見つける、助けてください？

-1

だから私はこのassignment持っている：私は階乗が後方に計算されて気づいたとき、私は、私はそれを行う方法を知っていたと思った質問2.ループ不変証明を見つける、助けてください？

で助けを必要と

を。アルゴリズムは直感的に正しいですが、ループが始まる前に真を保持するループ不変式を見つけることができません。

私は混乱しています。ありがとう。

出典

2011-12-05 user1081456

だから、あなたは '2。あなたはこの課題を個別にしなければなりません。 – sehe

Uuuh、ループ状態が実際にありますが、あなたが探しているものがわかりません。（y> 1の間） - 正当な数の階乗を計算したい場合、アルゴリズムが開始する前に保持されます。（Aka。正の整数） – ScarletAmaranth

ありがとうsehe、私はそれを実現する...私は自分自身で本当に難しい試みたが、それを把握することはできません:(とスカーレット、私はループの状態があることを知って、私はループ不変 – user1081456

ヒント。ループが始まる前にz <- yを追加すると、アルゴリズムの結果は変更されません。それはあなたのループを不変に簡単に見つけることができますか？

出典

2011-12-05 14:01:42 btilly

YESS！私はそれがそうだと思う！私はそれについて考えていましたが、私はそれだけで文を追加することが許されているのかどうか分かりません。うーん...私は思考プロセスのある時点で正しい道を歩いていたことを知ってうれしい。提案してくれてありがとう、私はそれがこの時点で唯一実行可能な解決策であるように見えると思う。 – user1081456

あなたが正式になっていれば、あなたのアルゴリズムは変わらないと証明しなければなりません。しかしそれは難しい証拠ではありません。：D – btilly

Thisおそらくあなたが探しているものです。それだけでは答えは含まれていませんが、それは良い学習の材料だと思うので、有用な説明を提供しています。

出典

2011-12-05 12:28:01 ScarletAmaranth

ありがとう！私はこのバージョンを考え出しました。問題は、私のアルゴリズムでは、階乗が後方に計算されることです。私はいくつかの愚かな明白な事実を見落としているかもしれません。私はそれについてもっと考えますが、ありがとうございます:) – user1081456

ループ不変証明を見つける、助けてください？

答えて

関連する問題