Книга: Основы объектно-ориентированного программирования

У11.7 Поиск жучков (bugs)

У11.7 Поиск жучков (bugs)

Покажите, что каждая из четырех попыток бинарного поиска, объявленная как "ошибочная", действительно некорректна. (Подсказка: в отличие от доказательства корректности, для доказательства некорректности достаточно предъявить один пример, на котором алгоритм приводит к неверному результату: не завершается, выполняет запрещенную операцию, такую, как выход индекса за допустимые границы, любое другое нарушение предусловия).


Генерация: 0.872. Запросов К БД/Cache: 3 / 0
поделиться
Вверх Вниз