我正在阅读CLRS的"算法简介".在第2章中,作者提到了"循环不变量".什么是循环不变量？
algorithm terminology definition clrs loop-invariant
algorithm ×1
clrs ×1
definition ×1
loop-invariant ×1
terminology ×1