순환 무공정 게임과 캐리온 무브 이론

초록

본 논문은 사이클을 포함하는 무공정 게임에 대해, 상대가 선택의 자유가 없는 ‘캐리온 무브’(entailing move)의 특수 경우를 다루는 일반화 이론을 제시한다. 기존의 Smith‑Frankel‑Perl Theory와 Larsson‑Nowakowski‑Santos Theory를 결합하여, 사이클과 캐리온 무브가 동시에 존재하는 게임의 Grundy 값과 합산 연산을 알고리즘적으로 계산하는 방법을 제시하고, 이를 green‑lime hackenbush라는 새로운 게임에 적용한다.

상세 분석

논문은 먼저 무공정 게임을 유한 방향 그래프 (V, x) 로 모델링하고, 정점의 색을 흰색(선택 가능)과 회색(강제 응답)으로 구분한다. 회색 정점에 도달하면 상대는 반드시 같은 조각을 다시 움직여야 하므로, 전통적인 비합성 합(disjunctive sum)의 논리가 깨진다. 이러한 ‘entailing move’를 특히 옵션이 0 또는 1개인 경우를 ‘carry‑on move’라 정의하고, 이 경우에만 사이클과 결합된 일반화가 가능함을 보인다.

기존의 Smith‑Frankel‑Perl Theory(SFPT)는 사이클이 있는 그래프에 대해 mex 규칙과 ‘reversibility’를 동시에 적용해 Grundy 값을 정의한다. 여기서는 무한값(∞)을 사이클 영역으로 표시하고, 각 사이클에 대해 탈출 가능한 옵션들의 Grundy 값 집합 D를 함께 저장한다. Larsson‑Nowakowski‑Santos Theory(LNST)는 entailing move가 있는 경우, 강제 응답을 하나의 연속된 이동으로 취급해 Grundy 값을 재정의한다. 논문은 두 이론을 통합하여, ‘∞ D’ 형태의 사이클 Grundy 값을 도입한다. 이는 “무한하지만 탈출 옵션 D가 존재한다”는 의미이며, D의 원소들은 해당 사이클을 빠져나갈 때 얻을 수 있는 정상 Grundy 값이다.

핵심 알고리즘(Algorithm 2)은 다음과 같다. 초기 단계에서 모든 비터미널 정점에 ∞를 할당하고, 반복적으로 각 정점의 현재 옵션 Grundy 값들의 mex를 계산한다. 만약 어떤 옵션이 현재 mex보다 큰 값을 가지고, 그 옵션이 다시 mex 값으로 되돌아가는 경로가 존재하면 해당 정점에 mex 값을 확정한다. 수렴이 이루어지면, 남은 ∞ 정점들은 사이클 영역이며, 그들의 D 집합을 옵션 탐색을 통해 수집한다.

다음으로, 두 게임의 합산을 위해 그래프 카르테시안 곱 V * U 를 정의한다. 여기서는 회색‑회색 정점 쌍을 제외하고, 하나라도 흰색이면 다른 게임의 조각을 그대로 유지하도록 설계한다. 이 구조는 기존의 Nim‑sum(⊕) 연산을 확장한 연산을 통해 Grundy 값을 합산한다. 구체적으로, 유한 Grundy 값은 전통적인 XOR으로 합산하고, ‘∞ D’ 형태의 값은 D 집합들의 합집합을 이용해 새로운 ‘∞ D’ 값을 만든다. 이 연산은 Theorem 2.5에서 정리되며, 사이클 영역에 있는 하나의 조각만이 존재할 때만 적용 가능함을 명시한다.

마지막으로, 논문은 green‑lime hackenbush라는 사례 연구를 제시한다. 기존 green hackenbush는 트리 형태의 그래프에서 가지를 잘라내는 게임으로, Grundy 값이 단순히 높이와 일치한다. 여기서는 일부 에지에 ‘lime’ 라벨을 붙여, 그 에지를 선택하면 즉시 같은 조각을 다시 움직여야 하는 캐리온 무브가 발생한다. 저자들은 이 변형을 위의 알고리즘에 적용해, 사이클이 형성되는 경우와 그렇지 않은 경우를 모두 분석한다. 결과적으로, 각 정점에 대해 ‘∞ D’ 형태의 Grundy 값을 얻고, 이를 이용해 전체 게임의 승패를 정확히 판단한다. 이 사례는 제안된 이론이 실제 게임 설계에 어떻게 활용될 수 있는지를 보여주는 좋은 예시이다.