Изменения

Мы свели задачу об игре игроков <tex> \exists </tex> и <tex> \forall </tex> к задаче Generalized Geography. Очевидно, сведение будет произведено за полиномиальное время. Значит, язык <tex> GG </tex> является PS-трудным, а так как выше мы доказали его принадлежность классу PS, то и PS-полным.