算法正确性证明

算法证明

经典排序算法

为什么基于比较的排序算法的时间复杂度不能低于O(nlogn)

决策树与二叉树

红黑树

2-3-4树

 树的遍历

算法正确性证明

完全正确性与部分正确性

循环不变量

　　为什么使用循环不变量证明算法正确性？

• 循环不变量是满足下列条件的逻辑谓词：在进入循环之前满足一定的规律，在循环结束的时候还满足这样的条件的变量。

Dijkstra算法

数学归纳法与反证法

最优子结构

三角不等式