2010年10月15日
算法导论2.1-4
摘要： 源代码奉上 阅读全文
posted @ 2010-10-15 22:43 hailong 阅读(262) 评论(0) 推荐(0) 编辑
算法导论中的循环不变式
摘要： 循环不变量顾名思义应该用在证明循环中(不是我naive)如果为了证明递归Sum,其实只要做类似数学归纳法的工作. 首先SUM(A,p,p)正确 假设Sum(A,p,r-1)正确 由于Sum(A,p,r)=Sum(A,p,r-1)+r也正确 得证. 循环不变量的使用是: 1.初始状态正确 2.每次循环后正确 3.程序会结束 所以循环不变量一般用于证明像插入排序这种一步一步接近问题N的算法. 证明递归... 阅读全文
posted @ 2010-10-15 21:28 hailong 阅读(333) 评论(0) 推荐(0) 编辑