緒論以及遞歸式上界函數的證明

循環不變式 循環不變式主要用來證明算法的正確性。 其定義是：第一次進入循環前成立，之後每次循環還成立的關係。 證明其大概分爲下面三個過程： 初始：進入循環前成立 保持：每次循環之後成立 終止：循環能在有限次結束 總結前兩步類似於數學歸納法，第三步保證有窮性。 限界函數相關 3個符號，漸進緊確界、上界函數、下界函數。 如何求解遞歸式的限界函數？ 代換法： 這裏值得注意的是帶入那一步，是後續推導的關鍵

>>阅读原文<<