Два космонавта, Питер и Вальтер, прибыли на орбиту Марса. Одному из них предстоит пробная высадка. Чтобы решить, кто первым ступит на поверхность планеты, они придумали игру: сложили банки из-под консервов в две кучки. За один ход игрок может добавить в любую из кучек одну банку или увеличить количество банок в любой кучке в два раза. Например, в одной кучке 12 12 банок, а во второй 7 7; обозначим это как ( 12 , 7 ) (12,7). Тогда за один ход можно получить любую из четырёх позиций: ( 13 , 7 ) (13, 7), ( 24 , 7 ) (24, 7), ( 12 , 8 ) (12, 8) или ( 12 , 14 ) (12, 14). Для того чтобы делать ходы, у каждого игрока есть неограниченное количество банок. Игра завершается в тот момент, когда суммарное количество банок в обеих кучках становится не менее 63 63. Победителем считается игрок, сделавший последний ход (то есть первым получивший такую позицию, при которой в кучках будет 63 63 банки или более). На момент начала игры в первой кучке было 7 7 банок, а во второй — S банок ( 8 ≤ S ≤ 55 ) (8≤S≤55). Будем считать, что игрок имеет выигрышную стратегию, если он может победить при любых ходах соперника. Известно, что Вальтер победил в игре своим первым ходом после неудачного первого хода Питера. При каком минимальном значении S такая ситуация возможна?
Для решения задачи о победе Вальтера в игре с банками, давайте разберемся с основными правилами и условиями, а также проанализируем возможные стратегии игры.
### Условие задачи
Игра начинается с двух кучек, где первая кучка содержит 7 банок, а вторая — S (где \(8 \leq S \leq 55\)). Игроки поочередно делают ходы, добавляя банки в любую из кучек или удваивая количество банок в одной из кучек. Игра завершается, когда сумма банок в обеих кучках становится 63 или более, и игрок, сделавший последний ход, выигрывает.
### Понимание победной стратегии
Поскольку Вальтер победил на своем первом ходе после неудачного хода Питера, важно выяснить, какие позиции могли предоставлять ему такую возможность.
1. **Целевые значения**:
Для победы необходимо достичь суммы банок, равной 63 или больше.
2. **Ходы**:
- Если Питер начнет ходить с позиции \((7, S)\) и сделает неудачный ход, то по сути это означает, что после его хода сумма все еще будет меньше 63, и при этом у Вальтера будет возможность привести сумму к 63 или больше на своем первом ходе.
3. **Анализ неудачного хода Питера**:
Независимо от того, каким образом Питер пытается увеличить количество банок, он не должен позволить Вальтеру сбалансировать количество до 63. Следовательно, нужно понять, как Питер может сделать ход, который будет бесполезным (но не приводить к автоматическому выигрышу Вальтера).
### Вычисление возможных стратегий
1. **Возможные ходы**:
- Питер может добавить банку, увеличивая сумму, или удвоить количество в одной из кучек. Например, возможные ходы для (7, S):
- \( (8, S) \)
- \( (7, S + 1) \)
- \( (14, S) \)
- \( (7, 2S) \)
2. **Ситуация для Вальтера**:
Вальтер должен вводить позицию, где он может сразу же достичь 63 или больше. Предположим, что после хода Питера, подбираем S так, чтобы выигрывающая позиция стала неминуемой для Вальтера.
### Подбор значения S
Мы хотим найти такое значение \(S\), при котором:
- Питер не сможет победить на своём первом ходе.
- Существуют такие ходы Вальтера, которые позволяют сразу же привести к победе.
Проанализируем вспомогательные позиции:
- Если \(S=8\), то после первого хода Питера (например, \( (8, 8) \)),
- Вальтер мог бы сделать ход в \( (8, 15) \) или \( (15, 8) \), и так далее.
Теперь, нам нужно проверить \(S\) от 8 до 55 и найти то минимальное \(S\), c которым Вальтер может победить на своем первом ходе после неудачного хода Питера.
### Проверка минимального значения S
Проверим значения:
- **S = 17**:
- Начало \( (7, 17) \)
- Питер может сделать ход в \( (8, 17) \), \( (7, 18) \), \( (14, 17) \) и аналогичное.
- Если он выбирает \( (8, 17) \):
- Вальтер может ответить с \( (8, 26) \).
- Питер затем может выбрать \( (8, 27) \) или иное, суммируя получается 35.
После последовательных ходов Вальтер достигает критичной позиции.
На самом деле, выяснив все позиции, мы можем увидеть, что при \(S = 17\), он действительно может получить критичную позицию.
### Ответ
Минимальное значение \(S\), при котором Вальтер может победить после неудачного хода Питера: **17**.