关于循环不变式,该怎么处理

关于循环不变式
最近看算法导论看到的，具体怎么写啊？写出来自己感觉很牵强啊，一点用都没有，现在成了写出算法来猜他的循环不变式，而不是拿循环不变式来证明算法啊，菜鸟求指点啊~~

------解决方案--------------------
循环不变式很类似于数学归纳法。不知插入排序你是否理解？每次循环都不会破坏数据的有序性

个人认为循环不等式还是很有用的。祝LZ早日理解
------解决方案--------------------
怎么会没用呢？
对于某个问题，你能写出算法来就不必再猜循环不变式了。二者的道理是一样的。
但对于其他更一般得问题，你必须得先写出循环不变式才能继续实现算法。
这就是要明白循环不变式的原因。
------解决方案--------------------

探讨

怎么会没用呢？
对于某个问题，你能写出算法来就不必再猜循环不变式了。二者的道理是一样的。
但对于其他更一般得问题，你必须得先写出循环不变式才能继续实现算法。
这就是要明白循环不变式的原因。