章節4.6.1引理4.3的第一句就不證了，因為比較簡單。

這里是最后一部分的證明，即算法導論4.6.2---向下取整和向上取整部分。

呼~到這里為止終于把這個定理證完了！

仔細用mathtype碼證明的話發現自己在筆記本上的不少錯誤，收獲很多啊。

下幾篇就發一下堆排序的一些習題解吧。

總結

以上是生活随笔為你收集整理的算法导论主定理证明（3）的全部內容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網站內容還不錯，歡迎將生活随笔推薦給好友。