[논문 리뷰] Fully-Dynamic Graph Sparsifiers Against an Adaptive Adversary

Aaron Bernstein, Jan van den Brand외 5명|arXiv (Cornell University)|2020. 04. 17.

Complexity and Algorithms in Graphs참고 문헌 78인용 수 33

한 줄 요약

이 논문은 적응적 적대자에 대비해 효율적인 완전 동적 그래프 스퍼서피어를 처음으로 제안하며, 폴리로그(n)-스패너, O(k)-근사 컷 스퍼서피어, 폴리로그(n)-근사 스펙트럴 스퍼서피어에 대해 모두 폴리로그(n)의 평균 갱신 시간을 달성하고, 거의 선형 크기로 유지한다. 이 접근법은 두 가지 새로운 기법에 기반한다: 간선 삭제 상황에서 거의 균일한 차수를 갖는 확산자(확산성)를 유지하기 위한 블랙박스 감소 기법과, 적대자에 의해 적응적으로 반응하는 상황에서도 그래프의 구조를 유지하기 위한 사전 재표본 추출 기법이다. 이는 동적 그래프 알고리즘 분야의 열린 문제를 해결하고, 최소비용 흐름 및 관련 문제에 대해 거의 선형 시간 알고리즘을 가능하게 한다.

ABSTRACT

Designing dynamic graph algorithms against an adaptive adversary is a major goal in the field of dynamic graph algorithms. While a few such algorithms are known for spanning trees, matchings, and single-source shortest paths, very little was known for an important primitive like graph sparsifiers. The challenge is how to approximately preserve so much information about the graph (e.g., all-pairs distances and all cuts) without revealing the algorithms' underlying randomness to the adaptive adversary. In this paper we present the first non-trivial efficient adaptive algorithms for maintaining spanners and cut sparisifers. These algorithms in turn imply improvements over existing algorithms for other problems. Our first algorithm maintains a polylog$(n)$-spanner of size $ ilde O(n)$ in polylog$(n)$ amortized update time. The second algorithm maintains an $O(k)$-approximate cut sparsifier of size $ ilde O(n)$ in $ ilde O(n^{1/k})$ amortized update time, for any $k\ge1$, which is polylog$(n)$ time when $k=\log(n)$. The third algorithm maintains a polylog$(n)$-approximate spectral sparsifier in polylog$(n)$ amortized update time. The amortized update time of both algorithms can be made worst-case by paying some sub-polynomial factors. Prior to our result, there were near-optimal algorithms against oblivious adversaries (e.g. Baswana et al. [TALG'12] and Abraham et al. [FOCS'16]), but the only non-trivial adaptive dynamic algorithm requires $O(n)$ amortized update time to maintain $3$- and $5$-spanner of size $O(n^{1+1/2})$ and $O(n^{1+1/3})$, respectively [Ausiello et al. ESA'05]. Our results are based on two novel techniques. The first technique, is a generic black-box reduction that allows us to assume that the graph undergoes only edge deletions and, more importantly, remains an expander with almost-uniform degree. The second technique we call proactive resampling. [...]

연구 동기 및 목표

• 적대자(알고리즘의 난수를 관찰하고 반응할 수 있음)에 대비해도 정확성이 유지되는 첫 번째 효율적인 동적 그래프 스퍼서피어를 설계하는 것.
• 동적 그래프 알고리즘 분야의 열린 문제를 해결하는 것 — 특히 적응적 스패너 및 컷 스퍼서피어 구축 문제를 해결하고, 감소형 단일 소스 최단 경로 문제를 향상시키는 것.
• 적대자가 알고리즘의 난수 비트를 제어하는 상황에서도 그래프의 구조를 유지할 수 있는 기법을 개발하는 것.
• 정적 문제(예: 최소비용 단위용량 흐름 및 혼잡도 최소화)에 대해 거의 선형 시간 알고리즘을 동적 스퍼서피어를 서브루틴으로 사용해 실현하는 것.
• 이전의 동적 스펙트럴 스퍼서피어 결과를 비-평균화(De-amortization)하고, 적응적 환경으로까지 확장하는 것.

