PSPACE-complete problems — Запросы <+> Ответы

Сокобан

Сокобан Описание игры Сокобан Сокобан — это видеоигра-головоломка, где игрок перемещает коробки по складу. Игра была разработана в 1981 году […]

Истинная количественная логическая формула Определение и сложность TQBF TQBF — это язык, который может быть выражен в виде количественных логических

Гексагон (настольная игра) История и популярность игры Hex Игра была изобретена в 1942 году математиком Аланом Тьюрингом и популяризирована в