二分的两种重要模型

STL中的两个函数

（详见：点我）：

ForwardIter lower_bound(ForwardIter first, ForwardIter last,const _Tp& val)算法返回一个非递减序列[first, last)中的第一个大于等于值val的位置。

ForwardIter upper_bound(ForwardIter first, ForwardIter last, const _Tp& val)算法返回一个非递减序列[first, last)中第一个**大于**val的位置。

二分的两种重要模型：

二分最重要的：1.当前待查找序列，肯定包含目标元素 2.每次待查找序列的规模都会变小。

①：0000001111111，寻找一个满足条件的最左；

code：

int binary_search(int array[],int key)
{
int begin=0;
int end=array.size();
while(begin<end)
{
int mid=begin+(end-begin)/2;
if(a[mid]==1)
end=mid;
else
begin=mid+1;
}
return begin;
}

②：对于1111000000，寻找一个满足条件的最右；

code……

int binary_search(int array[],int key)
{
int begin=0;
int end=array.size();
while(begin<end)
{
int mid=begin+(end-begin+1)/2;
if(a[mid]==1)
begin=mid;  //一定会变大
else
end=mid-1;  //一定会变小
}
return begin;
}