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

Karl Bringmann, Thore Husfeldt외 1명|arXiv (Cornell University)|2018. 05. 18.

Advanced Graph Theory Research참고 문헌 4인용 수 9

한 줄 요약

이 논문은 트리폭을 기준으로 한 다변량 알고리즘 분석을 제시하여, 원추율, 지름, 반지름, 위너 지수와 같은 그래프 거리를 계산한다. $\log^d n$ 에서 $\binom{d + \lceil \log n \rceil}{d}$ 로의 직교 범위 검색 분석을 개선함으로써, $k = 5\operatorname{tw}(G) + 4$ 일 때 실행 시간이 $O(n \cdot \binom{k + \lceil \log n \rceil}{k} \cdot 2^k k^2 \log n)$ 로 향상되었으며, 이는 직교 벡터 추측 하에 알려진 난이도 한계와 일치한다.

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\cdot \binom{k+\lceil\log n ceil}{k} \cdot 2^k k^2 \log n)$, where $k$ is the treewidth of the graph. For every $ε>0$, this bound is $n^{1+ε}\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+\lceil\log n ceil}{d}$, as originally observed by Monier (J. Alg. 1980). We also investigate the parameterization by vertex cover number.

연구 동기 및 목표

• 유계 트리폭을 가진 그래프에서 그래프 거리 계산의 상한과 하한 사이의 격차를 좁히기.
• 비상수 트리폭 영역을 위한 고차원 공간에서의 직교 범위 검색 분석을 향상시키기.
• Cabello와 Knauer의 알고리즘 적용 범위를 위너 지수 계산으로 확장하기.
• 직교 벡터 추측 하에 날카운 매개변수 복잡도 상한을 확립하기.
• 트리폭 대신 정점 커버 수를 매개변수로 사용하는 것이 효율성 측면에서 어떻게 비교되는지 조사하기.

제안 방법

• 실행 시간의 점근적 성능 향상을 위해 $d$차원 범위 트리 분석을 $\log^d n$ 가 아닌 $B(n,d) = \binom{d + \lceil \log n \rceil}{d}$ 를 사용하여 재검토하기.
• 비대칭 $k$-분리자 트리를 기반으로 한 분할 정복 전략을 사용해 반복적으로 원추율을 계산하기.
• 각 정점에서 분리자 측면의 정점까지의 최대 거리를 계산하기 위해 단조환 $(\mathbb{Z}, \max)$ 을 사용한 직교 범위 쿼리 적용하기.
• 범위 쿼리 단조환을 수정하여 거리의 수와 합을 모두 추적함으로써 위너 지수 계산으로 알고리즘 확장하기.
• 효율성을 높이기 위해 $k$-크기 분리자에서 딱시의 알고리즘을 사용해 사전에 거리를 계산하고 단축 경로 추가하기.
• 좌우 서브트리의 역할을 바꿔 원추율 계산에서 모든 정점 쌍이 고려되도록 하기.

실험 결과

연구 질문

• RQ1 그래프 거리 계산 알고리즘에서 트리폭에 대한 의존도를 $n^{1+\epsilon} \exp O(\operatorname{tw}(G))$ 보다 더 개선할 수 있는가?
• RQ2 표준 복잡도 가정 하에 $O(n \cdot \binom{k + \lceil \log n \rceil}{k} \cdot 2^k k^2 \log n)$ 의 상한이 날카로운가?
• RQ3 직교 범위 검색 분석을 더 정교하게 다듬어 차원과 $n$ 에 대한 의존도를 더 낮출 수 있는가?
• RQ4 위너 지수 계산은 난이도 한계에 맞는 매개변수 복잡도 알고리즘을 갖는가?
• RQ5 정점 커버 수를 매개변수로 사용할 경우 트리폭 대비 알고리즘 효율성은 어떻게 비교되는가?

주요 결과

• 원추율, 지름, 반지름, 위너 지수 계산에 대해 $k = 5\operatorname{tw}(G) + 4$ 일 때 실행 시간이 $O(n \cdot \binom{k + \lceil \log n \rceil}{k} \cdot 2^k k^2 \log n)$ 로 향상되었음을 입증하였다.
• 이 상한은 $\epsilon > 0$ 에 대해 $n^{1+\epsilon} \exp O(\operatorname{tw}(G))$ 의 형태이며, 직교 벡터 추측 하에 Abboud 등이 제시한 난이도 결과와 일치한다.
• 직교 범위 검색 분석을 향상시켜 쿼리 시간을 $O(\log^d n)$ 에서 $O(\binom{d + \lceil \log n \rceil}{d})$ 로 줄였으며, 이는 임의의 $\epsilon > 0$ 에 대해 $n^{\epsilon} \exp O(d)$ 의 형태이다.
• 정점 커버 수 $k$ 를 매개변수로 사용할 경우 위너 지수는 $O(nk \cdot 2^k)$ 의 시간에 계산 가능하며, 원추율 계산의 복잡도와 일치한다.
• 위너 지수 알고리즘은 직교 벡터 추측 하에 날카로우며, 이는 2와 3 사이의 지름을 이차 시간 이하로 구별할 수 있기 때문이다.
• 이 분석은 트리폭 매개변수화된 그래프 거리 계산에 대해 가장 잘 알려진 상한과 알려진 하한 사이의 격차를 완전히 해소하였다.