Вычислительная сложность выигрывающих стратегий в полиномиальных играх двух лиц

Рассматривается игра с двумя участниками, ниже I и II. Они по очереди выбирают натуральные числа, например, при длине 4, I выбирает $x_1$, II выбирает $x_2$, I выбирает $x_3$, II выбирает $x_4$. Тогда I выигрывает, если $P(x_1,x_2,x_3,x_4)=0$. Здесь $P$ — полином с целыми коэффициентами.
Одна старая теорема фон Неймана и Цермело показывает, что такая игра детерминирована, т.е. существует выигрывающая стратегия для одного или для другого игрока, но не обязательно вычислимая или вычислимая в полиномиальное время выигрывающая стратегий.
Будет показано, что существует игра полиномиального типа длины 4, для которой не существует вычислимых в полиномиальное время выигрывающих стратегий ни для одного из игроков. Библ. – 15 назв.