[논문 리뷰] Amazons is PSPACE-complete

Robert A. Hearn|ArXiv.org|2005. 02. 02.

Artificial Intelligence in Games참고 문헌 8인용 수 5

한 줄 요약

이 논문은 일반화된 아마자스(다수의 아마자스가 포함된 n×n 보드에서 플레이되는 아마자스)가 PSPACE-완전함을 증명한다. 이는 기존에 알려진 PSPACE-완전한 게임인 양의 CNF 공식 게임을 아마자스 위치로 감소시킴으로써 이루어진다. 저자들은 아마자스와 화살을 사용하여 논리 및 배선 기구를 구축하여 변수 선택, 신호 전파, 논리 연산을 시뮬레이션한다. 이는 최적의 플레이가 표준 복잡도 가정 하에 계산적으로 비가역적임을 보여준다.

ABSTRACT

Amazons is a board game which combines elements of Chess and Go. It has become popular in recent years, and has served as a useful platform for both game-theoretic study and AI games research. Buro showed that simple Amazons endgames are NP-equivalent, leaving the complexity of the general case as an open problem. We settle this problem, by showing that deciding the outcome of an n x n Amazons position is PSPACE-hard. We give a reduction from one of the PSPACE-complete two-player formula games described by Schaefer. Since the number of moves in an Amazons game is polynomially bounded (unlike Chess and Go), Amazons is in PSPACE. It is thus on a par with other two-player, bounded-move, perfect-information games such as Hex, Othello, and Kayles. Our construction also provides an alternate proof that simple Amazons endgames are NP-equivalent. Our reduction uses a number of amazons polynomial in the input formula length; a remaining open problem is the complexity of Amazons when only a constant number of amazons is used.

연구 동기 및 목표

• 일반 아마자스 위치의 계산 복잡도에 대한 열린 문제를 해결하기 위해.
• n×n 아마자스 위치의 결과를 결정하는 것이 PSPACE-난이도임을 보여주기 위해.
• 게임의 길이가 다항식으로 유 bounds 되므로 아마자스가 PSPACE에 속한다는 것을 보여주기 위해.
• 간단한 아마자스 엔드게임이 NP-동치임을 다시 증명하기 위해.
• 상수 개의 아마자스만을 사용하는 조건 하에서 PSPACE-완전성 여부를 탐색하기 위해. 다만 이는 아직 열려 있다.

제안 방법

• PSPACE-완전한 양의 CNF 공식 게임에서 아마자스 위치로의 감소를 구축하기 위해.
• 아마자스 이동과 화살 발사로 신호 전파 기구를 설계하여 도체를 따라 이진 신호를 시뮬레이션하기 위해.
• 턴 및 흐름 제한 기구를 사용하여 단방향 신호 흐름을 구현하여 신호의 반전을 방지하기 위해.
• 입력 신호가 존재할 때에만 하나의 입력이 두 출력을 활성화할 수 있도록 신호 분할기 구현하기 위해.
• 변수 및 크로스오버 기구를 사용하여 AND, OR, NOT 게이트를 구축하여 공식의 논리 평가를 시뮬레이션하기 위해.
• 플레이어의 변수 선택에 따라 공식이 참으로 평가될 경우에만 작동하는 승리 기구 통합하기 위해.

실험 결과

연구 질문

• RQ1 아마자스 위치의 일반적 결정 문제는 PSPACE-완전한가?
• RQ2 공식 게임이 아마자스 메커니즘을 사용하여 시뮬레이션 가능하여 난이도를 입증할 수 있는가?
• RQ3 아마자스에서 이동 수가 다항식으로 유 bounds 되는가에 따라 PSPACE에 속하는가?
• RQ4 동일한 구성이 단순 엔드게임의 NP-완전성 증명에 응용될 수 있는가?
• RQ5 각 플레이어가 상수 개의 아마자스만을 사용할 경우 아마자스는 여전히 PSPACE-완전한가?

주요 결과

• 아마자스는 PSPACE-완전하다. 왜냐하면 PSPACE-난이도이자 PSPACE에 속하기 때문이다.
• 감소는 임의의 양의 CNF 공식으로부터 다항 시간 내에 아마자스 위치를 구성한다.
• 백색이 승리할 조건은 플레이 중 선택된 변수 할당에 따라 공식이 참으로 평가될 때이다.
• 구성에 사용된 아마자스의 수는 공식 길이에 대해 다항식이다.
• 동일한 기구들은 간단한 아마자스 엔드게임이 NP-동치임을 다시 증명하는 데에도 사용된다.
• 논문은 각 플레이어가 상수 개의 아마자스만을 사용할 경우 아마자스가 여전히 PSPACE-완전한지 여부를 열어두고 있다.