그래프 외부두께 결정 문제는 NP하드

초록

본 논문은 일반 그래프의 외부두께(outerthickness)를 구하는 문제가 k ≥ 3인 경우 NP‑완전임을 증명한다. 더 일반적으로, 위상적 소단위(minor)와 1‑합 연산에 닫혀 있으며 3‑사이클을 포함하는 모든 적절한 그래프 클래스 F에 대해, F‑커버링 문제 P_F도 k ≥ 3이면 NP‑하드임을 보인다. 외부플래너 그래프 클래스를 선택하면 외부두께 결정 문제의 복잡도가 해결되고, 평면 그래프 클래스를 선택하면 기존 두께(thickness) 결과를 k ≥ 3으로 확장한다. 증명은 3‑정규 그래프의 엣지 컬러링 문제(또는 k‑정규 그래프의 엣지 컬러링)로부터 다항식 환원하는 방식으로 구성된다.

상세 분석

논문은 먼저 외부두께(outerthickness)를 정의하고, 기존에 두께(thickness) 문제는 1983년 Mansfield가 NP‑하드임을 보였지만 외부두께는 오랜 기간 미해결 문제였음을 상기한다. 핵심 아이디어는 “커버링 문제 P_F”라는 일반화된 프레임워크를 도입하는데, 이는 그래프 G의 모든 간선을 k개의 부분집합 E₁,…,E_k 로 나누어 각각이 사전에 정의된 그래프 클래스 F에 속하도록 하는 문제이다. 여기서 F가 (a) 위상적 마이너에 대해 닫혀 있음, (b) 1‑합에 대해 닫혀 있음, (c) 3‑사이클을 포함한다는 세 조건을 만족하면, k ≥ 3에 대해 P_F가 NP‑하드임을 증명한다.

증명의 핵심은 k‑정규 그래프의 엣지 컬러링 문제를 이용한 환원이다. 엣지 컬러링은 각 정점에 인접한 간선들이 서로 다른 색을 가져야 하는 문제로, Holyer와 Leven‑Galil이 각각 3‑정규 및 k‑정규 그래프에 대해 NP‑완전임을 보였다. 논문은 입력 그래프 G에 대해 라벨 함수 φ와 보조 그래프 H를 다항식 시간에 구성한다. H는 외부두께가 정확히 k인 최대 그래프이며, 충분히 큰 상수 C를 선택해 H에 독립집합 {w₁,…,w_α}를 만든다. 각 원래 간선 e={u,v}에 대해 φ(e)∈{1,…,α}를 부여하고, G와 H를 합쳐 새로운 그래프 G′를 만든다. 구체적으로는 {u,w_{φ(e)}}와 {v,w_{φ(e)}}를 추가함으로써 G′는 단순 그래프를 유지한다.

Lemma 7은 G가 k‑엣지 컬러링을 가질 경우 G′는 외부두께 ≤ k가 되고, 반대로 G′가 외부두께 ≤ k이면 G는 k‑엣지 컬러링을 가짐을 보인다. 이때 Observation 6이 핵심 역할을 한다. Observation 6은 외부플래너 그래프 Q가 외부두께 z에 대해 edge‑maximal일 때, Q에 새로운 경로 P와 두 개의 연결을 추가했을 때 y와 y′가 동일하면 여전히 외부플래너, 다르면 외부플래너가 아니게 된다는 성질을 이용한다. 이를 통해 G′의 각 부분집합에 포함된 간선들의 배치를 강제하고, 색이 겹치면 외부플래너 성질이 깨지는 모순을 도출한다.

또한, 논문은 각 조건의 필요성을 예시를 들어 설명한다. (a) 위상적 마이너 폐쇄가 없으면 eulerian 그래프 클래스는 NP‑하드가 아니며, (b) 1‑합 폐쇄가 없으면 pseudoforest 클래스는 다항식 시간에 해결된다. (c) 3‑사이클이 없으면 forest 클래스는 역시 쉬운 문제이다. 따라서 제시된 세 조건은 완전하게 필요함을 보인다.

마지막으로, 외부플래너 클래스에 대한 결과는 외부두께 결정 문제의 복잡성을 처음으로 확정짓고, 평면 그래프 클래스에 대한 결과는 기존 두께 결과를 k ≥ 3으로 일반화한다. 논문은 증명 구조가 간결하고, 기존 복잡도 이론과 그래프 이론을 효과적으로 연결함으로써 향후 그래프 커버링 문제에 대한 연구에 중요한 토대를 제공한다.