[논문 리뷰] Popular conjectures imply strong lower bounds for dynamic problems

Amir Abboud, Virginia Vassilevska Williams|arXiv (Cornell University)|2014. 02. 01.

Advanced Graph Theory Research참고 문헌 92인용 수 45

한 줄 요약

이 논문은 미세 복잡도 이론의 다섯 가지 주요 추측과 연결하여, 다양한 동적 그래프 및 데이터 구조 문제에 대해 강력한 조건부 하한을 설정한다. 단일 소스 간선성, 이분 매칭, 강하게 연결된 성분 등의 문제에 대해 동적 알고리즘에서의 중대한 향상은 3SUM, APSP, SAT 등의 오랜 동안 미해결인 문제들에 대한 돌풍 같은 돌파구를 암시할 것이며, 이는 널리 신뢰되는 추측들에 기반한다.

ABSTRACT

We consider several well-studied problems in dynamic algorithms and prove that sufficient progress on any of them would imply a breakthrough on one of five major open problems in the theory of algorithms: 1. Is the 3SUM problem on $n$ numbers in $O(n^{2-ε})$ time for some $ε>0$? 2. Can one determine the satisfiability of a CNF formula on $n$ variables in $O((2-ε)^n poly n)$ time for some $ε>0$? 3. Is the All Pairs Shortest Paths problem for graphs on $n$ vertices in $O(n^{3-ε})$ time for some $ε>0$? 4. Is there a linear time algorithm that detects whether a given graph contains a triangle? 5. Is there an $O(n^{3-ε})$ time combinatorial algorithm for $n imes n$ Boolean matrix multiplication? The problems we consider include dynamic versions of bipartite perfect matching, bipartite maximum weight matching, single source reachability, single source shortest paths, strong connectivity, subgraph connectivity, diameter approximation and some nongraph problems such as Pagh's problem defined in a recent paper by Patrascu [STOC 2010].

연구 동기 및 목표

• 미세 복잡도 이론에서 잘 알려진 추측들에 기반하여 동적 그래프 및 데이터 구조 문제에 대한 조건부 하한을 설정하는 것.
• 핵심 동적 문제에서의 진전이 3SUM, APSP, 부울 행렬 곱셈과 같은 기본 알고리즘 문제에서의 중대한 발전을 암시할 수 있음을 보여주는 것.
• SETH 및 강력한 지수 시간 가설과 같은 여러 핵심 추측들과 연결하여 이전의 조건부 하한 결과들을 통합하고 확장하는 것.
• 랜덤화된 완전 동적 알고리즘이 조건부 하한을 위반하지 않는 한, 업데이트 또는 쿼리 시간을 크게 향상시킬 수 없다는 것을 보여주는 것.
• 업데이트 복잡도에 로그적 오버헤드만 추가되는 부분 동적 설정(증분 및 감소)으로 결과를 확장하는 것.

제안 방법

• 조합적 구성과 그래프 변환을 사용하여 알려진 어려운 문제들(예: 삼각형 탐지, 부분그래프 연결성)을 동적 문제로 감소시킨다.
• 다섯 가지 핵심 추측: 3SUM, APSP, SETH, 삼각형 탐지, 조합적 부울 행렬 곱셈에 기반한 조건부 하한 프레임워크를 사용한다.
• α ∈ [1/6, 1/3] 인 매개변수 α를 사용한 파라미터화된 분석을 통해 업데이트 시간, 쿼리 시간, 사전처리 시간 간의 트레이드오프를 유도한다.
• 업데이트 복잡도에 로그적 오버헤드만 추가되는 방식으로 증분 또는 감소 업데이트를 통해 동적 연산을 시뮬레이션하는 감소 기법을 적용하여 부분 동적 알고리즘에 대한 결과를 도출한다.
• 정적 문제(예: 3SUM, 삼각형 탐지)에 대한 알려진 하한을 사용하여 시뮬레이션과 감소를 통해 동적 동반자에 대한 하한을 도출한다.
• 각 추측 하에서 업데이트, 쿼리, 사전처리 시간 간의 트레이드오프를 형식화하기 위해 레이마 기반 접근법(예: 레이마 10.4, 10.5)을 사용한다.

실험 결과

연구 질문

• RQ1 3SUM 추측을 위반하지 않고 단일 소스 간선성에 대한 동적 알고리즘이 다항식 이하의 업데이트 또는 쿼리 시간을 달성할 수 있는가?
• RQ2 이분 매칭에 대한 빠른 동적 알고리즘이 그래프에서 삼각형을 탐지하는 데 더 빠른 알고리즘을 암시하는가?
• RQ3 강하게 연결된 성분에 대한 완전 동적 알고리즘이 업데이트당 O(n^1.5)보다 훨씬 빠르게 작동할 수 있는가? 그렇지 않다면 APSP 추측을 위반하게 된다.
• RQ4 부분그래프 연결성에 대한 동적 알고리즘이 3SUM 추측을 위반하지 않고 거의 선형 시간 내에 업데이트를 수행할 수 있는가?
• RQ5 Pagh의 문제에 대해 선형 시간 동적 알고리즘이 존재한다면, 이는 부울 행렬 곱셈 또는 SAT 문제에서 돌파구를 이끌어내는가?

주요 결과

• α ∈ [1/6, 1/3] 일 때, 업데이트 시간이 o(m^α)이고 쿼리 시간이 o(m^(2/3−α))인 완전 동적 알고리즘은 3SUM 추측을 위반하게 된다.
• 동적 이분 완전 매칭 문제의 경우 동일한 트레이드오프가 적용되며, 다항식 이하의 향상은 3SUM 추측을 위반하게 된다.
• 강하게 연결된 성분에 대한 동적 알고리즘에서 업데이트 시간이 o(m^α)이고 쿼리 시간이 o(m^(2/3−α))라면, 이 역시 3SUM 추측을 위반하게 된다.
• 동일한 하한은 부분 동적 알고리즘(증분 및 감소)에도 적용되며, 업데이트 복잡도에 로그적 오버헤드만 추가된다.
• 직경 근사 및 Pagh의 문제와 같은 문제들로 결과가 확장되며, 이들 문제에서의 진전은 3SUM 또는 삼각형 탐지 문제에서의 돌파구를 암시한다.
• 논문은 강력한 지수 시간 가설(SETH)과 동적 알고리즘 간의 첫 번째 연결 고리를 설정하였으며, 특정 문제에 대해 빠른 동적 알고리즘이 더 빠른 SAT 알고리즘을 암시할 수 있음을 보여준다.