[논문 리뷰] Fully Dynamic c-Edge Connectivity in Subpolynomial Time.

Wenyu Jin, Xiaorui Sun|arXiv (Cornell University)|2020. 04. 16.

Complexity and Algorithms in Graphs참고 문헌 48인용 수 12

한 줄 요약

이 논문은 $c$-edge 연결성에 대해 $n^{o(1)}$ 최악의 경우 업데이트 및 쿼리 시간을 갖는 결정적 완전 동적 알고리즘을 제시한다. 이는 $c = (\text{log } n)^{o(1)}$ 인 모든 $c$ 에 대해 성립하며, 다중 수준 $c$-edge 연결성 희소화 기법, 온라인-배치 업데이트 기법, 그리고 최악의 경우 효율성을 확보하기 위한 일반적인 변환 기법을 사용한다. 주요 기여는 다항식을 초월하는 최악의 경우 업데이트 시간을 달성하여 이전의 $c$-edge 연결성에 대한 경계를 뛰어넘는 것이다.

ABSTRACT

We present a deterministic fully dynamic algorithm for $c$-edge connectivity problem with $n^{o(1)}$ worst case update and query time for any positive integer $c = (\log n)^{o(1)}$ for a graph with $n$ vertices. Previously, only polylogarithmic, $O(\sqrt{n})$, and $O(n^{2/3})$ worst case update time algorithms were known for fully dynamic $1$, $2$ and $3$-edge connectivity problems respectively. Our techniques include a multi-level $c$-edge connectivity sparsifier, an online-batch update algorithm for the sparsifier, and a general approach to turn an online-batch dynamic algorithm with small amortized update time into a fully dynamic algorithm with worst case update time.

연구 동기 및 목표

• 완전 동적 $c$-edge 연결성에서 다항식을 초월하는 최악의 경우 업데이트 시간을 확보하는 데 오랫동안 해결되지 않은 과제를 해결하기 위해.
• 이전 결과가 $c=1,2,3$ 에 국한되어 있고, 다항로그 또는 $O(n^{2/3})$ 업데이트 시간을 갖는 데서 벗어나기 위해.
• 작은 평균 업데이트 비용을 갖는 온라인-배치 동적 알고리즘을 최악의 경우 보장을 갖는 완전 동적 알고리즘으로 변환하는 일반적인 프레임워크를 설계하기 위해.
• 희소 연결성 임계값 $c$ 가 $n$ 과 함께 느리게 증가할 때도 간선 삽입 및 삭제 상황에서 효율적인 동적 연결성을 지원하기 위해.

제안 방법

• 그래프의 복잡성을 줄이면서도 $c$-edge 연결성 성질을 유지하는 다중 수준 $c$-edge 연결성 희소화 기법을 설계하기 위해.
• 동적 간선 변화 상황에서 희소화 기법을 효율적으로 유지하기 위한 온라인-배치 업데이트 알고리즘을 개발하기 위해.
• 작은 평균 업데이트 비용을 갖는 온라인-배치 동적 알고리즘을 최악의 경우 업데이트 시간 보장을 갖는 완전 동적 알고리즘으로 변환하는 일반적인 변환 기법을 도입하기 위해.
• 희소화 기법을 사용해 문제 크기를 줄이고, 변환 기법을 적용하여 $n^{o(1)}$ 최악의 경우 업데이트 시간을 달성하기 위해.
• $c = (\log n)^{o(1)}$ 의 구조를 활용해 희소화 기법이 작고, 다항식 이하의 시간 내에 유지 가능하도록 보장하기 위해.
• 희소화 기법과 최악의 경우 업데이트 메커니즘을 결합하여 모든 업데이트 시퀀스 상에서 성능 한계를 보장하기 위해.

실험 결과

연구 질문

• RQ1 다양한 $c = (\log n)^{o(1)}$ 에 대해 완전 동적 $c$-edge 연결성을 다항식 이하의 최악의 경우 업데이트 시간으로 유지할 수 있는가?
• RQ2 작은 평균 업데이트 비용을 갖는 온라인-배치 동적 알고리즘에서 최악의 경우 업데이트 시간을 갖는 완전 동적 알고리즘으로의 일반적인 변환을 설계할 수 있는가?
• RQ3 다중 수준 희소화 기법은 어떻게 구성하고 효율적으로 유지할 수 있으며, 동적 업데이트 상황에서도 $c$-edge 연결성을 유지할 수 있는가?
• RQ4 희소화 기법의 크기와 업데이트 효율성 사이의 상호 교환 관계는 무엇인가?
• RQ5 이 프레임워크는 작은 상수 값 이외의 $c$-edge 연결성으로도 확장 가능할 수 있는가?

주요 결과

• 알고리즘은 $c = (\log n)^{o(1)}$ 인 경우 $n^{o(1)}$ 최악의 경우 업데이트 및 쿼리 시간을 달성하여 이전의 경계를 크게 향상시킨다.
• 제안된 다중 수준 $c$-edge 연결성 희소화 기법은 다항식 이하의 오버헤드로 연결성 임계값을 효율적으로 동적 유지할 수 있도록 한다.
• 온라인-배치 업데이트 기법은 희소화 기법을 배치 단위로 효율적으로 업데이트하여 단위 업데이트 비용을 최소화한다.
• 평균에서 최악의 경우로의 업데이트 시간 변환 기법은 효과적이며, 다양한 종류의 동적 알고리즘에 적용 가능하다.
• 프레임워크는 $c=1,2,3$ 를 넘어서 확장되어 증가하는 $c$ 에 대해 다항식 이하의 업데이트 시간을 제공한다.
• 결과적으로 완전 동적 $c$-edge 연결성이 $c$ 가 $n$ 과 함께 느리게 증가함에도 불구하고 효율적으로 유지될 수 있음을 보여주며, 동적 그래프 알고리즘 분야에서 오랫동안 남아있던 격차를 메웠다.