二分搜索(BinarySearch)的分治思想C語言實現

二分搜索是常用的搜索算法, 要求給定的元素集合非遞減排序, 根據給定待查找元素, 查找其索引, 如果未找到, 返回-1.

代碼爲:

// 二分搜索
      5 // @pre : a非遞減序, 且長度爲len
      6 // @post: 返回x在a中的索引或-1
      7 int binary_search(int a[], int len, int x)
      8 {
      9     if (len <= 0) return -1;
     10 
     11     if (a[len/2] == x) return len/2;
     12 
     13     if (a[len/2] > x)
     14         return binary_search(a, len/2, x);
     15     else
     16         return len/2 + 1 + binary_search(a+len/2+1, len/2-1, x);
     17 }