算法證明
經典排序算法
為什么基於比較的排序算法的時間復雜度不能低於O(nlogn)
決策樹與二叉樹
紅黑樹
2-3-4樹
樹的遍歷
算法正確性證明
完全正確性與部分正確性
循環不變量
為什么使用循環不變量證明算法正確性？
- 循環不變量是滿足下列條件的邏輯謂詞：在進入循環之前滿足一定的規律，在循環結束的時候還滿足這樣的條件的變量。
Dijkstra算法
數學歸納法與反證法
最優子結構
三角不等式
免責聲明！
本站轉載的文章為個人學習借鑒使用，本站對版權不負任何法律責任。如果侵犯了您的隱私權益，請聯系本站郵箱yoyou2525@163.com刪除。