공정 색칠 게임의 이론과 복잡도

초록

이 논문은 그래프의 정점에 색을 칠하는 여섯 가지 무공정(impartial) 색칠 게임을 정의하고, 각 규칙에 대해 특수 그래프에서의 승패 구분과 일반적인 계산 복잡도를 분석한다. 특히 Grundy 함수에 대한 상세한 연구를 통해 일부 경우에 다항식 시간 알고리즘을 제시하고, 다른 경우에는 PSPACE‑완전성을 증명한다.

상세 분석

본 연구는 기존에 연구된 ‘적절한 색칠’, ‘방향 색칠’, ‘2‑거리 색칠’, ‘약한 색칠’, ‘순차 색칠’ 등 다섯 가지 그래프 색칠 제약을 무공정 게임 형태로 변형하고, 새롭게 ‘제한된 색 사용’ 규칙을 추가하여 총 여섯 가지 규칙집합을 제시한다. 모든 규칙은 두 플레이어가 번갈아가며 아직 색칠되지 않은 정점을 선택하고, 허용된 색 중 하나를 지정하는 방식이며, 색 선택이 제한되는 경우에만 게임이 종료된다.

각 규칙에 대해 논문은 다음과 같은 핵심 통찰을 제공한다. 첫째, ‘적절한 색칠’ 게임은 기존의 정상적인 색칠 게임과 달리 색의 수 k가 고정되어 있지 않으며, 승패는 그래프의 최대 차수 Δ와 직접적인 관계를 가진다. Δ ≤ k − 1이면 첫 번째 플레이어가 항상 승리하고, Δ ≥ k이면 두 번째 플레이어가 강력한 방어 전략을 구사한다.

둘째, ‘방향 색칠’은 유향 그래프에서 인접 정점 간에 색이 동일하거나 반대가 되지 않도록 하는 제약을 갖는다. 이 경우, 강한 연결 성분의 구조가 Grundy 수를 결정하는 핵심 요소가 되며, 강한 연결 성분이 사이클을 포함하면 Grundy 수가 0이 되는 경우가 빈번히 발생한다.

셋째, ‘2‑거리 색칠’은 거리 2 이내의 정점이 같은 색을 공유할 수 없게 하여, 실제로는 그래프의 제곱 G²에 대한 적절 색칠 문제와 동치임을 보인다. 이 변환을 이용해 경로와 사이클에 대한 정확한 Grundy 함수 식을 도출하고, 일반 그래프에서는 PSPACE‑완전성을 증명한다.

넷째, ‘약한 색칠’은 인접 정점이 모두 같은 색이 되지 않도록 하는 최소한의 제약을 두어, 특히 트리와 같은 비순환 그래프에서 선형 시간 알고리즘이 가능함을 보여준다. 트리의 경우, 잎 정점부터 역방향으로 Grundy 값을 계산하면 전체 게임의 결과를 O(n) 시간에 판단할 수 있다.

다섯째, ‘순차 색칠’은 정점에 미리 정해진 순서를 부여하고, 그 순서대로만 색을 선택하도록 제한한다. 이 규칙은 ‘스프라그’(Sprague‑Grundy) 이론과 직접 연결되며, 순서가 고정된 경우에는 게임이 완전한 합게임으로 분해되어 각 구간의 Grundy 수를 XOR 연산으로 결합한다.

마지막으로 새롭게 도입된 ‘제한된 색 사용’ 규칙은 색의 총 사용 횟수를 제한함으로써, 색이 고갈되는 순간 게임이 종료되는 구조를 만든다. 이 경우, 색 사용 횟수와 그래프의 독립 집합 구조가 복합적으로 작용하여, 일반적인 경우 PSPACE‑완전하지만, 색 사용 제한이 충분히 작을 때는 동적 계획법을 통해 다항식 시간 해법을 얻을 수 있다.

전반적으로 논문은 각 규칙에 대해 (1) 특수 그래프(경로, 사이클, 트리, 완전 그래프 등)에서의 승패 구분, (2) Grundy 함수의 명시적 식 또는 계산 방법, (3) 일반 그래프에 대한 복잡도 경계(다항식, NP‑hard, PSPACE‑complete)를 체계적으로 제시한다. 또한, 기존의 착색 게임 연구와 무공정 게임 이론을 연결함으로써, 색칠 게임의 전략적 깊이를 새로운 관점에서 조명한다.