희소 그래프에서 지배수의 상수배 근사 알고리즘

초록

이 논문은 그래프의 k‑지배수 문제를 선형 시간에 상수 배 정확도로 근사할 수 있음을 보인다. 핵심은 제한된 확장성을 가진 그래프 클래스(예: 마이너 폐쇄, 위상 마이너 폐쇄, 고정 표면에 제한 교차를 가진 그래프)에서 2k‑독립 집합 A와 k‑지배 집합 D를 동시에 찾고, |D| = O(|A|) 를 만족하도록 하는 알고리즘을 제시하는 것이다. k=1인 일반 지배수에 대해서는 arrangeability 가 상수인 모든 그래프 클래스에 적용된다.

상세 분석

본 연구는 희소 그래프에서 지배수(domination number)를 효율적으로 근사하는 새로운 방법론을 제시한다. 핵심 개념은 d‑independent 집합(거리 d보다 큰 모든 정점 쌍)이며, 특히 2k‑independent 집합의 최대 크기 α₂ₖ(G)는 k‑지배수의 하한이 된다. 저자들은 bounded expansion(제한된 확장성)이라는 구조적 제약을 가진 그래프 클래스에서, α₂ₖ(G)와 비례하는 k‑지배 집합 D를 선형 시간에 찾을 수 있음을 증명한다.

이를 위해 먼저 weak k‑coloring number, k‑coloring number, k‑admissibility 라는 세 가지 정점 순서 기반 파라미터를 도입한다. 특히 wcol₂(G) ≤ c 라는 조건이 있으면, 정점 순서를 이용해 각 정점 v에 대해 Qₘ(v) (v보다 앞에 있는, 거리 ≤ m인 정점 집합)를 효율적으로 구할 수 있다. 논문의 주요 정리(Theorem 2)는 wcol₂(G) ≤ c이면 dom(G) ≤ c²·α₂(G) 를 만족한다는 것이며, 이는 α₂(G)와 같은 크기의 2‑independent 집합 A와 |D| ≤ c²·|A| 를 만족하는 지배 집합 D를 선형 시간에 구성할 수 있음을 의미한다.

Theorem 4는 이를 일반화하여 임의의 k와 m(1 ≤ m ≤ 2k+1) 에 대해 wcolₘ(G) ≤ c이면 domₖ(G) ≤ c²·αₘ(G) 를 보인다. 알고리즘은 다음과 같다. (1) 주어진 순서에서 Qₘ(v) 를 계산하고, (2) 아직 커버되지 않은 정점 집합 R 에 대해 가장 앞에 있는 정점 v를 선택해 A′에 추가하고, D에 v와 Qₘ(v)를 삽입한다. 이후 거리 ≤ k인 모든 정점을 R에서 제거한다. 이 과정을 반복하면 D는 k‑지배 집합이 되고, |D| ≤ c·|A′| 가 된다. 마지막 단계에서는 A′에 대해 거리 ≤ m 인 정점들로 연결된 보조 그래프 H 를 구성하고, H의 색채수를 이용해 독립 집합 A ⊆ A′ 를 추출한다. 색채수는 col₁(H) ≤ c 로 제한되므로, |A| ≥ |A′|/c 를 보장한다. 따라서 최종적으로 |D| ≤ c²·|A| 가 성립한다.

알고리즘의 시간 복잡도는 O(c²·max(k,m)·n)이며, 공간은 O(c·n)이다. 중요한 점은 wcolₘ(G) 를 만족하는 정점 순서를 어떻게 얻느냐인데, 저자들은 m‑admissibility 를 구하는 절차를 제시한다. admₘ(G) 가 상수이면 wcolₘ(G) 역시 상수이므로, bounded expansion 클래스에서는 선형 시간에 적절한 순서를 찾을 수 있다. 실제 구현에서는 첫 번째 단계에서 Qᵢ(v) 를 재귀적으로 계산하고, 두 번째 단계에서 거리 업데이트를 효율적으로 수행하기 위해 각 정점에 거리 상한 p(v) 를 유지한다. 또한, m‑admissibility 를 정확히 판단하기 위해 첫 번째 순서 결정 알고리즘(Algorithm 2)을 사용하고, 필요 시 Zhu의 데이터 구조를 활용해 첫 번째 차수 논리식을 상수 시간에 평가한다.

결과적으로, 이 논문은 기존에 마이너 폐쇄 클래스에만 적용되던 상수 배 근사 결과를 bounded expansion이라는 보다 일반적인 희소 그래프 클래스까지 확장한다. 특히, k=1인 경우에는 arrangeability 가 상수인 모든 그래프(예: 플래너, 토포로지컬 마이너 폐쇄 클래스 등)에도 적용 가능함을 보여, 지배수 근사에 대한 이론적 한계를 크게 넓혔다.