算法導論之算法基礎

插入排序 原理:有一個已經有序的數據序列，要求在這個已經排好的數據序列中插入一個數，但要求插入後此數據序列仍然有序。 代碼實例：       循環不變式 目的：主要是來幫忙我們理解算法的正確性； 證明： 循環的第一次迭代之前，它爲真； 循環的某次迭代之前爲真，那麼下次迭代之前也爲真； 循環終止時，也爲真 結論：只要證明中的三點成立，那麼就可以證明我們插入算法的正確性； 我們需要怎麼做呢？？ 聲明2

>>阅读原文<<