摘要:
源代码奉上 阅读全文
摘要:
循环不变量顾名思义应该用在证明循环中(不是我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的算法. 证明递归... 阅读全文