Чтобы решить эту задачу, нужно рассмотреть условия игры и выявить такие значения ( S ), при которых Петя не может выиграть за один ход, но Ваня может выиграть на следующем.
Условия хода
- Петя не может выиграть за один ход, если после его хода в куче остается больше 35 камней.
- Ваня может выиграть своим первым ходом, если после его хода в куче остается 35 или меньше камней.
Возможные ходы
- Убрать 2 камня
- Убрать 4 камня
- Уменьшить количество камней в два раза (с округлением в большую сторону)
Давайте посмотрим, какие состояния кучи ( S ) Петя может оставлять после своего хода. Если ( S ) численно больше некоторого значения, то Ваня своей первой стратегией всегда может выиграть.
Анализ:
- Для Вани, наличие стратегии выиграть после одного хода Пети:
Для любого хода, который сделает Петя, Ваня должен остаться в выигрышной позиции.
Петя может оставить в куче такие состояния:
- ( S - 2 )
- ( S - 4 )
- ( \left\lceil \frac{S}{2} \right\rceil )
Минимальная выигрышная стратегия для Вани:
Чтобы Ваня гарантированно выиграл после одного хода Пети, Петя должен оставить ему такие варианты, чтобы он после своего хода мог оставить в куче 35 или меньше камней.
Рассмотрим пример:
Возьмем ( S = 43 ).
- Если Петя оставляет 41, 39, или 22 (варианты при ( S = 43 )), то Ваня сможет выполнить выигрышный ход.
- Из 41: Ваня убирает 4 и оставляет 37.
- Из 39: Ваня убирает 4 и оставляет 35 (это завершает игру).
- Из 22: Ваня убирает 4 и оставляет 18 или уменьшает на деление.
Теперь попробуем найти минимальное значение ( S ), при котором Петя не выиграет за один ход, но Ваня выиграет на следующем:
- Проверяем ( S = 39 ):
- Ходы Пети: 37, 35, 20.
- Ваня может выиграть из 35 (игра завершена).
Мы видим, что ( S = 39 ) является наименьшим значением, при котором Петя не может выиграть за один ход, но Ваня выигрывает при любом ходе Пети.
Таким образом, минимальное значение ( S = 39 ), при котором Петя не может выиграть за один ход, но Ваня гарантированно выигрывает на следующем.