1)invariant property 是什么,每步循环保证了invariant property。
2)证明循环可以退出:(比如,在循环体的每个分支,循环的界都是在收敛)
3)根据循环退出的condition和 invariant property 得出answer。
最后
以上就是生动唇膏最近收集整理的关于算法正确性证明三要素的全部内容,更多相关算法正确性证明三要素内容请搜索靠谱客的其他文章。
本图文内容来源于网友提供,作为学习参考使用,或来自网络收集整理,版权属于原作者所有。
1)invariant property 是什么,每步循环保证了invariant property。
2)证明循环可以退出:(比如,在循环体的每个分支,循环的界都是在收敛)
3)根据循环退出的condition和 invariant property 得出answer。
以上就是生动唇膏最近收集整理的关于算法正确性证明三要素的全部内容,更多相关算法正确性证明三要素内容请搜索靠谱客的其他文章。
发表评论 取消回复