Два игрока, Петя и Ваня, играют в следующую игру. Перед игроками лежит куча камней. Игроки ходят по очереди, первый ход делает Петя. За один ход игрок может добавить в кучу один или три камня либо увеличить количество камней в куче в четыре раза. Для того, чтобы делать ходы, у каждого игрока есть неограниченное количество камней.
Игра завершается в тот момент, когда количество камней в куче становится не менее 59.
Победителем считается игрок, сделавший последний ход, т.е. первым получивший кучу, состоящую из 59 или более камней.
В начальный момент в куче было S камней; 1 ≤ S ≤ 58.
Будем говорить, что игрок имеет выигрышную стратегию, если он может выиграть при любых ходах противника.
Найдите два таких минимальных значения S, при которых у Пети есть выигрышная стратегия, причём одновременно выполняются два условия:
-
Петя не может выиграть за один ход;
-
Петя может выиграть своим вторым ходом независимо от того, как будет ходить Ваня.
Найденные значения запишите в ответе в порядке возрастания.
Решение:
Решение на Python:
def f(k, x):
if x == 4 and k >= 59: return True
if x == 4 and k < 59: return False
if k >= 59: return False
if x % 2 == 1:
return f(k + 1, x + 1) or f(k + 3, x + 1) or f(k * 4, x + 1)
else:
return f(k + 1, x + 1) and f(k + 3, x + 1) and f(k * 4, x + 1)
for k in range(1, 59):
if f(k, 1):
print(k)