算法導論 2.1-3 線性查找問題

考慮以下查找問題。 輸入：n個數的一個序列 A = <a1, a2, ... , an> 和一個值 v 。 輸出：下標 i 使得 v = A[i] 或者當 v 不在 A 中出現時，v 爲特殊值 NIL 。 寫出線性查找的僞代碼，它掃描整個序列來查找 v 。使用一個循環不變式來證明你的算法是正確的。確保你的循環不變式滿足三條必要的性質。 以下是循環不變式的證明。 初始化：首先證明在第一次循環迭代之前

>>阅读原文<<