二分查找算法【包括数组全局有序和局部有序的介绍，以及求局部最小值】
二分查找算法在一个无序数组中, 值有可能正, 负, 或者零, 数组中任由**两个相邻的数一定不相等.**定义局部最小:1.长度为1，arr[0]就是局部最小；2.数组的开头，如果arr[0] < arr[1] ，arr[0]被定义为局部最小。3.数组的结尾，如果arr[N-1] < arr[N-2] ，arr[N-1]被定义为局部最小。任何一个中间位置i, 即数组下标1~N-2之间, 必须满足arr[i-1] > arr[i]
