경로 위 노드 케일즈 복합 게임의 전면 분석

본 연구는 J.H. Conway가 “On Numbers and Games”에서 제시한 12가지 복합 게임 규칙을 노드-케일즈(Node‑Kayles)라는 그래프 게임에 적용하여, 특히 경로 그래프(Pₙ)에서의 행동을 상세히 분석한다. 노드-케일즈는 무방향 그래프의 정점을 선택하면 그 정점과 인접 정점이 모두 삭제되는 게임이며, 경로 Pₙ에 대한 옵션은 O(Pₙ)= {Pₙ₋₂, Pₙ₋₃} ∪ {Pᵢ ∪ Pⱼ | i+j=n‑3, i≥1, j≥i} 로 정의된다. 이 기본 구조를 바탕으로, 논문은 다음과 같은 흐름으로 전개된다. 1. **콘웨이의 12가지 복합 게임 규칙 정리** - 복합 게임은 여러 독립 컴포넌트(G₁,…,G_k)로 구성되며, ‘분리 합(disjunctive)’, ‘합성(conjunctive)’, ‘선택적(selective)’ 등 세 가지 움직임 규칙과 ‘긴 종료(long)’, ‘짧은 종료(short)’ 두 가지 종료 규칙, 그리고 ‘정상(normal)’·‘미세르(misere)’ 두 승리 규칙을 조합해 총 12가지 경우가 된다. 2. **기존 결과 요약 – 정상 규칙 하의 분리 합** - 정상 규칙에서의 분리 합은 스프라그‑그런디(SG) 이론에 의해 완전히 해결되었다. SG 수열 ρ(Pₙ)은 51개의 프리페리어드 후 34주기의 주기를 보이며, P‑위치 집합 L은 {0,4,8,14,19,24,28,34,38,42} ∪ {54+34i,58+34i,62+34i,72+34i,76+34i | i≥0} 로 명시된다. 다중 경로 합성의 승패는 각 컴포넌트의 SG 값을 XOR 연산으로 합산해 O(n) 시간에 판단 가능하고, 승리 이동도 선형 시간에 찾을 수 있다. 3. **감소된 분리 합(Diminished Disjunctive Compound)** - 이 변형은 하나의 컴포넌트가 종료되는 순간 전체 게임이 종료되는 규칙이다. 정상 규칙에서는 ‘전면 폐쇄된(Sprague‑Grundy) SG 수’를 도입해, 이미 종료된 위치와 한 수 안에 승리 가능한 위치를 * 로 표시하고, 그 외는 기존 SG와 동일하게 mex 연산으로 계산한다. 결과적으로 새로운 SG 수열도 주기성을 가지며, P‑위치가 유한함을 증명한다. - 미세르 규칙에서는 전면 폐쇄 SG 값을 정의할 수 있으나, P‑위치를 완전히 규정하지 못한다. 현재까지 이 경우에 대한 완전한 패턴이나 알고리즘이 존재하지 않아 논문이 남긴 유일한 미해결 문제이다. 4. **합성(compound) 및 연속 합성(continued conjunctive) 규칙** - 합성에서는 하나의 컴포넌트가 종료되면 게임이 즉시 종료된다. 여기서는 ‘원격성(remoteness)’이라는 메트릭을 정의한다. 정상 규칙에서는 원격성이 짝수이면 P‑위치, 홀수이면 N‑위치가 된다. 미세르 규칙에서는 짝·홀수 조건이 반전된다. 원격성은 옵션들의 원격성을 기반으로 재귀적으로 계산되며, 다중 경로에서도 O(n) 시간에 승패를 판단한다. - 연속 합성은 ‘느리게 승리하고 빠르게 패배’하는 전략을 채택한다. 이를 위해 ‘서스펜스 번호(suspense number)’를 도입한다. 정상 규칙에서는 서스펜스 번호가 홀수이면 P‑위치, 짝수이면 N‑위치이며, 미세르 규칙에서는 반대로 적용된다. 이 역시 옵션들의 서스펜스 번호를 이용해 선형 시간에 계산 가능하다. 5. **선택적(selective) 및 축소 선택적(shortened selective) 규칙** - 선택적 합성에서는 한 턴에 임의 개수(1≤ℓ≤k)의 컴포넌트를 동시에 플레이한다. 정상 규칙에서는 모든 승리 컴포넌트를 플레이해야 승리하므로, 모든 컴포넌트가 P‑위치일 때만 전체가 P‑위치가 된다. 미세르 규칙에서는 ‘모든 남은 컴포넌트가 패배’ 상황에서 한 개만 남으면 승패가 뒤바뀌는 특수 규칙을 적용한다. - 축소 선택적은 선택적 규칙을 더 단순화한 형태로, 정상·미세르 모두에서 전체가 P‑위치가 되려면 모든 컴포넌트가 P‑위치여야 한다. 따라서 두 규칙은 정상 규칙 하에서 동일한 결과를 보인다. 6. **알고리즘적 복잡도와 전략 찾기** - 각 변형에 대해 승패 판단 알고리즘은 대부분 O(n) 혹은 O(k) 시간에 수행 가능하다. 특히 정상 규칙 하의 분리 합과 감소된 분리 합은 SG 값 또는 전면 폐쇄 SG 값을 미리 계산해 두면 상수 시간에 결과를 조회할 수 있다. - 승리 전략(즉, N‑위치에서 P‑위치 옵션 찾기) 역시 각 변형마다 명시된 메트릭(예: SG 값, 원격성, 서스펜스 번호)을 이용해 선형 시간에 구성 가능하다. 7. **미해결 문제와 향후 연구** - 12가지 중 10가지 변형은 완전한 해법을 제공했으며, 남은 미해결은 ‘감소된 분리 합’의 미세르 규칙이다. 이 경우 전면 폐쇄 SG 값은 정의되지만, P‑위치 집합이 무한하거나 복잡한 패턴을 보일 가능성이 제시된다. 향후 연구에서는 이 패턴을 규명하거나, 보다 일반적인 그래프(예: 트리)로 확장하는 방향이 제안된다. 결론적으로, 논문은 복합 게임 이론과 SG 이론을 결합해 경로 그래프에서의 노드-케일즈를 체계적으로 분석하고, 12가지 복합 규칙 중 10가지에 대해 완전한 알고리즘적 해법을 제공한다. 이는 복합 게임 연구에 중요한 기반을 마련하며, 남은 미해결 문제는 향후 연구의 핵심 과제로 남는다.