1)invariant property 是什么,每步循环保证了invariant property。
2)证明循环可以退出:(比如,在循环体的每个分支,循环的界都是在收敛)
3)根据循环退出的condition和 invariant property 得出answer。
1)invariant property 是什么,每步循环保证了invariant property。
2)证明循环可以退出:(比如,在循环体的每个分支,循环的界都是在收敛)
3)根据循环退出的condition和 invariant property 得出answer。