Algorithms（一）

这第一部分的内容，应该来说是全书的基础吧，好像也不能说是基础，应该是框架？给我的感觉就是，以后就是以这个标准来评价算法的优劣，评价算法的适用场景的。

学得有点模糊，所以就采取，列出几个关键词，关键点，然后尝试解释它解决它的模式吧，这样应该不错。

插入排序，循环不变式，分治策略，递归，渐近记号，概率分析与随机算法。

先解释一下基础的问题吧。

1，循环不变式

我现在的理解是，这个不变式的目的是，给我们一个判断对错的指标和方法，不然写着写着你也懵逼，得要靠逻辑强撑，自己感觉没错，但是实际上到底对不对不知道，而循环不变式这个工具提供了判断对错的标准，符合循环不变式那就是对的，不符合那就是错的。

程序中控制语句大致有三种，一是通常的顺序往下一步步执行，二是ifelse这种判断，三是循环。对于前两种，只要一步步的走就行了；而对于循环，我们需要找出不变量。

三个性质：

1）初始性：循环的第一次迭代前，它为真；

2）保持：如果循环的某次迭代之前它为真，那么下次迭代之前它仍为真；

3）终止：在某个条件下终止时，终止时的那个结果也为真。

证明就不证明了，我也暂时不会。而且现在连怎么用也不会，也就是处于知道有这个东西，有这么一回事，但是不知道怎么用。看了网上其他人的也懵懵懂懂的。

索性就写下来，等下次有机会的话再补吧。

我还查到了hoare logic，不过今天状态有点差，不适合继续研究了。