Бинарный поиск (binary_search, lower_bound, upper_bound)

binary_search
Формулировка задачи: Узнать, находится ли данный элемент в отсортированном массиве подобных элементов, для которых задано отношение порядка на множестве. Т.е. имея в наличии два элемента, можно однозначно определить операцию <. Сложность O(log(N)).
Реализация:

1. bool binary_search(const vector<int> &mas, const int &value)
2. {
3.   int l = 0, r = mas.size()-1;
4.   while (l<r)
5.   {
6.     int m = (l+r)>>1;
7.     if (mas[m] < value)
8.       l = m +1;
9.     else if (mas[m] > value)
10.       r = m - 1;
11.     else
12.       return true;
13.   }
14.   return mas[l] == value;
15. }

* This source code was highlighted with Source Code Highlighter.