평면 그래프 선택 가능성의 복잡성

초록

본 논문은 평면 그래프와 평면 무삼각 그래프의 리스트 색칠 가능성을 판단하는 문제의 복잡도를 연구한다. 4-선택 가능성(4‑choosability)과 3-선택 가능성(3‑choosability) 판별이 각각 Π₂‑완전임을 보이며, 기존에 알려진 큰 예시보다 훨씬 작은 반례 그래프(75·164개의 정점)를 직접 구성한다.

상세 분석

논문은 먼저 리스트 색칠(list coloring) 개념을 정리하고, 그래프 G가 k‑choosable인지 여부를 결정하는 일반적인 복잡도 문제를 제시한다. 기존 연구에서 bipartite planar graph의 (2,3)-choosability 문제가 Π₂‑complete임이 알려졌지만, 평면 그래프 자체에 대한 복잡도는 아직 확립되지 않았다. 저자는 이를 해결하기 위해 두 가지 주요 정리를 증명한다. 첫 번째 정리(정리 1.7)는 75개의 정점만을 갖는 평면 그래프가 4‑choosable가 아님을 보이며, 이는 이전에 알려진 238개의 정점을 가진 반례보다 훨씬 작다. 두 번째 정리(정리 1.8)는 164개의 정점을 가진 평면 무삼각 그래프가 3‑choosable가 아님을 보여, 166개의 정점 반례를 개선한다. 이러한 반례는 각각 기본 블록 W₁, W₂를 여러 개 복제하고 특정 정점들을 식별(identifying)함으로써 구성된다. 색상 집합 S(u), S(v) 등을 정밀히 지정해 리스트 할당을 만들고, 각 복제 블록 내에서 색상 충돌이 발생하도록 설계함으로써 전체 그래프가 원하는 choosability를 만족하지 못하게 만든다.

복잡도 측면에서는 제한된 평면 만족성(Restricted Planar Satisfiability, RPS) 문제를 Π₂‑complete임을 증명하고, 이를 기존의 bipartite planar (2,3)-choosability 문제와 연결한다. RPS 인스턴스를 그래프 G와 함수 f:V→{2,3} 로 변환하는 과정에서 ‘propagator’, ‘half‑propagator’, ‘multi‑output propagator’ 등 특수한 서브그래프를 도입한다. 각 서브그래프는 입력 노드와 출력 노드 사이에 색상 전파 메커니즘을 구현하며, 2‑coloring과 리스트 할당 사이의 논리적 대응을 보장한다. 특히, half‑propagator는 입력 색을 고정하면 출력 색이 반드시 반대가 되도록 설계되어, 양화 논리식의 ∀와 ∃ 구성을 정확히 모사한다. 이러한 구성으로 RPS가 참이면 그래프가 f‑choosable이고, 거짓이면 choosability가 깨지는 구조를 만든다. 따라서 BPG(2,3)-CH 문제는 Π₂‑complete임을 재확인하고, 이를 기반으로 평면 그래프 4‑choosability와 평면 무삼각 그래프 3‑choosability 판별이 모두 Π₂‑complete임을 증명한다. 마지막으로 두 포레스트의 합집합이 3‑choosable인지 묻는 문제(U2F 3‑CH)도 동일한 기술로 Π₂‑complete임을 도출한다. 전체적으로 논문은 리스트 색칠 문제의 복잡도 이론에 새로운 경계를 제시하고, 작은 반례를 통해 실제 그래프 구조가 어떻게 복잡성을 내포할 수 있는지를 명확히 보여준다.