중국 체커 최단 경기와 솔리테어 최적 해법의 완전 증명

이 논문은 중국 체커와 할마라는 두 전통 보드 게임을 수학적·컴퓨터 과학적 관점에서 분석하고, 특히 “가장 짧은 경기”와 “솔리테어 형태의 군대 전이”라는 두 퍼즐에 대한 최적 해를 찾는 과정을 상세히 기술한다. 1. **배경 및 정의** - 중국 체커는 9×9 격자에 10개의 말(군대)씩 두 명이 사용하며, 한 번의 스텝은 인접한 6방향 중 하나로 이동하고, 점프는 다른 말 위를 뛰어넘어 빈 칸에 착지하는 방식이다. 할마는 16×16 격자에 19개의 말씩 사용하고, 8방향 이동이 허용된다. - 각 말은 스텝에 의해 ‘유형 0~3’으로 변하고, 점프만으로는 유형이 변하지 않는다. 유형 분포는 초기와 목표 배치에서 동일해야 하며, 이는 특히 홀수 보드(중국 체커)에서 스텝 없이 완전 점프 경로가 가능함을 의미한다. 2. **거리와 하한값** - 격자상의 두 셀 a=(ax,ay), b=(bx,by) 사이의 최소 스텝 수를 정의하기 위해 ‘삼각형 맨해튼 거리’ ‖(x,y)‖△ = max(|x|,|y|) if sgn(x)=sgn(y), else |x|+|y| 를 도입한다. 이는 6‑이동 규칙에 정확히 대응한다. - 두 군대 B와 R 사이의 최소 거리 d(B,R)=min_{b∈B, r∈R} d(b,r) 로 정의하고, 초기 배치에서 d=10임을 계산한다. - 정리 1에 의해 경기 최소 길이 h는 h = max{0, d‑2} + 2s‑1 로 주어지며, 여기서 s는 각 군대의 말 수이다. 중국 체커는 s=10, d=10이므로 h=27, 할마는 s=19, d=10이므로 h=45가 된다. 이는 각각 솔리테어와 양측 협력 경기의 이론적 최단 수이다. 3. **사다리와 전략적 구조** - ‘사다리’는 특정 유형의 말들로 이루어진 연속 점프 체인으로, 두 진영 사이에 빠른 전이를 가능하게 한다. 최단 경기에서는 두 종류(0&3, 1&2)의 사다리를 동시에 구축해야 하며, 승리하는 측은 경기 후반에 사다리를 이용해 연속 점프만으로 상대 진영을 점령한다. - 사다리 구축 과정은 ‘α = L‑2(|A|‑1)’라는 임계 수를 정의하고, α 이전에 양측이 협력해 첫 번째 사다리를 만들고, α 이후에 패배 측이 두 번째 사다리를 완성하도록 설계한다. 4. **검색 알고리즘** - 상태 공간은 약 8.67×10²³개의 보드 배치를 포함하지만, 대칭성(회전·반사)과 하한값을 이용해 탐색을 크게 축소한다. - ‘Breadth‑First Iterative Deepening A*’(BFIDA*)를 적용해 목표 길이 m(예: 29, 30) 이하의 해가 존재하는지 검증한다. 각 레벨 Li는 i번째 수까지 도달 가능한 보드 집합이며, i번째 단계에서 현재 보드 P에 대해 h(P)를 계산해 i + h(P) > m이면 해당 경로를 즉시 차단한다. - 30수 해는 기존 인간이 손으로 찾은 해와 동일하게 재현되었으며, 29수 이하의 해는 탐색 결과 전혀 발견되지 않았다. 마찬가지로 27수 솔리테어 해 역시 최적임이 확인되었다. 5. **결과와 의의** - 연구는 1979년 David Fabian이 제시한 30수 경기 해가 최단임을 컴퓨터 증명을 통해 확정하고, 1971년 Octave Levenspiel이 제시한 27수 솔리테어 해가 최단임을 입증한다. - 제시된 하한값 정리와 BFIDA* 탐색 프레임워크는 다른 변형(4‑이동, 8‑이동)이나 다른 보드 크기에도 적용 가능하며, ‘군대 전이 문제(army transfer problem)’라는 일반화된 퍼즐 클래스에 대한 연구 기반을 제공한다. - 또한, 사다리 구조와 유형 변환 메커니즘을 통해 게임 이론적 관점에서 최적 전략을 해석하고, 실제 게임 설계나 AI 플레이어 구현에 유용한 통찰을 제공한다.