算法证明
经典排序算法
为什么基于比较的排序算法的时间复杂度不能低于O(nlogn)
决策树与二叉树
红黑树
2-3-4树
树的遍历
算法正确性证明
完全正确性与部分正确性
循环不变量
为什么使用循环不变量证明算法正确性？
- 循环不变量是满足下列条件的逻辑谓词：在进入循环之前满足一定的规律，在循环结束的时候还满足这样的条件的变量。
Dijkstra算法
数学归纳法与反证法
最优子结构
三角不等式
免责声明！
本站转载的文章为个人学习借鉴使用，本站对版权不负任何法律责任。如果侵犯了您的隐私权益，请联系本站邮箱yoyou2525@163.com删除。