В чем смысл двоичного поиска с одним сравнением на итерацию? И вы можете объяснить, как это работает?