课程

课程 讲师

  • 首页>问答>为什么我们要花大篇幅来证明一个程序是正确的?..

为什么我们要花大篇幅来证明一个程序是正确的?

1
小A 发表于:2018-01-11 18:48

为了防止错误的结果。二分查找就是一个例子。现在,你懂得了二分查找的原理,你就能把递归形式的二分查找改写成循环形式的二分查找。Knuth 教授在 1946年就发表了二分查找的论文,但是第一个正确的二分查找的程序在 1962年在出现。

2018-01-11 18:49
0条评论 收起评论 0