二分查找法（
Binary search algorithm）是一個很常見的算法，從＜編程珠璣＞里再次看到時又有新的收獲。
直接看代碼吧，下面是常見的實現代碼：
int binary_search(int *a, int num, int t)
{
int start = 0, end = num - 1;
while(end >= start){
int middle = (start + end) / 2;
int tmp = a[middle];
if(tmp < t){
start = middle + 1;
}else if(tmp > t){
end = middle - 1;
}else{
return middle;
}
}
return -1;
}
優化后的代碼為（這個優化的思想也挺好的，不知道有沒有一套系統的方法來思考出這個優化思路）：
int binary_search(int *a, int num, int t)
{
int low = -1, high = num - 1;
while(low + 1 != high){
int middle = (low + high) / 2;
if(a[middle] < t){
low = middle;
}else{
high = middle;
}
}
if(a[high] != t)
return -1;
else
return high;
}
如果直接看這段代碼，有可能不知道是怎么回事。但是運用書中提到的“
程序驗證”的方法后，原理就顯而易見了，修改后的代碼為：
1 int binary_search(int *a, int num, int t)
2 {
3 int low = -1, high = num - 1;
4
5 //invariant: low < high && a[low] < t && a[high] >= t
6 while(low + 1 != high){
7 int middle = (low + high) / 2; ＝＝＞ int middle = low + (high - low) / 2; //防止溢出
8 if(a[middle] < t){
9 low = middle;
10 }else{
11 high = middle;
12 }
13 } 14 //assert： low +1 = high && a[low] < t && a[high] >= t
15
16 if(a[high] != t)
17 return -1;
18 else
19 return high;
20 }
21 “程序驗證” 的思想可以簡述為：不管是驗證一個函數，還是一條語句，一個控制結構（循環，if分支等），都可以采用兩個斷言（前置條件和后置條件）來達到這個目的。前置條件是在執行該處代碼之前就應該成立的條件，后置條件的正確性在執行完該處代碼后必須得到保證。（ps: 斷言也算是一種驗證的手段）
上面這段代碼的原理是給定一段區間 (low, high] ，如果満足 a[low] < t && a[high] >=t && high = low + 1，那么有兩種情況存在：1. a[high] = t ; 2.與t相等的元素不存在。由于數組a 肯定滿足條件a[low] < t && a[high] >=t，所以該算法要做的就是把區間 (-1, num -1] 縮小到(low, low+1]。
1. 在執行代碼6~17行時，
始終保證low < high && a[low] < t && a[high] >= t 成立。
2. 在執行完6~17行后，肯定滿足條件a[low] < t && a[high] >=t && high = low + 1，因為循環退出的條件是 high = low + 1，而該循環始終保證
上面第１條。
經過這樣的分析后，我們能對程序的正確性有更好的掌握，同時程序也更易理解。
參考：
１. 基本上摘自＜
編程珠璣＞，很不錯的一本書，讓我對算法有了新的思考，以前只是看看算法導論如何實現的，沒有思考該算法是如何想出來的，有沒有更簡單的算法（思考的過程類似劉未鵬的＜
知其所以然（續）＞），要堅持這個思考過程需要很多功夫與時間，但效果也很明顯，能對算法有更好的掌握。
posted on 2011-06-18 15:02
hex108 閱讀(2844)
評論(3) 編輯 收藏 引用 所屬分類:
Algorithm