평면 그래프에서 작은 그래프 커버링 문제의 복잡도 연구

초록

본 논문은 입력 그래프를 평면으로 제한한 커버링 문제 PlanarCover(H)의 난이도를 조사한다. H가 평면 커버를 가질 때에도 Cover(H)가 NP‑완전인 경우를 대상으로, K₄, K₅, K₆, K₄에 잎을 붙인 K⁺₄, K₅에서 한 변을 삭제한 K⁻₅, 그리고 가장 작은 멀티그래프인 덤벨 그래프 D에 대해 PlanarCover(H)가 역시 NP‑완전임을 증명한다. 이를 위해 선분 색칠 문제와 2‑in‑4‑Monotone‑Planar‑SAT 등으로부터 복잡도 감소를 수행하고, 교차·보조·변수·절 클라우즈 등 다양한 위젯을 설계한다. 결과적으로 “Cover(H)가 NP‑완전하고 H가 평면 커버를 갖는 경우 PlanarCover(H)도 NP‑완전이다”는 질문에 긍정적인 답을 제공한다.

상세 분석

논문은 먼저 그래프 커버링을 동형사상 중에서도 각 정점의 폐쇄 이웃을 전단사로 매핑하는 ‘국소 전단사’라는 강한 조건으로 정의한다. 이 정의에 따르면 H가 연결 그래프이면 G의 정점 수는 |V(H)|의 배수이며, 각 정점은 같은 수의 전상(프리이미지)을 가진다. 기존 연구에서 Cover(H)가 다항시간 해결 가능한 경우 PlanarCover(H)도 자동으로 다항시간이지만, H가 평면 커버를 가짐에도 Cover(H)가 NP‑완전인 경우는 아직 충분히 탐구되지 않았다.

Negami 추측과의 연관성을 강조하면서, 저자들은 “PlanarCover(H)가 NP‑완전인 최소의 H”를 찾고자 한다. 이를 위해 K₄, K₅, K₆ 등 정규 그래프와 K⁺₄, K⁻₅ 같은 변형 그래프, 그리고 멀티그래프 D를 대상으로 각각 NP‑완전성을 증명한다.

핵심 기술은 ‘교차 가젯(crossing gadget)’과 ‘보조 가젯(auxiliary gadget)’이다. K₆에 대한 증명에서는 입력을 6‑SegmentColoring 문제(선분 교차 그래프의 6‑색칠)로부터 변환한다. 각 선분은 여러 서브세그먼트로 분할되고, 서브세그먼트는 두 개의 평행 간선으로 표현된다. 교차점마다 8개의 보조 가젯을 결합한 교차 가젯을 삽입해, 인접 서브세그먼트가 동일한 색을 공유하도록 강제하고, 교차하는 두 선분은 서로 다른 색을 가져야 함을 보장한다. 보조 가젯은 K₆에 대한 매핑이 유일하게 결정되도록 설계돼, 전체 그래프 G′가 K₆를 커버하면 원래 선분 그래프가 6‑색칠 가능함을 증명한다.

K₄와 K₅에 대해서는 동일한 구조를 4‑SegmentColoring, 5‑SegmentColoring으로부터 감소시킨다. K⁺₄와 K⁻₅는 색상 집합을 {1,2,3}과 0(또는 −)으로 제한해 3‑SegmentColoring으로부터 감소한다.

멀티그래프 D(덤벨 그래프)의 경우, 저자들은 2‑in‑4‑Monotone‑Planar‑SAT 문제를 이용한다. 변수마다 4k‑길이의 순환을 갖는 변수 가젯을 만들고, 절마다 네 변수의 연결을 통해 ‘정확히 두 변수는 true’라는 제약을 구현한다. 이때 D의 커버는 정점이 3‑정규(흑·백) 색칠을 만족하는 경우와 동치이므로, SAT 인스턴스가 만족 가능하면 평면 그래프 G′가 D를 커버한다는 것을 보인다.

모든 증명은 평면성을 유지하도록 설계된 위젯 연결 방식을 사용한다. 따라서 입력 그래프가 평면임을 보장하면서도, 원래 문제의 NP‑완전성을 그대로 전달한다. 최종적으로 저자들은 “Cover(H)가 NP‑완전하고 H가 평면 커버를 가질 때, PlanarCover(H) 역시 NP‑완전이다”는 가설을 H가 5개 이하 정점을 갖는 모든 그래프(단, W₄ 제외)에 대해 입증한다.