[논문 리뷰] Optimal decremental connectivity in planar graphs

Jakub Łącki, Piotr Sankowski|arXiv (Cornell University)|2014. 09. 25.

Complexity and Algorithms in Graphs참고 문헌 11인용 수 4

한 줄 요약

이 논문은 평면 그래프에서 감소적 연결성에 대해 최적의 $O(n)$-시간 알고리즘을 제안하며, 일정 시간 내 연결성 질의를 수행한다. 감소적 문제를 재귀적 $r$-분할을 통해 작은 증가적 연결성 문제의 집합으로 환원하고, 매우 작은 그래프($O(\log^2 \log n)$ 정점)의 연결 성분을 사전 계산함으로써, 동적 스패닝 트리 유지를 피하고 총 업데이트 시간을 선형으로 유지하며, 트리의 경우에 알려진 최고의 bound와 일치시킨다.

ABSTRACT

We show an algorithm for dynamic maintenance of connectivity information in an undirected planar graph subject to edge deletions. Our algorithm may answer connectivity queries of the form `Are vertices $u$ and $v$ connected with a path?' in constant time. The queries can be intermixed with any sequence of edge deletions, and the algorithm handles all updates in $O(n)$ time. This results improves over previously known $O(n \log n)$ time algorithm.

연구 동기 및 목표

• 감소적 연결성과 증가적 연결성 간 격차를 해소하기 위해, 이전에는 감소적 연결성이 $O(n\log n)$ 시간이 필요할 것으로 여겨졌기 때문이다.
• 완전 동적 알고리즘에서 이전의 $O(n\log n)$ bound를 개선하여, 평면 그래프에서 간선 삭제에 대해 연결성을 유지하는 선형 시간 알고리즘을 개발하기 위해이다.
• 감소적 연결성이 완전 동적 연결성보다 엄격히 쉬운지, 완전 동적 연결성은 각 연산에 대해 $\Omega(\log n)$ 하한이 존재하므로 이를 입증하기 위해이다.
• 감소적 연결성을 작은 증가적 연결성 인스턴스로 환원하여, 소형 그래프에 대한 효율적 사전 계산을 가능하게 하기 위해이다.

제안 방법

• 알고리즘은 재귀적 $r$-분할을 사용하여 평면 그래프를 크기 $O(\log^2 n)$인 더 작은 부분그래프로 분할하며, 각 수준에서 총 크기가 $O(n)$를 유지한다.
• 감소적 연결성 문제를 총 크기가 $O(n)$인 작은 증가적 그래프들의 집합에서의 연결성 유지 문제로 환원하며, 이러한 경우에 대해 알려진 선형 시간 해법을 활용한다.
• 크기 $t = O(\log^2 \log n)$인 그래프의 경우, 모든 가능한 그래프 상태와 명시적 정점 집합에 대해 모든 가능한 연결 성분 식별자를 사전 계산한다.
• 각 상태는 길이 $O(\log^4 \log n)$인 이진 단어로 인코딩되며, 단일 머신 워드에 맞아 들어가므로 일정 시간 내 상태 전환과 질의가 가능하다.
• 간선 삭제는 상태 단어의 단일 비트를 뒤집음으로써 처리되며, 모든 가능한 간선 삭제에 대해 성분 식별자 갱신을 사전 계산한다.
• 정점 집합 $V_e$의 명시적 연결 성분 식별자를 유지함으로써, 각 정점의 식별자를 $V_e$에 저장함으로써 $O(1)$ 질의 시간을 달성한다.

실험 결과

연구 질문

• RQ1 감소적 연결성의 총 업데이트 시간을 $O(n\log n)$ 이하로 줄일 수 있는가, 증가적 연결성의 최적 bound와 일치시키기 위해?
• RQ2 동적 스패닝 트리 유지 없이 감소적 연결성에 대해 $O(n)$ 총 업데이트 시간을 달성할 수 있는가?
• RQ3 완전 동적 연결성의 각 연산에 대해 $\Omega(\log n)$ 하한이 존재함에도 불구하고, 감소적 연결성의 총 업데이트 시간이 완전 동적 버전보다 작을 수 있는가?
• RQ4 감소적 연결성을 증가적 연결성으로 환원할 수 있는가, 이를 통해 소형 그래프에 대한 사전 계산이 가능해져 최적의 총 시간을 달성할 수 있는가?

주요 결과

• 논문은 평면 그래프에서 모든 간선 삭제 처리에 대해 최적의 $O(n)$ 총 시간을 달성하였으며, 이는 이전의 $O(n\log n)$ bound에 비해 크게 향상된 것이다.
• 연결성 질의는 $O(1)$ 시간 내에 처리되며, 명시적 집합 $V_e$에 속한 정점의 cc-식별자가 명시적으로 유지된다.
• 알고리즘은 총 크기가 $O(n)$로 유지되며, 오직 $O(n)$의 오버헤드만 발생하는 재귀적 $r$-분할 기반 환원을 사용한다.
• 크기 $O(\log^2 \log n)$인 그래프의 모든 가능한 성분 식별자를 사전 계산하는 것은 가능하며, 상태 수가 $2^{O(\log^4 \log n)} = 2^{o(\log n)} = o(n)$ 이므로 $o(n)$ 시간 이내에 수행 가능하다.
• 스패닝 트리 유지가 필요 없어져 삭제 후 대체 간선을 찾는 데 필요한 검색 과정을 제거한다.
• 결과적으로 감소적 연결성이 완전 동적 연결성보다 엄격히 쉬운 것으로 드러났으며, 완전 동적 연결성은 각 연산에 대해 $\Omega(\log n)$ 하한이 존재한다.