[程序理论]什么是循环不变式

JanusLe · 发表于 2006-5-7 12:02:54

我最近在看《Accelerated C++》。第二章有一个概念，叫循环不变式。可能是翻译的问题。觉得书中没有讲清楚。谁能给我解释一下什么是循环不变式，有什么用？谢谢！

soloforce · 发表于 2006-5-7 15:57:59

据说是值不因循环及循环次数发生变化的东西，还有一个说法叫循环不变量，可以提到循环以外。
在程序设计优化和编译原理代码优化常提到。

MMMIX · 发表于 2006-5-8 09:33:07

貌似是证明算法正确性常用的一个概念, 找本好点的算法书看看, 例如
Introduction to Algorithms.

		自动登录	找回密码
密码			注册