循环不变式(loop invariant)：关于程序状态的断言(assertion)，在每次循环迭代之前和之后都正确(循环执行过程中不一定为真)。在循环中分为以下三个阶段：
1、初始化：循环初次执行的时候不变式为真。
2、保持：如果在某处迭代开始的时候不变式为真，那么循环体执行完毕的时候仍然为真。
3、终止：循环退出的时候不变式为真。
利用数学归纳法知，1和2成立之后，3必然成立。
选择控制结构：在程序运行过程中，多个分支中的一个被执行，之前的断言以及分支的条件可以推倒出下一个断言。
迭代控制结构：在保证了循环不变式的条件下，还要满足的一个条件是：循环的终止！（二分查找的终止原因是，可能性范围在不断缩小直至为空）
契约编程：函数使用两个断言，即前置条件(precondition)和后置条件(postcondition)。
雷人瞬间：虽然第一篇二分搜索论文在1946年就发表了，但是第一个没有错误的二分搜索程序却直到1962年才出现。中间隔了16年啊！！！
转载于:https://www.cnblogs.com/jiangyoumiemie/p/3460781.html
版权声明：本文内容由互联网用户自发贡献，该文观点仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容， 请发送邮件至 举报，一经查实，本站将立刻删除。
发布者：全栈程序员-用户IM，转载请注明出处：https://javaforall.cn/109960.html原文链接：https://javaforall.cn
【正版授权，激活自己账号】： Jetbrains全家桶Ide使用，1年售后保障，每天仅需1毛
【官方授权 正版激活】： 官方授权 正版激活 支持Jetbrains家族下所有IDE 使用个人JB账号...
