솔리테어 최신 연구 동향

초록

이 논문은 페그 솔리테어의 최근 연구 결과를 정리한다. 6×6 보드와 37구 홀 “프랑스” 보드의 최단 해법, 일반화된 십자형 보드와 장팔 보드의 해법을 제시하고, 다섯 가지 새로운 문제와 그 해답을 제공한다.

상세 분석

본 논문은 페그 솔리테어의 해법 탐구에 있어 두 가지 핵심 방법론을 강조한다. 첫 번째는 19세기 말 로빈 메슨이 제시한 “Merson 영역” 개념을 이용한 이론적 하한 분석이다. 6×6 보드의 경우 16개의 영역으로 나누어 첫 점프만 새로운 영역을 열 수 있음을 증명함으로써, 비코너 시작에서는 최소 15수, 코너 시작에서는 최소 16수가 필요함을 도출한다. 이를 바탕으로 John Harris가 1962년에 발견한 16수 해법과 이후 15수 해법들을 검증하고, 컴퓨터(당시 TRS‑80, 64KB RAM)로 모든 가능한 시작‑종료 조합을 exhaustive하게 탐색하여 최적성을 확증하였다. 두 번째는 현대 고성능 컴퓨터를 활용한 전수 탐색이다. Ernest Bergholt와 Harry O. Davis가 33구 보드에서 제시한 최단 해법이 실제로 최적임을 Jean‑Charles Meyrignac가 독립적인 프로그램으로 재검증했으며, 37구 “프랑스” 보드에서도 동일한 방식으로 20수 해법이 최단임을 입증하였다. 특히, Meyerignac는 37구 보드의 모든 살아남는 구 위치에 대해 20수 혹은 21수 해법을 찾아 표로 정리하고, Maye가 제시한 8수 루프 형태의 해법까지 상세히 기술한다.

또한 일반화된 십자형 보드(팔 길이 n₁…n₄)에 대한 전수 분석을 수행해, 12개의 보드만이 모든 구에서 시작‑종료가 가능한 “전구역 해법 가능” 보드임을 밝혀냈다. 여기에는 표준 33구 보드와 48구 보드(팔 길이 5,3,2,3) 등이 포함된다. 보드의 대칭성(가로·세로·대각선)과 구멍 수(24~42)도 함께 제시하여, 설계자가 새로운 보드를 만들 때 참고할 수 있는 기준을 제공한다.

길팔 보드 연구에서는 4‑팔(36구) ‘버섯’ 보드가 모든 위치에서 해법이 존재함을 보였으며, 5‑팔(75구) 보드와 7‑팔(141구) 보드까지 확장하였다. 특히 5‑팔 보드에서는 중간 끝 구가 여전히 해결 가능함을 확인했지만, 6‑팔 이상에서는 “Golden Ratio” 자원 계산법을 적용해 불가능함을 증명하였다. 이 증명은 두 단계(팔을 채우는 이동 조합 식별, 자원 부족 증명)로 구성되어, Solitaire Army 문제와도 연계된다.

마지막으로 저자는 5개의 새로운 문제를 제시하고, 각각에 대한 해답을 제공한다. 여기에는 37구 보드에서 d4를 비우고 a4·g4를 교환하며 전 board를 정리하는 문제, 39구 “semi‑Wiegleb” 보드에서 d1 시작‑종료 문제, 8×8 보드에서 d6→h6 문제 등이 포함된다. 각 문제는 기보와 함께 최소 수(예: 21수, 23수, 25수 등)를 명시하고, 풀이 과정에서 사용된 전략적 점프 패턴을 상세히 설명한다. 전체적으로 이 논문은 전통적인 논리 분석과 최신 컴퓨터 과학 기법을 결합해, 페그 솔리테어 해법 연구에 새로운 기준과 풍부한 자료를 제공한다.