[논문 리뷰] Dynamic Effective Resistances and Approximate Schur Complement on Separable Graphs

Gramoz Goranci, Monika Henzinger외 1명|arXiv (Cornell University)|2018. 01. 01.

Advanced Graph Theory Research참고 문헌 19인용 수 8

한 줄 요약

이 논문은 √n-분리 가능 그래프에서 (1+ε)-근사 전역 효과적 저항을 유지하는 완전 동적 알고리즘을 제시한다. 이 알고리즘은 최악의 경우 갱신 및 쿼리 시간이 Õ(√n/ε²)이며, 동적 근사 슈어 여집합을 활용하여 종단점 간의 쌍별 저항을 유지함으로써, 분리 가능한 그래프에서 거의 최적의 성능을 달성한다. 또한 OMv 추측을 통한 조건부 하한을 확립한다.

ABSTRACT

We consider the problem of dynamically maintaining (approximate) all-pairs effective resistances in separable graphs, which are those that admit an $n^{c}$-separator theorem for some $c<1$. We give a fully dynamic algorithm that maintains $(1+\varepsilon)$-approximations of the all-pairs effective resistances of an $n$-vertex graph $G$ undergoing edge insertions and deletions with $ ilde{O}(\sqrt{n}/\varepsilon^2)$ worst-case update time and $ ilde{O}(\sqrt{n}/\varepsilon^2)$ worst-case query time, if $G$ is guaranteed to be $\sqrt{n}$-separable (i.e., it is taken from a class satisfying a $\sqrt{n}$-separator theorem) and its separator can be computed in $ ilde{O}(n)$ time. Our algorithm is built upon a dynamic algorithm for maintaining \emph{approximate Schur complement} that approximately preserves pairwise effective resistances among a set of terminals for separable graphs, which might be of independent interest. We complement our result by proving that for any two fixed vertices $s$ and $t$, no incremental or decremental algorithm can maintain the $s-t$ effective resistance for $\sqrt{n}$-separable graphs with worst-case update time $O(n^{1/2-δ})$ and query time $O(n^{1-δ})$ for any $δ>0$, unless the Online Matrix Vector Multiplication (OMv) conjecture is false. We further show that for \emph{general} graphs, no incremental or decremental algorithm can maintain the $s-t$ effective resistance problem with worst-case update time $O(n^{1-δ})$ and query-time $O(n^{2-δ})$ for any $δ>0$, unless the OMv conjecture is false.

연구 동기 및 목표

• √n-분리 정리 조건을 만족하는 그래프에서 (1+ε)-근사 전역 효과적 저항을 유지하는 완전 동적 알고리즘을 설계하는 것.
• 분리 가능한 그래프에서 종단점 집합 간의 쌍별 저항을 유지하는 근사 슈어 여집합을 유지하는 동적 데이터 구조를 개발하는 것.
• 일반 및 √n-분리 가능한 그래프에서 s–t 효과적 저항의 증분 및 감소 설정에서의 갱신 및 쿼리 시간에 대한 엄밀한 조건부 하한을 확립하는 것.
• 평면 및 마이너-자유 그래프와 같은 구조적 그래프 가족에서 정적 효과적 저항 알고리즘과 동적 환경 간의 격차를 메우는 것.

제안 방법

• 알고리즘은 분리 가능한 그래프에서 종단점 집합 간의 효과적 저항을 유지하기 위해 동적 근사 슈어 여집합 구축을 사용한다.
• 근사 오차를 제어하기 위해 저스트레치 스패닝 트리를 유지하고 스펙트럴 스퍼피케이션 기법을 적용한다.
• 효율적인 갱신 및 쿼리 구현을 위해 √n-분리자를 사용한 그래프의 재귀적 분해에 의존한다.
• 종단점과 그 이웃에 의해 유도된 부분그래프에서 라플라시안 행렬의 역행렬을 근사하기 위해 노이만 급수 전개를 적용한다.
• 저항 추정의 안정성을 확보하기 위해 간선 가중치를 동적으로 조정하여 일정한 가중치 차수를 유지한다.
• 갱신 및 쿼리 시간에 대한 조건부 하한을 증명하기 위해 온라인 행렬-벡터(OMv) 문제로의 감소를 사용한다.

실험 결과

연구 질문

• RQ1 (1+ε)-근사 전역 효과적 저항이 √n-분리 가능한 그래프에서 하위선형 갱신 및 쿼리 시간으로 동적으로 유지될 수 있는가?
• RQ2 분리 가능한 그래프에서 종단점 간의 쌍별 저항을 유지하는 근사 슈어 여집합을 유지하는 동적 알고리즘이 존재하는가?
• RQ3 증분 또는 감소 설정에서 s–t 효과적 저항을 유지할 때 갱신 및 쿼리 시간에 대한 조건부 하한은 무엇인가?
• RQ4 OMv 추측을 사용하여 일반 및 분리 가능한 그래프에서 동적 효과적 저항에 대한 엄밀한 난이도 결과를 확립할 수 있는가?

주요 결과

• 논문은 √n-분리 가능한 그래프에서 (1+ε)-근사 전역 효과적 저항을 유지하는 완전 동적 알고리즘을 제시하며, 최악의 경우 갱신 및 쿼리 시간이 Õ(√n/ε²)이다.
• 알고리즘은 종단점 간의 쌍별 저항을 유지하는 동적 근사 슈어 여집합에 기반하며, 이는 별도의 관심사로도 간주될 수 있다.
• √n-분리 가능한 그래프에서는, 어떤 δ > 0에 대해서도 O(n^{1/2−δ}) 갱신 및 O(n^{1−δ}) 쿼리 시간으로 s–t 효과적 저항을 유지할 수 있는 증분 또는 감소 알고리즘이 존재하지 않으며, 이는 OMv 추측이 참이 아닐 경우에 한한다.
• 일반 그래프의 경우, 어떤 δ > 0에 대해서도 O(n^{1−δ}) 갱신 및 O(n^{2−δ}) 쿼리 시간으로 s–t 효과적 저항을 유지할 수 있는 증분 또는 감소 알고리즘이 존재하지 않으며, 이 역시 OMv 추측이 참이 아닐 경우에 한한다.
• uMv 문제에서 효과적 저항으로의 감소는 알고리즘 성능이 OMv 추측 하에 거의 최적임을 보여준다.
• 분석 결과, 라플라시안 역행렬의 노이만 급수 전개의 첫 네 항이 효과적 저항 추정에 지배적인 영향을 미치며, 이는 고정밀도 근사에 기여한다.