15 什么是循环不变式？ 我正在阅读CLRS的“算法简介”。在第二章中，作者提到了“循环不变式”。什么是循环不变式？ 268 algorithm terminology definition clrs loop-invariant