[논문 리뷰] Multivariate Analysis of Orthogonal Range Searching and Graph Distances

Karl Bringmann, Thore Husfeldt외 1명|arXiv (Cornell University)|2019. 01. 01.

Complexity and Algorithms in Graphs인용 수 2

한 줄 요약

이 논문은 그래프 지름 문제의 매개변수 복잡도를 조사하며, SETH 하에 트리너비나 정점 커버와 같은 매개변수에 대해 f(k)(n+m) 알고리즘이 존재하지 않음을 보이고, 지름과 h-인덱스의 조합 매개변수에 대해 f(k)(n+m)-시간 알고리즘을 제시한다. 또한 지름과 최대 차수 또는 독립 집합 수의 조합은 SETH를 반박하는 알고리즘을 이끌어내며, 희박한 그래프에서 매개변수화된 지름 계산에 대해 엄밀한 조건부 하한을 확립한다.

ABSTRACT

We show that the eccentricities, diameter, radius, and Wiener index of an undirected n-vertex graph with nonnegative edge lengths can be computed in time O(n * binom{k+ceil[log n]}{k} * 2^k k^2 log n), where k is the treewidth of the graph. For every epsilon>0, this bound is n^{1+epsilon}exp O(k), which matches a hardness result of Abboud, Vassilevska Williams, and Wang (SODA 2015) and closes an open problem in the multivariate analysis of polynomial-time computation. To this end, we show that the analysis of an algorithm of Cabello and Knauer (Comp. Geom., 2009) in the regime of non-constant treewidth can be improved by revisiting the analysis of orthogonal range searching, improving bounds of the form log^d n to binom{d+ceil[log n]}{d}, as originally observed by Monier (J. Alg. 1980). We also investigate the parameterization by vertex cover number.

연구 동기 및 목표

• 강력한 지수 시간 가설(SETH) 하에서 그래프 지름 문제의 매개변수 복잡도를 해결하기 위해.
• 지름이 f(k)(n + m) 시간 내에 계산될 수 있는 구조적 그래프 매개변수 k를 특정하기 위해.
• 특히 사회 네트워크와 같은 실제 그래프에 관련된 매개변수 조합(예: 지름과 h-인덱스)을 탐색하여 더 빠른 매개변수화된 알고리즘을 얻기 위해.
• 특정 매개변수 조합이 f(k)(n + m)^{2−ε} 알고리즘을 가질 경우 SETH를 반박하게 되므로, 조건부 하한을 엄밀히 설정하기 위해.

제안 방법

• 특수 그래프 클래스(예: 트리)에서의 타당성 결과를 작은 모듈레이터를 가진 그래프로 확장하기 위해 거리-부터-단순성 매개변수화를 사용한다.
• CNF-SAT에서의 감소를 적용하여 지름, 독립 집합 수, 비순환 색칠 수를 제어할 수 있는 그래프를 구성함으로써 SETH 기반 하한을 증명한다.
• 만족 가능성의 시뮬레이션을 위해 변수 할당, 절, 보조 정점(sij, qij)을 포함하는 새로운 구성 기법을 도입한다.
• 지름이 홀 사이클 제거 집합에 대해 매개변수화될 경우 일반 문제 난이도(Gen-Problem-hardness)임을 보여주기 위해 새로운 개념을 제안한다.
• 기존의 매개변수인 h-인덱스, 최대 차수, 독립 집합 수를 조합하여 상한과 하한을 도출한다.
• BFS를 다익스트라 알고리즘으로 대체하여 무게가 있는 그래프로 알고리즘 결과를 이전함으로써 매개변수화된 효율성을 유지하며, 로그 인자 수준의 영향을 받는다.

실험 결과

연구 질문

• RQ1 트리너비, 정점 커버, 피드백 간선 수와 같은 구조적 그래프 매개변수에 대해 지름 문제를 f(k)(n + m) 시간 내에 해결할 수 있는가?
• RQ2 지름과 h-인덱스 또는 지름과 최대 차수를 조합했을 때 매개변수화된 타당성에 대해 어떤 일이 일어나는가?
• RQ3 지름에 대해 f(k)(n + m)^{2−ε} 알고리즘이 존재할 경우 SETH를 반박하게 되는 매개변수는 있는가?
• RQ4 h-인덱스와 지름을 조합하여 사회 네트워크와 같은 실제 그래프에 대해 실용적이고 효율적인 매개변수화된 알고리즘을 설계할 수 있는가?

주요 결과

• 피드백 간선 수 k에 대해 O(k·n)-시간 알고리즘이 존재하며, 이는 이 매개변수 클래스에서 유일한 k^{O(1)}(n + m) 알고리즘이다.
• 코그래프까지의 거리 매개변수에 대해 2^{O(k)}(n + m)-시간 알고리즘이 제시되어 이 매개변수 하에서의 타당성을 보여준다.
• 홀 사이클 제거 집합에 대해 매개변수화된 지름은 일반 문제 난이도를 지님으로써, SETH 하에서 비매개변수화된 문제와 동일한 난이도를 가진다.
• 지름과 최대 차수의 조합 매개변수에 대해 k^{O(1)}(n + m)^{2−ε}-시간 알고리즘이 존재할 경우 SETH를 반박하게 된다.
• 지름과 h-인덱스의 조합 매개변수에 대해 f(k)(n + m)-시간 알고리즘을 제공함으로써 실용적인 매개변수화 접근법을 제시한다.
• CNF 공식이 만족 가능할 때이고 뿐일 때에만 지름이 5인 그래프를 구성하는 것은, 독립 집합 수와 비순환 색칠 수가 f(k)(n + m)^{2−ε} 알고리즘을 얻기 위해 충분하지 않음을 증명한다.