볼록 위치 디스크 그래프의 지배 집합 다항시간 해법

초록

볼록 위치에 놓인 점들의 중심을 가진 디스크 그래프에서, 최소 지배 집합을 찾는 문제를 일반 디스크 그래프의 NP‑hard성에도 불구하고 다항시간 알고리즘으로 해결한다. 논문은 무게가 없는 경우 O(k² n log² n) 시간, 가중치가 있는 경우 O(n⁵ log² n) 시간 복잡도의 알고리즘을 제시한다. 핵심은 “선분리성(line‑separable) 성질”과 이를 이용한 동적 계획법이다.

상세 분석

본 논문은 점 집합 P가 볼록 위치(convex position)에 있을 때, 각 점 pᵢ에 반경 rᵢ를 갖는 디스크 Dᵢ를 정의하고, 디스크들이 서로 교차하면 간선이 존재하는 디스크 그래프 G(P)에서 최소 지배 집합(Minimum Dominating Set, MDS)을 찾는 문제를 다룬다. 일반 디스크 그래프에서는 이 문제가 NP‑hard이지만, 볼록 위치라는 구조적 제약을 이용하면 다항시간 해법을 설계할 수 있다. 핵심 아이디어는 최적 지배 집합 S에 대해 “선분리성”을 만족하는 파티션 A와 할당 ϕ를 구성한다는 점이다. 구체적으로, S의 각 점 p는 가중치 −rₚ를 이용한 가중치 Voronoi 다이어그램 VD(S)에서 자신의 셀 R(p)에 포함되는 모든 점들을 자신이 지배하는 서브리스트 Aₚ에 할당한다. Voronoi 셀은 별모양(star‑shaped)이며 서로 내부가 겹치지 않으므로, 서로 다른 그룹 Aₚᵢ와 Aₚⱼ 사이의 점들을 연결하는 선분은 교차하지 않는다. 이로써 각 그룹은 선분 하나로 구분될 수 있어 “선분리성”이 보장된다. Lemma 1은 이러한 파티션과 할당이 항상 존재함을 증명하고, Lemma 2는 최소 지배 집합 내에 메인 서브리스트만을 포함하는 점이 최소 하나 존재함을 보여준다. 이 구조적 특성을 기반으로 두 가지 알고리즘이 설계된다. 무게가 없는 경우, 선분리성을 이용해 각 그룹의 메인 서브리스트를 중심으로 동적 계획법을 적용하고, 그룹 간 거리를 기준으로 O(k² n log² n) 시간에 최적 해를 찾는다. 가중치가 있는 경우에는 “rank‑t center” 개념을 도입한다. rank‑t center는 특정 구간 A