Бинпоиски

lower_bound, upper_bound, binary_search

Все эти функции принимают полуинтервал $[first; last)$ и значение $value$. Полуинтервал должен быть упорядочен по отношению $element < value$ (сначала те элементы, которые удовлетворяют этому, потом остальные).

lower_bound возвращает первый элемент, больший или равный $value$.

upper_bound возвращает первый элемент, строго больший $value$.

binary_search возвращает, присутствует ли $value$ на этом полуинтервале.