Эффективные алгоритмы: двоичный поиск в массиве