[논문 리뷰] Pomax games - a family of partizan games played on posets

Erik Järleberg, Jonas Sjöstrand|arXiv (Cornell University)|2014. 05. 08.

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

한 줄 요약

이 논문은 부분적으로 분할된 순서 집합(포스)에서 플레이어가 자신의 색상의 최대 원소를 번갈아 제거하는, pomax 게임이라는 파르티잔 조합 게임의 가족을 소개한다. 저자들은 pomax 게임이 항상 정수 값을 가짐을 증명하고, 트리 및 체스 색상의 양다이어그램 포스에 대해 닫힌 형태의 공식을 제공하며, 높이 3의 포스에 대해 PSPACE-완전성과 높이 2의 포스에 대해 NP-난이도를 입증한다.

ABSTRACT

We introduce the following class of partizan games, called pomax games. Given a partially ordered set whose elements are colored black or white, the players Black and White take turns removing any maximal element of their own color. If there is no such element, the player loses. We prove that pomax games are always integer-valued and for colored tree posets and chess-colored Young diagram posets we give a simple formula for the value of the game. However, for pomax games on general posets of height 3 we show that the problem of deciding the winner is PSPACE-complete and for posets of height 2 we prove NP-hardness. Pomax games are just a special case of a larger class of integer-valued games that we call element-removal games, and we pose some open questions regarding element-removal games that are not pomax games.

연구 동기 및 목표

• 색상이 칠해진 포스 위에서 정의된 새로운 파르티산 조합 게임인 pomax 게임을 도입하고 공식화하는 것.
• pomax 게임의 게임이론적 가치를 분석하여, 이들이 항상 정수 값을 가진다는 것을 증명하는 것 — 조합 게임 이론에서 드문 성질이다.
• 다양한 포스 구조에서 승리자를 결정하는 데 필요한 계산 복잡도를 규명하는 것.
• 요소 제거 게임이라는 더 넓은 게임 클래스로 프레임워크를 확장하고 향후 연구를 위한 열린 문제를 규명하는 것.

제안 방법

• 플레이어가 자신의 색상의 최대 원소를 차례로 제거하는 유한한 포스 위의 파르티산 게임으로서 pomax 게임을 정의한다.
• 포스의 구조적 성질과 게임 트리 분석을 이용하여 모든 pomax 게임이 정수 값을 가짐을 증명한다.
• 재귀적 분해와 수의 균형 조절을 통해 색상이 칠해진 트리 포스 위에서의 게임 값에 대한 닫힌 형태 공식을 수립한다.
• 대칭성과 계층별 분석을 통해 체스 색상의 양다이어그램 포스 위에서의 pomax 게임 값에 대한 공식을 유도한다.
• 높이 3의 포스 위에서 정량화된 부울 공식(QBF) 문제를 pomax 게임으로 감소시켜 PSPACE-완전성을 증명한다.
• 높이 2의 포스 위에서 3-SAT 문제를 pomax 게임으로 감소시켜 NP-난이도를 입증한다.

실험 결과

연구 질문

• RQ1 pomax 게임은 항상 정수 값을 가지는가? 어떤 구조적 성질이 이를 보장하는가?
• RQ2 색상이 칠해진 트리 포스 위에서 게임 값에 대해 닫힌 형태의 공식을 유도할 수 있는가?
• RQ3 고정된 높이를 가진 포스 위에서 pomax 게임의 승리자 결정 문제의 계산 복잡도는 무엇인가?
• RQ4 높이 2의 포스 위에서 pomax 게임의 결과를 계산하는 문제는 PSPACE-완전한가?
• RQ5 pomax 게임은 제약이 있는 해켄부시나 파르티산 포스 게임과 어떻게 관련이 있는가?

주요 결과

• pomax 게임은 항상 정수 값을 가지며, 이는 파르티산 조합 게임 중 드문 성질이다.
• 색상이 칠해진 트리 포스 위에서의 게임 값에 대해 닫힌 형태의 공식이 제시되며, 이는 각 수준에서 블랙과 화이트 최대 원소의 수에 기반한다.
• 체스 색상의 양다이어그램 포스 위에서는 각 행의 블랙과 화이트 원소 수의 차이에 의해 게임 값이 결정된다.
• pomax 게임에서 승리자를 결정하는 문제는 높이 3의 포스로 제한된 경우 PSPACE-완전하다.
• 높이 2의 포스에 대해서는 문제의 복잡도가 NP-난이도이지만, 게임 값은 여전히 정수이다.
• 저자들은 높이 2의 pomax 게임이 PSPACE-완전한지 여부를 열린 문제로 남기며, 낮은 높이임에도 불구하고 가능한 난이도가 있음을 시사한다.