生动唇膏

文章
4
资源
0
加入时间
2年10月21天
算法正确性证明三要素

算法正确性证明三要素

1）invariant property 是什么，每步循环保证了invariant property。2）证明循环可以退出：(比如，在循环体的每个分支，循环的界都是在收敛）3）根据循环退出的condition和 invariant property 得出answer。
算法理论 2023-09-06

他的专栏

Linux系统（0）
服务器技巧（0）
JavaScript（1）
算法理论（1）
Other（1）
java基础（1）

他的归档

2023年09月（1）

热门文章

1
基于Jquery的温度计动画效果
2
算法正确性证明三要素
3
美图手机×天猫超级粉丝日：滴！你的美丽卡
4
Java注解详解Java中的注解