상호 가시성 색칠의 복잡도와 트리 구조에 대한 정확한 해

초록

본 논문은 그래프의 상호 가시성 색칠 수 χₘ(G)를 정의하고, 직경이 4이며 χₘ(G)=2인 그래프에 대해 이 값을 결정하는 문제가 NP‑complete임을 증명한다. 또한, 붙인 이진 트리와 일반 t‑진 트리의 경우 χₘ 값을 정확히 구해, 구조적 특성에 따른 색칠 한계를 제시한다.

상세 분석

논문은 먼저 상호 가시성 집합(S)의 정의를 재정립한다. S⊆V(G)가 상호 가시성이려면 임의의 x,y∈S에 대해 내부 정점이 S에 속하지 않는 최단 경로가 존재해야 한다. 이를 색칠에 적용하면, 같은 색을 가진 두 정점 x,y가 존재할 경우, x와 y 사이의 모든 최단 경로의 내부 정점은 서로 다른 색이어야 한다는 제약이 생긴다. 이러한 제약을 이용해 색칠 수를 χₘ(G)라 정의한다.

복잡도 측면에서는 MV‑Coloring 문제를 “주어진 그래프 G와 정수 k, χₘ(G)≤k 인가?” 형태의 결정 문제로 설정한다. 논문은 NAE‑3‑SAT(모든 절이 서로 다른 진리값을 가져야 함) 문제를 다항식 시간에 변환하여, 직경 4, k=2인 그래프에 대한 MV‑Coloring이 NP‑complete임을 보인다. 핵심 변환은 Hₙ이라는 두 별(star) 그래프를 이용한 구조로, Lemma 2.2에서 Hₙ을 두 색으로 색칠할 경우 중심과 잎이 같은 색이 될 수 없으며, 식별된 잎들 중 최소 두 개는 색이 달라야 함을 증명한다. 이를 바탕으로 변수마다 H₂ 형태의 서브그래프, 절마다 H₃ 형태의 서브그래프를 삽입하고, 전체 그래프 G에 두 개의 보조 정점(z, z′)을 연결해 직경을 4로 제한한다. 변환된 G가 χₘ(G)≤2이면 원래 NAE‑3‑SAT 식이 만족가능하고, 반대도 성립한다. 따라서 MV‑Coloring은 NP‑complete임이 확정된다.

구조적 분석에서는 붙인 이진 트리 GT(r)와 일반 t‑진 트리 GT(r,t)의 상호 가시성 색칠 수를 정확히 구한다. GT(r)은 두 개의 완전 이진 트리를 동일한 리프(준리프)들로 식별해 만든 그래프이며, 리프 사이의 유일한 최단 경로가 두 트리 사이에 사이클 C_{i,j}를 형성한다. Lemma 3.5는 임의의 상호 가시성 집합 S가 이러한 사이클에 포함될 수 있는 정점 수가 최대 3임을 보인다. 이를 이용해 귀납적으로 색칠 수의 하한과 상한을 맞추어, GT(r)의 경우 χₘ(GT(r)) = ⌈log₂(2r+1)⌉ + 1 (구체적인 식은 논문에 제시)임을 증명한다. t‑진 트리 GT(r,t)에도 동일한 논리를 확장해, 리프 수와 차수 t에 따라 χₘ 값이 선형적으로 증가함을 보인다. 특히, 트리 깊이 r이 커질수록 색칠 수는 Θ(log r) 수준으로 성장한다는 점이 흥미롭다.

결과적으로, 이 논문은 상호 가시성 색칠이 일반 그래프에서 계산적으로 어려운 문제임을 확립하고, 동시에 트리와 같은 제한된 구조에서는 정확한 해를 구할 수 있음을 보여준다. 이는 로봇 경로 계획, 네트워크 감시, 그래프 기반 시각화 등 실용적 응용 분야에서 색칠 전략을 설계할 때 이론적 근거를 제공한다.