二分查找的基本思想是将n个元素分成大致相等的两部分，去a[n/2]与x做比较，如果x=a[n/2],则找到x,算法中止；如果x<a[n/2],则只要在数组a的左半部分继续搜索x,如果x>a[n/2],则只要在数组a的右半部搜索x.
时间复杂度无非就是while循环的次数！
总共有n个元素，
渐渐跟下去就是n,n/2,n/4,....n/2^k，其中k就是循环的次数
由于你n/2^k取整后>=1
即令n/2^k=1
可得k=log2n,（是以2为底，n的对数）
所以时间复杂度可以表示O()=O(logn)
T(n)= T(n/2)
可以推出最坏情况是 log(n)
求平均的话，最简单假设是平均分布。1~~n各出现一次。
平均时间O（t） = 1/n（1*log(n) +2*log(n/2)+4*log（n/4)……+ 2^k *log(n/2^k-1) 其中 n = 2^k-1
o(t) = 1/n(log(n) + (2log(n) - 2) +(4log(n)-4)+……)
o(t) = 1/n((1+2+4+……2^k-1)log(n)-2-4-8-2^k)
约等于 log(n)-2
等于 o(log(n))
常用对数与自然对数
参考：http://www.math15.com/gaozhong/10_126.html
推论：
log2N = logeN/loge2 = 1/loge2 * lnN = k * lnN.