Каковы основные математические принципы, лежащие в основе работы бинарного поиска?

Некоторые математические принципы, лежащие в основе работы бинарного поиска:

• Принцип «разделяй и властвуй». otus.ru sprintcode.pro С его помощью массив делится пополам при проверке, подходит ли элемент массива под искомый. otus.ru Сложная задача раздробляется на простые линейные операции, которые выполняются до тех пор, пока поставленная задача не сможет быть решена напрямую. otus.ru
• Принцип деления пополам. javarush.com otus.ru Алгоритм сравнивает искомый элемент с элементом в середине массива. javarush.com
• Условие завершения поиска. javarush.com Поиск прекращается, когда элемент найден или диапазон поиска становится пустым. javarush.com
• Использование отсортированного массива. javarush.com Для корректной работы бинарного поиска входные данные должны быть отсортированы по возрастанию. javarush.com Это основное требование, поскольку алгоритм опирается на тот факт, что элементы массива упорядочены. javarush.com