二分的两种重要模型

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;
}