Ответ:
Ход всегда уменьшает две разные кучки на 1. Чтобы определить победителя, нужно классифицировать позиции по четырём размерам кучек: обычное правило ним-суммы здесь неприменимо, поскольку за ход нельзя произвольно уменьшать одну кучку.
Без доказательства соответствующей классификации я не могу достоверно определить, у кого из игроков есть выигрышная стратегия.
