[논문 리뷰] An Investigation of Partizan Misere Games

Meghan Rose Allen|arXiv (Cornell University)|2010. 08. 24.

Artificial Intelligence in Games참고 문헌 14인용 수 4

한 줄 요약

이 학위논문은 불공정 게임에서 플라문벡의 미세르 게임 모노이드 이론을 부분적 조합 게임으로 확장하며, 게임의 별(*)와 동일한 미세르 모노이드를 가진 게임 위치가 되기 위한 필요 및 충분 조건을 수립한다. 이는 모든 그러한 위치를 생성하는 구성 정리(construction theorem)를 제안함으로써, 미세르 플레이 이론에서의 핵심 과제를 해결하고, 유한 모노이드를 가진 부분적 미세르 게임을 분류하는 데 기여하는 프레임워크를 제공한다.

ABSTRACT

Combinatorial games are played under two different play conventions: normal play, where the last player to move wins, and \mis play, where the last player to move loses. Combinatorial games are also classified into impartial positions and partizan positions, where a position is impartial if both players have the same available moves and partizan otherwise. \Mis play games lack many of the useful calculational and theoretical properties of normal play games. Until Plambeck's indistinguishability quotient and \mis monoid theory were developed in 2004, research on \mis play games had stalled. This thesis investigates partizan combinatorial \mis play games, by taking Plambeck's indistinguishability and \mis monoid theory for impartial positions and extending it to partizan ones, as well as examining the difficulties in constructing a category of \mis play games in a similar manner to Joyal's category of normal play games. This thesis succeeds in finding an infinite set of positions which each have finite \mis monoid, examining conditions on positions for when $* + *$ is equivalent to 0, finding a set of positions which have Tweedledum-Tweedledee type strategy, and the two most important results of this thesis: giving necessary and sufficient conditions on a set of positions $Υ$ such that the \mis monoid of $Υ$ is the same as the \mis monoid of $*$ and giving a construction theorem which builds all positions $ξ$ such that the \mis monoid of $ξ$ is the same as the \mis monoid of $*$.

연구 동기 및 목표

• 불공정 게임에 국한되어 있던 플라문벡의 구분 불가능 몫(indistinguishability quotient) 및 미세르 모노이드 이론을 이전에는 불공정 게임에만 적용되었던 것을 부분적 조합 게임으로 확장하기 위해.
• 2004년 이전까지 미세르 플레이 이론에서 계산 및 이론적 도구의 부족이 연구를 정체시켰던 문제를 해결하기 위해.
• 특히 유한한 미세르 모노이드를 가진 부분적 미세르 게임의 구조적 및 전략적 성질을 조사하기 위해.
• *의 미세르 모노이드와 동일한 미세르 모노이드를 가진 위치의 조건을 규명하기 위해.
• *의 미세르 모노이드와 동일한 미세르 모노이드를 가진 모든 위치 ξ를 구성하기 위해.

제안 방법

• 미세르 플레이 하에서의 동치 관계를 정의하여, 부분적 게임에 대해 플라문벡의 구분 불가능 몫 개념을 적응시키기 위해.
• 모든 위치들이 미세르 동치 관계에 따라 정의된 부분적 게임을 위한 일반화된 미세르 모노이드를 도입하기 위해.
• * + * 가 미세르 플레이에서 0과 동치가 되는 조건을 게임 이론적 분석을 통해 규명하기 위해.
• 대칭적인 위치에서 예측 가능한 미세르 결과를 가진, 트위들덤-트위들디 유형의 전략적 접근을 적용하기 위해.
• *의 미세르 모노이드와 동일한 미세르 모노이드를 가진 모든 위치 ξ를 생성하는 구성 정리를 개발하기 위해.
• 구조적 게임 분해를 사용하여, 유한한 미세르 모노이드를 가진 무한한 위치의 집합을 분석하기 위해.

실험 결과

연구 질문

• RQ1 부분적 위치 집합 Υ의 미세르 모노이드가 별(*)의 미세르 모노이드와 동형일 조건은 무엇인가?
• RQ2 미세르 플레이에서 * + * 가 0과 동치가 되기 위한 구조적 조건은 무엇인가?
• RQ3 어떤 부분적 위치들이 미세르 플레이에서 트위들덤-트위들디 유형의 전략을 가질 수 있는가?
• RQ4 *의 미세르 모노이드와 동일한 미세르 모노이드를 가진 모든 위치 ξ의 완전한 집합은 무엇인가?
• RQ5 부분적 게임의 미세르 모노이드는 어떻게 체계적으로 구성하고 분류할 수 있는가?

주요 결과

• 학위논문은 위치 집합 Υ가 별(*)과 동일한 미세르 모노이드를 가질 조건을 필요 및 충분 조건으로 규명하였다.
• 모든 위치 ξ 중에서 *의 미세르 모노이드와 동형이 되는 경우를 생성하는 완전한 구성 정리를 제공하였다.
• 유한한 미세르 모노이드를 가진 부분적 위치의 무한한 집합을 규명하였으며, 이는 미세르 플레이에서의 구조적 규칙성을 보여주었다.
• * + * 가 미세르 플레이에서 0과 동치가 되는 조건을 도출하여, 부분적 미세르 이론에서 오랫동안 남아있던 문제를 해결하였다.
• 특정 대칭 제약 조건 하에서 트위들덤-트위들디 유형의 전략이 부분적 환경으로 일반화될 수 있음을 확인하였다.
• 이론은 불공정 게임을 초월하여 미세르 모노이드 이론을 확장하여, 부분적 미세르 게임의 분류 및 분석을 가능하게 하였다.