한계 확장 그래프에서 거리‑r 지배 집합의 상수‑근사와 연결 버전의 분산 알고리즘

초록

본 논문은 그래프 클래스 중 ‘한계 확장(bounded expansion)’에 속하는 그래프들에 대해 거리‑r 지배 집합(Distance‑r Dominating Set)과 그 연결형(Connected Distance‑r Dominating Set)의 상수‑근사 알고리즘을 제시한다. CONGEST_BC 모델에서 O(r²·log n) 라운드로 반경 2r, 겹침 f(r)인 r‑이웃 커버를 분산적으로 구축하고, 이를 이용해 거리‑r 지배 집합을 상수 배수 근사로 구한다. 또한 LOCAL 모델에서 3r+1 라운드 내에 해당 집합을 연결된 형태로 변환한다. 평면 그래프와 유한 차수의 토러스 그래프 등 구체적인 사례에 대해 기존 알고리즘과 결합하면 상수 라운드 내에 6배 이하의 근사 비율을 보장한다.

상세 분석

본 연구는 한계 확장 그래프 클래스가 갖는 ‘약한 색칠 번호(weak coloring number)’가 반경 r에 대해 일정 함수 f(r) 이하라는 특성을 핵심으로 활용한다. 저자들은 먼저 Nešetřil‑Ossona de Mendez가 제시한 라우팅 스킴을 분산 환경에 맞게 변형하고, Barenboim‑Elkin의 저차원 분산 색칠 기법을 반복 적용해 반경 2r, 겹침 f(r)인 r‑이웃 커버를 O(r²·log n) 라운드 안에 구성한다. 이 커버는 각 정점이 포함된 클러스터 수가 제한적이면서도 클러스터 내부 직경이 작아, 거리‑r 지배 집합을 선택할 때 ‘대표 정점’ 선택을 지역적으로 수행할 수 있게 만든다. 구체적으로, 각 클러스터에서 최소한 하나의 정점을 선택하고, 선택된 정점들의 집합이 전체 그래프를 r‑거리 내에서 지배하도록 보장한다. 이 과정에서 약한 색칠 번호가 제공하는 상수‑배율의 근사 보장을 그대로 유지한다는 점이 핵심이다.

연결된 형태로 변환하는 단계에서는 LOCAL 모델의 무제한 메시지 크기를 이용한다. 선택된 거리‑r 지배 집합 D에 대해, 각 정점 v∈D를 중심으로 반경 r의 BFS 트리를 구축하고, 서로 인접한 트리들을 3r+1 라운드 안에 하나의 연결된 서브그래프로 합친다. 이때 추가되는 정점 수는 상수 배수 c(r)·|D| 이하이며, c(r)은 r과 클래스에만 의존한다. 특히 평면 그래프에 대해 Lenzen 등(2020)의 기존 상수‑근사 지배 집합 알고리즘과 결합하면, 연결된 지배 집합에 대해 6배 이하의 근사 비율을 보장하면서 라운드 수는 상수 수준에 머문다.

이러한 결과는 기존에 알려진 ‘Ω(√log n)’·‘Ω(log Δ)’ 하한을 회피할 수 있는 첫 번째 사례이며, 한계 확장 그래프가 서브그래프 폐쇄성을 유지한다는 점에서 가장 일반적인 희소 그래프 클래스에 적용 가능하다는 점이 의의다. 또한, 분산 환경에서 ‘희소 이웃 커버’를 효율적으로 구축하는 기법은 라우팅, 라벨링, 로컬 검증 등 다른 알고리즘 설계에도 활용될 가능성이 크다.