[논문 리뷰] Dominating Sets and Connected Dominating Sets in Dynamic Graphs

Niklas Hjuler, Giuseppe F. Italiano외 2명|arXiv (Cornell University)|2019. 01. 28.

Advanced Graph Theory Research인용 수 6

한 줄 요약

이 논문은 간선 삽입 및 삭제가 발생하는 그래프에서 근사 최소 지배 집합(MDS)과 최소 연결 지배 집합(MCDS)을 유지하기 위한 최초의 효율적인 동적 알고리즘을 제시한다. 각 업데이트당 $O(\Delta \cdot \text{polylog}~{}n)$의 평균 시간 복잡도로 $O(\log n)$-근사 해를 달성하며, 동적 MIS 알고리즘의 최고 수준의 복잡도를 달성한다. 또한 최소 지배 집합을 유지하기 위한 결정론적 $O(\sqrt{m})$-시간 알고리즘을 제시한다.

ABSTRACT

In this paper we study the dynamic versions of two basic graph problems: Minimum Dominating Set and its variant Minimum Connected Dominating Set. For those two problems, we present algorithms that maintain a solution under edge insertions and edge deletions in time $O(Δ\cdot ext{polylog}~n)$ per update, where $Δ$ is the maximum vertex degree in the graph. In both cases, we achieve an approximation ratio of $O(\log n)$, which is optimal up to a constant factor (under the assumption that $P e NP$). Although those two problems have been widely studied in the static and in the distributed settings, to the best of our knowledge we are the first to present efficient algorithms in the dynamic setting. As a further application of our approach, we also present an algorithm that maintains a Minimal Dominating Set in $O(min(Δ, \sqrt{m}))$ per update.

연구 동기 및 목표

• 최소 지배 집합(MDS)과 최소 연결 지배 집합(MCDS)에 대한 효율적인 동적 알고리즘이 부족한 상황에도 불구하고, 네트워킹 및 분산 시스템에서 널리 사용되고 있음에도 불구하고 이를 해결하고자 한다.
• 정적 설정과 동적 설정 간 격차를 해소하기 위해, 증명 가능한 근사 보장을 갖춘 MDS 및 MCDS에 대한 첫 번째 완전 동적 알고리즘을 제공하고자 한다.
• 최고 수준의 동적 MIS 알고리즘과 경쟁 가능한 업데이트 시간을 달성하고자 하며, 특히 평균 시간 복잡도에서 $O(\Delta)$의 복잡도를 달성하고자 한다.
• 최소 지배 집합을 유지하기 위한 결정론적 $O(\sqrt{m})$-시간 알고리즘을 제시하여, 이전의 $O(m^{2/3})$ 복잡도보다 향상된 성능을 달성하고자 한다.

제안 방법

• 지배 집합 $\mathcal{D}$ 를 유지하기 위해 보조 데이터 구조를 사용한다: $N_{\mathcal{D}}(u)$ 는 $u$ 를 지배하는 $\mathcal{D}$ 내의 정점 집합이며, $\text{OnlyBy}(v)$ 는 오직 $v$ 에 의해 지배되는 정점 집합이다.
• 간선 삽입 또는 삭제가 발생할 경우, 지배 관계의 변화를 반영하기 위해 $N_{\mathcal{D}}(u)$ 와 $\text{OnlyBy}(v)$ 를 동적으로 갱신한다.
• 예산 할당 기법을 사용한다: 정점 $v$ 가 $\mathcal{D}$ 에 추가될 때, $\text{deg}(v)$ 의 예산을 할당하여 향후 제거 비용을 평균화한다.
• 정점 삽입 시, 가능한 한 낮은 차수(최대 $\sqrt{m}$ 이하)를 가진 이웃 정점 중에서 선택함으로써 업데이트 비용을 $O(\min(\Delta, \sqrt{m}))$ 로 감소시킨다.
• 간선 삭제 시, $\mathcal{D}$ 내의 정점 $v$ 가 마지막 지배자를 失하는 경우, 새로운 지배자가 발견된 경우에만 $\mathcal{D}$ 에서 제거되며, 이는 저차수 이웃 정점을 $\mathcal{D}$ 에 추가함으로써 수행된다.
• 알고리즘은 각 업데이트 후에도 $\mathcal{D}$ 가 유효한 지배 집합을 유지하며, MDS의 경우 근사 비율이 $O(\log n)$ 이고, MCDS의 경우 연결성이 유지된다.

실험 결과

연구 질문

• RQ1 간선 업데이트가 발생하는 상황에서, 최소 지배 집합 문제에 대해 $O(\log n)$-근사 해를 효율적으로 유지할 수 있는 동적 알고리즘이 존재하는가?
• RQ2 다이나믹 그래프에서 연결 지배 집합을 다이나믹하게 유지할 수 있으며, 다항로그 시간 복잡도와 양호한 근사 비율을 확보할 수 있는가?
• RQ3 최소 지배 집합을 $O(\sqrt{m})$ 시간 내에 결정론적으로 유지할 수 있으며, 이는 이전의 $O(m^{2/3})$ 복잡도를 향상시키는가?
• RQ4 로컬 데이터 구조와 평균 분석을 통해 지배 관계의 동적 유지가 어떻게 효율적으로 추적될 수 있는가?

주요 결과

• 논문은 각 업데이트당 $O(\Delta \cdot \text{polylog}~{}n)$ 평균 시간 복잡도로 $O(\log n)$-근사 해를 유지하는 최소 지배 집합(MDS)에 대한 동적 알고리즘을 제시한다.
• 최소 연결 지배 집합(MCDS)의 경우, 동일한 $O(\log n)$-근사 비율과 동일한 업데이트 시간 복잡도를 유지한다.
• 최소 지배 집합을 유지하기 위한 결정론적 알고리즘은 각 업데이트당 $O(\sqrt{m})$ 평균 시간 복잡도로 실행되며, 이는 이전의 $O(m^{2/3})$ 복잡도를 향상시킨다.
• 정점 제거 비용을 $\mathcal{D}$ 에 포함된 동안 추가된 간선에 걸쳐 평균화하는 예산 할당 기법을 사용한다.
• 삽입 시 저차수 정점 선택 전략을 활용하여 업데이트 비용을 제한함으로써, 정점 추가에 대해 $O(\min(\Delta, \sqrt{m}))$ 시간을 확보한다.
• 결과적으로 이는 MDS 및 MCDS에 대해 동적 환경에서 이러한 복잡도를 달성한 최초의 결과이며, 동적 MIS 알고리즘의 최고 수준의 복잡도를 그대로 따라간다.