分析算法

循环不变式

伪代码

执行时间

习题

1. 指出竖式除法（除数是整数）的循环不变式。