STL之Binary search

STL之Binary search

    STL中对于有序序列（vector,list等）提供了相当相当强大的二分搜索Binary search算法。对于可以随机访问容器（如vector等），binary search负载度为对数级别（LogN)，对于非随机访问容器（如list），则算法复杂度为线性。现在简要介绍一下几种常用的binary search算法：

ForwardIterator lower_bound (ForwardIterator first,ForwardIterator last, const T& value)
ForwardIterator lower_bound (ForwardIterator first,ForwardIterator last, const T& value, Compare comp)
//查找最远的一个iterator i， 使得[first,i)里面的任意一个iterator j，有 *j < value or comp(*j,value)==true. 

ForwardIterator upper_bound (ForwardIterator first,ForwardIterator last, const T& value)
ForwardIterator upper_bound (ForwardIterator first,ForwardIterator last, const T& value, Compare comp)
//查找最远的一个iterator i， 使得[first,i)里面的任意一个iterator j，有 !(*j < value) or comp(*j,value)==false. 

pair equal_range(ForwardIterator first, ForwardIterator last, const T& value)
pair equal_range(ForwardIterator first, ForwardIterator last, const T& value, Compare comp)
//查找最大的subrange[i,j)，使得任意一个iterator in [i,j)满足!(*k<value) && !(value<*k) or comp(*k,value)==false && comp(value,*k)==false.

bool binary_search (ForwardIterator first, ForwardIterator last, const T& value)
bool binary_search (ForwardIterator first, ForwardIterator last, const T& value, Compare comp)
// 查找是否在[first,last)中存在iterator i,满足 !(*i<value) && !(value<*i) or comp(*i,value)==false && comp(value,*i)==false
// 存在则返回true,否则返回false.  

#include<algorithm>
#include<iostream>
#include<vector>
#include<iterator>
using  namespace std;
int main()
{
    vector< int>v;
    vector< int>::iterator itr;
    pair< vector< int>::iterator, vector< int>::iterator >vecpair;
    
     for( int i = 1; i <= 20; i++){
        v.push_back(i%6);
    }
    sort(v.begin(),v.end());
    cout << "array: " << endl << "    ";
    copy(v.begin(),v.end(),ostream_iterator< int>(cout," "));
    cout << endl;
    
     // lower_bound
    cout << "lower_bound function, value = 3:" << endl; 
    itr = lower_bound(v.begin(),v.end(),3);
    cout << "    [first, itr) = ";
    copy(v.begin(),itr,ostream_iterator< int>(cout," "));
    cout << endl;
    cout << "    [itr, last) = ";
    copy(itr,v.end(),ostream_iterator< int>(cout," "));
    cout << endl << endl;
    
     //  upper_bound
    cout << "upper_bound function, value = 3:" << endl; 
    itr = upper_bound(v.begin(),v.end(),3);
    cout << "    [first, itr) = ";
    copy(v.begin(),itr,ostream_iterator< int>(cout," "));
    cout << endl;
    cout << "    [itr, last) = ";
    copy(itr,v.end(),ostream_iterator< int>(cout," "));
    cout << endl << endl;
    
     //  equal_range
    cout << "equal_range function, value = 3:" << endl; 
    vecpair = equal_range(v.begin(),v.end(),3);
    
    cout << "    [vecpair->first, vecpair->second) = ";
    copy(vecpair.first, vecpair.second, ostream_iterator< int>(cout," "));
    cout << endl << endl;
    
     // binary_search, value = 3
    cout << "binary_search function, value = 3:" << endl;
    cout << "3 is " << (binary_search(v.begin(),v.end(),3) ? "":"not ") << "in array." << endl;
    cout << endl;
    
     // binary_search, value = 6
    cout << "binary_search function, value = 6:" << endl;
    cout << "6 is " << (binary_search(v.begin(),v.end(),6) ? "":"not ") << "in array." << endl;
    cout << endl;
    
     return 0;    
}

array:
     0   0   0   1   1   1   1   2   2   2   2   3   3   3   4   4   4   5   5   5
lower_bound function, value  =   3 :
    [first, itr)  =   0   0   0   1   1   1   1   2   2   2   2
    [itr, last)  =   3   3   3   4   4   4   5   5   5

upper_bound function, value  =   3 :
    [first, itr)  =   0   0   0   1   1   1   1   2   2   2   2   3   3   3
    [itr, last)  =   4   4   4   5   5   5

equal_range function, value  =   3 :
    [vecpair -> first, vecpair -> second)  =   3   3   3

binary_search function, value  =   3 :
3   is   in  array.

binary_search function, value  =   6 :
6   is  not  in  array.