Ханойские башни
Один диск за раз.
Целая стратегия в уме.
Перенесите башню с левого стержня на правый. Большой диск нельзя класть на маленький. Нажмите сначала на стержень-источник, затем на стержень-цель.
Выберите стержень, с которого взять верхний диск.
Как возникает решение?
Ниже — план для четырёх дисков. Твоя игровая доска остаётся как есть.
Сначала план для четырёх дисков
Посмотрим на самый большой диск. Чтобы перенести его с левого стержня сразу на правый, нужно освободить и сам диск, и правый стержень. Значит, три меньших диска сначала собираем на среднем.
Затем переносим большой диск направо, а меньшую башню — со среднего поверх него. Получились три части: маленькая башня → один большой диск → маленькая башня.
Для одного диска нужен ход. Для двух по этому плану: . Для трёх: . Поэтому четыре диска можно перенести за ходов.
Состояния после каждой части плана. Цифры на дисках обозначают размер: 1 — самый маленький, 4 — самый большой. Почему быстрее нельзя
Обозначим — наименьшее число ходов для переноса башни из дисков. Одинаковые стержни можно менять ролями: от выбора начала и цели минимум не зависит. Для одного диска .
Возьмём любой успешный маршрут, даже если в нём самый большой диск двигается несколько раз. Перед его первым ходом стержень-источник и стержень назначения должны быть свободны от меньших дисков. Значит, вся меньшая башня уже перенесена с начала на оставшийся стержень — это не менее ходов.
Сразу после последнего хода большого диска на цель все меньшие снова стоят башней на другом стержне. Теперь их нужно перенести на цель поверх большого — ещё не менее ходов. Между этими двумя частями есть хотя бы один ход большим диском.
Итак, любой маршрут требует не менее ходов. План из трёх частей ровно столько и тратит. Поэтому . В частности, для четырёх дисков минимум — .
Откуда берётся степень двойки
Посчитаем несколько минимумов по правилу «удвоить предыдущий и прибавить один».
Дисков Ходов Если прибавить Последний столбец каждый раз удваивается. Это не случайное совпадение: из полученного правила следует .
Для одного диска величина равна . До башни из дисков остаётся удвоений, значит . Убираем добавленную единицу: .
Башня, которую не закончить за жизнь
В легенде, сопровождавшей игру, жрецы переносят башню из золотых дисков. Это история о головоломке, а не исторический факт.
По нашей формуле требуется ходов — примерно . Даже если делать один ход в секунду без остановок, получим около миллиардов лет. Для оценки делим число ходов на секунд в году. Добавить один диск легко; перенос башни после этого требует примерно вдвое больше ходов.
Легенда в инструкции к игре 1883 года — перевод в архиве William & Mary ↗