Выигрывает Петя. Для того чтобы выиграть, он должен утроить количество камней во второй куче. Для доказательства рассмотрим неполное дерево игры, оформленное в виде таблицы, где в каждой ячейке записаны пары чисел, разделённые запятой. Эти числа соответствуют количеству камней на каждом этапе игры в первой и второй кучах соответственно.
Таблица содержит все возможные варианты ходов второго игрока. Из неё видно, что при любом ходе второго игрока у первого имеется ход, приводящий к победе. Причём у первого игрока есть два варианта выигрышного хода. Описание любого из них является правильным решением.
Ответ: Выигрывает Петя. Для того чтобы выиграть, он
должен утроить количество камней во второй куче