算法导论

1. 循环不变式
   1. 初始化：循环的第一次迭代之前，它为真
   2. 保持：如果循环的某次迭代之前它为真，那么下次迭代之前它仍为真
   3. 终止：再循环终止时，不变式为我们提供一个有用性质，该性质有助于证明算法是正确的
2. 伪代码中的约定
   1. 缩进表示块结构
   2. to downto by
   3. 如果没有特殊说明，变量都表示局部变量
   4. 对象的属性记号使用串联，如x.y.f