[논문 리뷰] The shortest game of Chinese Checkers and related problems

George I. Bell|ArXiv.org|2008. 03. 08.

Digital Image Processing Techniques참고 문헌 2인용 수 3

한 줄 요약

이 논문은 두 명의 플레이어가 참여하는 중국 체커스 게임의 최소 이동 수가 30수(각각 15수씩)임을 증명하며, 1979년 데이비드 파비안의 해법이 최적임을 확인한다. A* 및 이중 방향 탐색 알고리즘을 사용하여 저자들은 또한 중국 체커스에서 군대를 한쪽에서 다른 쪽으로 옮기는 최소한의 솔로 퍼즐이 27수 필요하며, 1971년 올리버 레벤슈타인의 해법과 일치함을 증명하고, 6수 규칙 하에서의 계산적 검증을 통해 최적성을 입증한다.

ABSTRACT

In 1979, David Fabian found a complete game of two-person Chinese Checkers in 30 moves (15 by each player) [Martin Gardner, Penrose Tiles to Trapdoor Ciphers, MAA, 1997]. This solution requires that the two players cooperate to generate a win as quickly as possible for one of them. We show, using computational search techniques, that no shorter game is possible. We also consider a solitaire version of Chinese Checkers where one player attempts to move her pieces across the board in as few moves as possible. In 1971, Octave Levenspiel found a solution in 27 moves [Ibid.]; we demonstrate that no shorter solution exists. To show optimality, we employ a variant of A* search, as well as bidirectional search.

연구 동기 및 목표

• 협동 플레이 조건 하에서 두 명의 플레이어가 중국 체커스 게임을 완료하는 데 필요한 최소 이동 수를 결정하는 것.
• 1971년 올리버 레벤슈타인의 27수 솔로 퍼즐 해법이 중국 체커스 보드를 가로질러 군대를 이동시키는 데 최적임을 검증하는 것.
• 다양한 이동 규칙(4수, 6수, 8수) 하에서 군대 이동 문제를 해결하기 위해 계산적 탐색 기법을 적용하는 것.
• 알고리즘적 탐색과 대칭성 논증을 사용하여 알려진 해법의 하한값을 설정하고 최소성을 증명하는 것.

제안 방법

• 최적 해법으로 향하는 탐색을 이끄는 중심점 및 목표지점까지의 거리 기반 휴리스틱 함수를 사용한 A* 탐색을 구현하였다.
• 초기 상태와 목표 상태에서 동시에 확장함으로써 탐색 공간을 줄이기 위해 이중 방향 탐색을 적용하였다.
• 완전성과 대칭성을 보장하기 위해 해법을 반전 및 거울상으로 반복하는 팔린드롬 해법 전략을 사용하였다.
• 이동 규칙을 명확히 정의하였다: 6수(중국 체커스), 8수(할마), 4수(체커스 유사) 규칙을 9×9 보드에서 적용하였다.
• 10인 군대를 가진 9×9 보드에서 계산적 탐색을 수행하여 최소 이동 수를 검증하였다.
• 이론적 최소값을 추정하기 위해 중심점 기반 하한값을 사용하였으며, 이는 실제 해법과 정확히 일치하였다.

실험 결과

연구 질문

• RQ1 데이비드 파비안의 30수 해법이 두 명의 플레이어가 참여하는 중국 체커스 게임에서 가장 짧은 가능한 게임인가?
• RQ2 솔로 퍼즐에서 중국 체커스 보드를 가로질러 군대를 이동시키는 데 27수 이하로 완료할 수 있는가?
• RQ3 6수 규칙 하에서 9×9 보드에서 10인 군대를 이동시키는 데 필요한 최소 이동 수는 얼마인가?
• RQ4 다른 이동 규칙(4수, 6수, 8수)은 군대 이동 문제의 최소 해법 길이에 어떤 영향을 미치는가?
• RQ5 A* 및 이중 방향 탐색과 같은 계산적 탐색 기법이 조합 게임 퍼즐의 최적성 증명에 효과적으로 적용될 수 있는가?

주요 결과

• 두 명의 플레이어가 참여하는 중국 체커스 게임에서 가장 짧은 가능한 게임은 30수이며, 이보다 더 짧은 게임은 존재하지 않으며, 파비안의 1979년 해법이 최적임을 확인한다.
• 6수 규칙 하에서 9×9 보드에서 10인 군대를 이동시키는 최소 솔로 퍼즐 해법은 27수이며, 이보다 더 짧은 해법은 존재하지 않으며, 레벤슈타인의 1971년 해법이 최적임을 입증한다.
• 8수 규칙 하에서 9×9 보드에서 군대 이동의 최소 수는 20수이며, 이 해법은 최적이다.
• 4수 규칙 하에서는 군대 이동의 최소 수가 30수이며, 이 해법 역시 최적이다. 구체적인 순서가 제시되었다.
• 19인 할마 군대는 16×16 보드에서 47수 내로 이동시킬 수 있으나, 이것이 최단일지는 확정되지 않았다.
• 논문은 '균형 잡힌 군대'의 개념을 도입하며, 가장 빠른 해법이 일반적으로 균형 잡혀 있음을 관찰하였으며, 향후 연구 방향으로 제안한다.