(3) Или хотя бы доказать (2) скажем при
?
Ничего красивого не придумалось -- простая рабоче-крестьянская индукция с перебором вариантов. Ниже для удобства
.
Будем называть завершением цикла такую ситуацию, когда Полицейский сделал несколько шагов и либо поймал Гангстера либо вернулся в центр лабиринта. Докажем, что при завершении каждого цикла Гангстер имеет полное право быть не пойманным при реализации одной из двух ситуаций:
(1) Гангстер может находиться в одном из двух коридоров на расстоянии 4 от т.
в каждом.
(2) Гангстер может находиться в одном из трёх коридоров: в двух -- на расстоянии 2 от т.
, в третьем -- на расстоянии 5.5.
Рассуждаем по индукции. После цикла 1 это очевидно. Пусть это верно после цикла
. Простым перебором небольшого количества осмысленных вариантов убеждаемся, что после цикла
будет реализована одна из перечисленных ситуаций: (1) или (2).
Оценку
таким способом можно улучшать. Но поскольку идея решения не особенно приятная, я поленился довести её до конца.