[논문 리뷰] Solving Triangular Peg Solitaire

George I. Bell|arXiv (Cornell University)|2007. 03. 29.

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

한 줄 요약

이 논문은 $T_n$에서 삼각형 펠렛 솔리타리의 완전한 수학적 분석을 제공하며, 짝수 기반 불변량을 사용하여 가용성 조건을 수립한다. 가용성은 시작 빈자리의 위치를 3으로 나눈 나머지와 보드 크기 $n$에 따라 달라지며, $T_{10}$(55개 구멍)까지의 보드에 대해 명시적인 해법 알고리즘과 최소 이동 수 해법을 제시한다. 이 중 $T_8$에서 보완 문제의 최단 해법은 13수로 발견되었다.

ABSTRACT

We consider the one-person game of peg solitaire on a triangular board of arbitrary size. The basic game begins from a full board with one peg missing and finishes with one peg at a specified board location. We develop necessary and sufficient conditions for this game to be solvable. For all solvable problems, we give an explicit solution algorithm. On the 15-hole board, we compare three simple solution strategies. We then consider the problem of finding solutions that minimize the number of moves (where a move is one or more consecutive jumps by the same peg), and find the shortest solution to the basic game on all triangular boards with up to 55 holes (10 holes on a side).

연구 동기 및 목표

• 삼각형 보드 $T_n$에서의 펠렛 솔리타리 게임이 단일 펠렛으로 끝날 수 있는 필요 및 충분 조건을 규명하는 것.
• 게임이 가용할 경우 해를 구성하는 명시적 알고리즘을 개발하는 것.
• 기본 게임에서 삼각형 보드 $T_{10}$까지의 최소 이동 수(이동 횟수 기준) 해법을 특정하고 계산하는 것.
• $T_5$ 보드(15개 구멍), 고전적인 크래커 버터플레이저에 대해 다양한 해법 전략을 분석하고 비교하는 것.
• 기울기 좌표 변환을 활용해 한 기저 해법에서 회전 및 반사에 의한 동치 해법을 체계적으로 생성하는 방법을 제공하는 것.

제안 방법

• $T_n$ 보드의 각 구멍에 $(x + y) \mod 3$ 기반의 레이블링 체계를 적용하여 세 가지 레이블을 할당하고, 이에 기반한 짝수 기반 불변량을 수립한다. 이 불변량은 모든 점프 동안 유지된다.
• 이 불변량은 이진 3차원 벡터 $(c_1 + c_2, c_0 + c_2, c_0 + c_1) \mod 2$로 표현되며, 네 개의 위치 클래스를 정의한다. 단, 세 개의 클래스만이 단일 펠렛 종료를 허용한다.
• 논문은 $n \equiv 1 \pmod{3}$ 이고 시작 빈자리에서 $x_s + y_s \equiv 0 \pmod{3}$ 를 만족할 경우, 보드가 EMPTY 위치 클래스에 속하게 되어 게임이 불가능하다는 것을 증명한다.
• 해법은 삼각형 펠렛 클러스터를 점프 시퀀스로 체계적으로 제거하는 트라페조이드 정리 기법을 사용하여 구성된다.
• 최소 이동 수 해법을 위해 논문은 $n=4$에서 $n=10$까지의 $T_n$에서 최적 해법을 컴퓨터 검색을 통해 찾았으며, 결과는 저자의 웹사이트에 검증 및 게시되었다.
• 기울기 좌표 변환(회전 및 반사)을 활용해 단일 기저 해법에서 동치 해법을 생성함으로써 대칭 기반의 해법 재사용이 가능해진다.

실험 결과

연구 질문

• RQ1 삼각형 보드 $T_n$에서 어떤 시작 빈자리에서 단일 펠렛 종료가 가능할 수 있는가?
• RQ2 $n \leq 10$일 때 기본 펠렛 솔리타리 게임의 최소 이동 수는 얼마인가?
• RQ3 $T_5$ 보드에서 다양한 해법 전략(예: 트라페조이드 정리)의 효율성은 어떻게 비교될 수 있는가?
• RQ4 모든 가용한 삼각형 펠렛 솔리타리 사례를 해결할 수 있는 일반 알고리즘을 구성할 수 있는가?
• RQ5 대칭 연산(회전 및 반사)은 해법의 동치성과 구성에 어떤 영향을 미치는가?

주요 결과

• 게임이 $T_n$에서 단일 펠렛으로 끝날 수 있는 것은 $n \equiv 1 \pmod{3}$ 이고 시작 빈자리에서 $x_s + y_s \equiv 0 \pmod{3}$ 를 만족하지 않을 경우에 한하여 가능하다.
• 보완 문제(시작과 끝이 동일한 구멍)는 $T_8$에서 정확히 13수로 해결 가능하며, 이는 $T_4$에서 $T_{10}$까지의 보드 중 유일하게 이 최소 이동 수를 달성한 보드이다.
• 기본 게임에서 $T_5$의 최단 해법은 9수이며, 이는 c5 빈자리에서 시작했을 때 달성된다.
• $T_6$의 경우 최소 이동 수 해법은 시작 빈자리에 따라 9에서 10수 사이에서 변동하며, c5와 b6 빈자리에서 시작할 경우 9수의 해법을 얻을 수 있다.
• $T_8$ 보완 해법은 $T_4$에서 $T_{10}$까지의 보드 중에서 유일하게 보완 문제의 이론적 하한선인 13수를 달성한다.
• 논문은 $n \leq 10$인 모든 $T_n$에 대해 명시적이고 이동 수가 최소인 해법을 제공하며, 이동 수는 $T_4$의 5수에서 $T_{10}$의 18수까지 다양하다.