제안 방법

• 간선 삭제 상황에서 거의 균일한 차수를 갖는 확산자(확산성)를 유지하기 위한 블랙박스 감소 기법을 도입하여, 핵심적인 구조적 성질을 보존하는 것.
• 과거의 난수에 적응하는 적대자 상황에서도 원하는 성질을 유지하기 위해 지속적으로 그래프의 일부를 재표본 추출하는 사전 재표본 추출 기법을 개발하는 것.
• 차수 균일성 조건을 포함한 동적 확산자 분해를 사용하여 간선 삭제 상황에서도 확산자를 유지하고, 스퍼서피어의 효율적 유지 가능성을 확보하는 것.
• 감소된 그래프가 저지름, 고확산성 구조를 유지하도록 보장함으로써, 동적 그래프에서 스퍼서피어를 유지하기 위해 감소 기법을 적용하는 것.
• 랜덤 샘플링과 간선 가중치 기반의 스펙트럴 및 컷 스퍼서피어 구축 기법을 사용하고, 사전 재표본 추출을 통해 적응적 내성(Resilience)을 확보하는 것.
• 최악의 갱신 시간 프레임워크를 사용하여 결과를 비-평균화하고, 다항식 이하의 오버헤드만을 지불하는 것.

실험 결과

연구 질문

• RQ1 적대자에 대비해 폴리로그(n)-스패너를 크기 Õ(n)로 유지하면서 폴리로그(n)의 평균 갱신 시간을 확보할 수 있는가?
• RQ2 적대적 갱신 상황에서 크기 Õ(n)의 O(k)-근사 컷 스퍼서피어를 유지하면서 Õ(n1/k)의 평균 갱신 시간을 확보할 수 있는가?
• RQ3 적대자 모델 상에서 폴리로그(n)-근사 스펙트럴 스퍼서피어를 폴리로그(n)의 평균 갱신 시간으로 유지할 수 있는가?
• RQ4 사전 재표본 추출 기법을 사용해 난수 제어를 하는 적대자 상황에서도 그래프의 구조를 유지할 수 있는가?
• RQ5 동적 스퍼서피어를 사용해 정적 문제(예: 최소비용 흐름 및 혼잡도 최소화)에 대해 거의 선형 시간 알고리즘을 달성할 수 있는가?

주요 결과

• 논문은 적대자에 대비해 폴리로그(n)의 평균 갱신 시간을 갖는 첫 번째 완전 동적 스패너 알고리즘을 제안하며, Ahmed 등(2019)이 제기한 열린 문제를 해결한다.
• 적대적 갱신 상황에서 크기 Õ(n)의 O(k)-근사 컷 스퍼서피어를 Õ(n1/k)의 평균 갱신 시간으로 유지하며, 이는 이전 결과를 향상시킨다.
• 적대자가 알고리즘의 난수 비트를 제어하는 상황에서도 폴리로그(n)-근사 스펙트럴 스퍼서피어를 폴리로그(n)의 평균 갱신 시간으로 유지한다.
• 사전 재표본 추출 기법은 적대자에 의한 적응적 반응에도 불구하고 원하는 그래프 구조(예: 확산자)를 유지하며, 의존성 생성 상황에서도 비트라이벌 분석이 가능하다.
• 결과적으로 최소비용 단위용량 흐름을 근사하는 거의 제곱 시간 알고리즘이 유도되며, 이는 이전의 감소 전략보다 향상된다.
• Abraham 등(FOCS’16)의 동적 스펙트럴 스퍼서피어 결과를 비-평균화하여, 다항식 이하의 오버헤드만을 지불하면서도 최악의 갱신 시간을 확보한다.