[논문 리뷰] Fast Dynamic Cuts, Distances and Effective Resistances via Vertex Sparsifiers

Li Chen, Gramoz Goranci외 3명|arXiv (Cornell University)|2020. 05. 05.

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

한 줄 요약

이 논문은 정점 스퍼서피어를 사용하여 무방향 그래프에서 효율적인 동적 근사 알고리즘을 설계하기 위한 일반적 프레임워크를 제안한다. j-트리와 스펙트럴 스퍼서피어의 계층적 구성 방식을 활용하여, 동적 전쌍 최대 유량, 최단 경로, 효과적 저항에 대해 하한선을 초과하는 업데이트 및 쿼리 시간을 달성하며, 근사 비율은 거의 최적에 가까우며 그래프 크기와 오차 파라미터에 대한 의존성도 향상된다.

ABSTRACT

We present a general framework of designing efficient dynamic approximate algorithms for optimization on undirected graphs. In particular, we develop a technique that, given any problem that admits a certain notion of vertex sparsifiers, gives data structures that maintain approximate solutions in sub-linear update and query time. We illustrate the applicability of our paradigm to the following problems. (1) A fully-dynamic algorithm that approximates all-pair maximum-flows/minimum-cuts up to a nearly logarithmic factor in $ ilde{O}(n^{2/3})$ amortized time against an oblivious adversary, and $ ilde{O}(m^{3/4})$ time against an adaptive adversary. (2) An incremental data structure that maintains $O(1)$-approximate shortest path in $n^{o(1)}$ time per operation, as well as fully dynamic approximate all-pair shortest path and transshipment in $ ilde{O}(n^{2/3+o(1)})$ amortized time per operation. (3) A fully-dynamic algorithm that approximates all-pair effective resistance up to an $(1+ε)$ factor in $ ilde{O}(n^{2/3+o(1)} ε^{-O(1)})$ amortized update time per operation. The key tool behind result (1) is the dynamic maintenance of an algorithmic construction due to Madry [FOCS' 10], which partitions a graph into a collection of simpler graph structures (known as j-trees) and approximately captures the cut-flow and metric structure of the graph. The $O(1)$-approximation guarantee of (2) is by adapting the distance oracles by [Thorup-Zwick JACM `05]. Result (3) is obtained by invoking the random-walk based spectral vertex sparsifier by [Durfee et al. STOC `19] in a hierarchical manner, while carefully keeping track of the recourse among levels in the hierarchy.

연구 동기 및 목표

• 정적 및 동적 그래프 알고리즘 간의 성능 격차를 좁히기 위해 근사 해를 효율적으로 동적으로 유지할 수 있도록 하는 것.
• 하한선을 초과하는 업데이트 및 쿼리 시간 동안 근사 유량, 거리, 효과적 저항을 동적으로 유지하는 데 도전하는 것.
• 다양한 그래프 최적화 문제로 일반화 가능한 정점 스퍼서피어 기반 통합 프레임워크를 개발하는 것.
• 가장 잘 알려진 정적 오라클의 근사 비율을 유지하면서도 동적 업데이트 효율성을 크게 향상시키는 것.

제안 방법

• 프레임워크는 동적 그래프 문제를 정점 스퍼서피어를 위한 데이터 구조 유지 문제로 환원하며, 특히 자르기 및 메트릭 구조를 포괄하는 j-트리 분해를 사용한다.
• 최대 유량 및 최소 컷의 경우, 스트레치가 유한한 j-트리로 그래프를 분해하는 Madry(FOCS'10)의 동적 구성 방식을 유지한다.
• 최단 경로의 경우, Thorup-Zwick 거리 오라클을 증분 설정으로 적응시켜 O(1)-근사 비율을 달성하며, n^{o(1)}의 업데이트 시간을 확보한다.
• 효과적 저항의 경우, Durfee 등이 제안한 스펙트럴 정점 스퍼서피어를 계층적으로 적용하고, 각 레벨 간의 복귀 추적을 신중히 수행한다.
• 스트레치가 유한한 스퍼서피어의 볼록 조합을 유지하기 위해 잠재 함수와 lmax 함수를 통한 반복적 강화 기법을 사용한다.
• 각 단계에서 lmax 함수의 편미분을 기반으로 한 그레디 업데이트 규칙을 사용하여 스퍼서피어 구성 요소의 선택을 이끌어낸다.

실험 결과

연구 질문

• RQ1 정점 스퍼서피어를 사용하여 무방향 그래프 최적화 문제에 대한 동적 근사 알고리즘을 설계하기 위한 일반적 프레임워크를 개발할 수 있는가?
• RQ2 동적 전쌍 최대 유량/최소 컷에 대해 근사 비율과 업데이트 시간 사이의 최적 트레이드오프는 무엇인가?
• RQ3 증분적 설정에서 동적 최단 경로 및 트랜스셔프먼트 문제를 하우프다이나믹 시간 내에 유지하면서도 상수 요소 근사 비율을 유지할 수 있는가?
• RQ4 효과적 저항을 (1+ε)-근사 비율로 동적으로 유지하면서 거의 최적의 업데이트 시간을 확보할 수 있는가?
• RQ5 프레임워크를 적응형 적대자에 대응하도록 확장할 수 있으며, 이때도 하한선을 초과하는 업데이트 시간을 유지할 수 있는가?

주요 결과

• 논문은 무차별적 적대자에 대해 O(log n log log n) 요소의 전쌍 최대 유량/최소 컷 근사 비율을 달성하며, Õ(n^{2/3+o(1)})의 평균 업데이트 시간을 확보한다.
• 적응형 적대자에 대해서는 업데이트 시간이 Õ(m^{3/4})로 증가하지만 여전히 하한선을 초과하며, 동일한 근사 비율을 유지한다.
• 증분적 전쌍 최단 경로 데이터 구조는 각 연산당 n^{o(1)} 시간 내에 O(1)-근사 비율을 제공하며, 이는 이전의 동적 최단 경로 경계를 향상시킨다.
• 완전 동적 효과적 저항 알고리즘은 (1+ε)-근사 비율을 Õ(n^{2/3+o(1)}ε^{-O(1)})의 평균 업데이트 시간 내에 달성하며, 이는 이전의 Õ(n^{5/6}ε^{-6}) 경계를 향상시킨다.
• 프레임워크는 정적 오라클의 가장 잘 알려진 근사 비율—무차별적 라우팅, 거리 오라클, 정적 효과적 저항 계산—을 그대로 유지하면서도 하한선을 초과하는 동적 업데이트 시간을 달성한다.
• 이 방법은 일반적이며, 적절한 정점 스퍼서피어를 스트레치와 복귀가 제한된 상태로 유지하는 문제로 환원함으로써 여러 문제에 적용 가능하다.