[논문 리뷰] Improved Algorithms for Fully Dynamic Maximal Independent Set

Yuhao Du, Hengjie Zhang|arXiv (Cornell University)|2018. 04. 24.

Advanced Graph Theory Research인용 수 12

한 줄 요약

이 논문은 완전 동적 최대 독립 집합(MIS)에 대한 두 가지 개선된 알고리즘을 제안한다: $O(m^{2/3}\theta\text{log}^{1/2}m)$의 평균 갱신 시간을 가지는 결정론적 알고리즘과 $O(\sqrt{m}\text{log}^{1.5}m)$의 기대 평균 갱신 시간을 가지는 확률적 알고리즘. 이 접근법은 고도의 정점이 충분한 MIS 이웃을 가지도록 보장하는 '좋은-MIS' 구조를 사용하여, 도수 기반 샘플링과 확률적 정점 순서를 통해 효율적인 재구성과 유지보수를 가능하게 한다.

ABSTRACT

Maintaining maximal independent set in dynamic graph is a fundamental open problem in graph theory and the first sublinear time deterministic algorithm was came up by Assadi, Onak, Schieber and Solomon(STOC'18), which achieves $O(m^{3/4})$ amortized update time. We have two main contributions in this paper. We present a new simple deterministic algorithm with $O(m^{2/3}\sqrt{\log m})$ amortized update time, which improves the previous best result. And we also present the first randomized algorithm with expected $O(\sqrt{m}\log^{1.5}m)$ amortized time against an oblivious adversary.

연구 동기 및 목표

• 완전 동적 최대 독립 집합(MIS)에 대해 비선형 결정론적 갱신 시간을 달성하는 열린 문제를 해결하기 위해.
• 이전까지의 최선의 결정론적 상한인 $O(m^{3/4})$의 평균 갱신 시간을 초월하기 위해.
• 완전 동적 MIS에 대해 $\sqrt{m}$ 이하의 기대 평균 갱신 시간을 가지는 첫 번째 확률적 알고리즘을 설계하기 위해.
• 동적 갱신 하에서 MIS를 유지하는 데 있어 어려움을 분석하고, 특히 MIS 카운터의 필요성에 대해 고려하기 위해.

제안 방법

• 모든 고도의 정점이 MIS에 적어도 $m^{1/3}+1$개의 이웃을 가지는 '좋은-MIS' 구조를 도입하여, 간선 갱신에 대한 강건성을 확보한다.
• 높은 이웃 수 대비 남은 고도 정점 비율을 우선순위로 삼는 유사 그리디 결정론적 알고리즘을 사용해 좋은-MIS를 구성한다.
• 모든 $\lceil m^{1/3}\rceil$개의 간선 갱신 이후에 MIS를 주기적으로 재구성하여 효율성과 정확성을 유지한다.
• 확률적 변형에서는 정점의 무작위 순서를 사용하여 고도의 정점들이 MIS에 포함되는 것을 확률적으로 방지함으로써 갱신 비용을 감소시킨다.
• 잠재 함수를 적용하여 간선 삽입 및 삭제에 의해 발생하는 잠재력 증가 총합을 근사한다.
• OMv 가설을 활용하여, 무작위 대상자에 대해 정확한 MIS 카운터를 유지하는 것은 $\Omega(\sqrt{m})$의 평균 하한을 유발함을 보여준다.

실험 결과

연구 질문

• RQ1 결정론적 완전 동적 MIS 알고리즘이 $o(m^{3/4})$의 평균 갱신 시간을 달성할 수 있는가?
• RQ2 기대 갱신 시간이 $O(\sqrt{m})$ 이하인 완전 동적 MIS에 대한 확률적 알고리즘을 설계할 수 있는가?
• RQ3 MIS 카운터는 동적 MIS를 유지하는 데 어떤 역할을 하는가? 그리고 이 바riers를 뛰어넘기 위해 카운터를 피할 수 있는가?
• RQ4 OMv 가설을 사용하여 동적 MIS 알고리즘의 조건부 하한을 설정할 수 있는가?

주요 결과

• 논문은 완전 동적 MIS에 대해 $O(m^{2/3}\sqrt{\log m})$의 결정론적 평균 갱신 시간을 달성하여 이전의 $O(m^{3/4})$ 상한을 향상시켰다.
• 무작위 대상자에 대해 $O(\sqrt{m}\text{log}^{1.5}m)$의 기대 평균 갱신 시간을 가지는 새로운 확률적 알고리즘이 제안되었다.
• 확률적 알고리즘에서 도수 $d(u)$를 가진 정점 $u$가 MIS에 포함될 확률은 $O(m\log^3m / d(u)^2)$ 이하로 제한되며, 이는 낮은 기대 비용을 가능하게 한다.
• 분석 결과, $\sqrt{m}$개의 간선 갱신 동안 잠재력의 기대 총 증가는 $O(m\log^{1.5}m)$ 이하임을 보여주며, 이는 평균 상한을 뒷받침한다.
• 조건부 하한이 확립되었으며, 어떤 알고리즘이도 정점의 MIS에 영구 유지하도록 강제하는 경우, OMv 가설이 참이 아닐 경우 $O(m^{1/2-\epsilon})$의 평균 갱신 시간을 달성할 수 없다.
• 논문은 무작위 대상자 하에서 정확한 MIS 카운터를 유지하는 데 $\Omega(\sqrt{m})$의 평균 비용이 발생함을 보여주며, 이 바riers를 뛰어넘기 위해서는 부분적 또는 근사적 카운터가 필요하다는 것을 시사한다.