Данный алгоритм поиска называется двоичным поиском, потому что при каждой проверке или сравнении элементы разбиваются на две группы, одну из которых можно исключить из дальнейшего рассмотрения.