循环不变式主要帮我们理解算法的正确性。
初始化:循环第一次迭代之前,它为真。
保持:如果循环的某次迭代之前它为真,那么下次迭代之前它仍为真。
终止:在循环终止时,不变式为我们提供一个有用的性质,该性质有助于证明算法是正确的。
对于排序算法:
初始化,首先证明在第一次
算法导论1-循环不变式
最新推荐文章于 2023-10-24 09:19:36 发布
循环不变式主要帮我们理解算法的正确性。
初始化:循环第一次迭代之前,它为真。
保持:如果循环的某次迭代之前它为真,那么下次迭代之前它仍为真。
终止:在循环终止时,不变式为我们提供一个有用的性质,该性质有助于证明算法是正确的。
对于排序算法:
初始化,首先证明在第一次