Игра на дереве, рубка ветки

У нас есть лес с корневыми деревьями. Два игрока делают попеременные ходы по следующему правилу: один ход - разрезать вершину и все ее дочерние элементы. Выигрывает игрок, который сделает последний ход (не осталось вершин).

Как мы можем вычислить функцию Гранди для позиций в игре?

Предположим, у нас есть деревья, и нам нужно сказать, является ли текущая позиция выигрышной или проигрышной?