• 如果您觉得本站非常有看点,那么赶紧使用Ctrl+D 收藏吧

标签:Algorithm Research

java

算法学习二:循环不变式证明算法的正确性

算法学习二:循环不变式证明算法的正确性
循环不变式证明算法的正确性 循环不变式主要用来辅助我们理解算法的正确性,对于循环不变式,必须证明它的三个性质(有些类似于数学归纳法的意味): 初始化:它在循环的第一轮迭代开始之前,应该是正确的。 保持:如果在某一次循环迭代开始之前是正确的,那么在下一次迭代开始之前,它也应该保持正确(假设当循环变量等于k时符合,再看执行一遍循环体后是否还符合循环不变式)。 ……继续阅读 »