欢迎各界计算机爱好者加入,弘扬极客精神!

如何证明一个算法的正确性?

0 喜欢 0 不喜欢
我写完了一个算法,还要求我证明它的正确性,我怎么证明呢?

有例子吗?

有做过的人吗?求帮助。
最新提问 9月 21, 2016 分类:菜鸟问 | 用户: general (4,610 分)  

登录 或者 注册 后回答这个问题。

17 个回答

0 喜欢 0 不喜欢

比如各种复杂的树,各种复杂的图算法什么的,单单只靠测试用例的话感觉没法做到完备,又或者只能通过Precondition+Invariant来推导Postcondition,在复杂的实现中是否真的可行?

最新回答 9月 21, 2016 用户: Stardust (2,262 分)  
0 喜欢 0 不喜欢
最新回答 9月 21, 2016 用户: 45° (1,582 分)  
0 喜欢 0 不喜欢
坦白讲,个人觉得这个问题有点偏虚了,最近学数据结构,里面也各种各样算法,其实你只要能将算法的思想运用在编程中并成功,那就算是验证了吧,个人角度回答的
最新回答 9月 23, 2016 用户: Zard (5,052 分)  
0 喜欢 0 不喜欢
请问你所说的是什么算法呢,是数据结构算法还是智能算法还是一些其他算法,如果是数据结构算法的话,你能掌握其中的结构,明白其中的思想,运行成功应该就可以了吧
最新回答 10月 7, 2016 用户: 柠夏初开澄澈未谢 (2,920 分)  
0 喜欢 0 不喜欢
搜a verified implementation of,certified software,最大型的可能要属 sel4.systems/ 了(已开源)用Coq, Isabella, Agda

 

最新回答 11月 4, 2016 用户: big and small (5,556 分)  
0 喜欢 0 不喜欢
只是用几个特殊用例来测试的话肯定没办法证明

应该是需要理论推导吧

其中会需要数学的相关知识吧

感觉会很费劲
最新回答 11月 16, 2016 用户: 蜗牛 (2,984 分)  
0 喜欢 0 不喜欢
最新回答 12月 5, 2016 用户: Cunese (6,834 分)  
1 喜欢 0 不喜欢
http://www.jianshu.com/p/f4ba01590d7b

链接里面讲的很详细 仅供参考
最新回答 12月 5, 2016 用户: harryho97 (4,704 分)  
0 喜欢 0 不喜欢
最新回答 12月 5, 2016 用户: Re (3,574 分)  
0 喜欢 0 不喜欢

不同算法需要不同的检查方式吧,这个没有办法一概而论的。

最新回答 1月 14 用户: OptimisticE (2,220 分)  
...