[논문 리뷰] Tight Approximation Algorithms for Bichromatic Graph Diameter and Related Problems

Mina Dalirrooyfard, Virginia Vassilevska Williams외 2명|arXiv (Cornell University)|2019. 01. 01.

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

한 줄 요약

이 논문은 방향성 있는 그래프와 무방향 그래프에서 이색성 직경, 반지름, 그리고 중심성에 대해 처음으로 비자명한 근사 알고리즘을 제안하며, 거의 선형 시간 복잡도로 날카러운 근사 요소를 달성한다. 이들 경계가 Strong Exponential Time Hypothesis (SETH) 하에서 최적임을 입증하여, SETH를 위반하지 않고서는 실행 시간이나 근사 품질을 유의미하게 향상시킬 수 없음을 보여준다.

ABSTRACT

Some of the most fundamental and well-studied graph parameters are the Diameter (the largest shortest paths distance) and Radius (the smallest distance for which a "center" node can reach all other nodes). The natural and important $ST$-variant considers two subsets $S$ and $T$ of the vertex set and lets the $ST$-diameter be the maximum distance between a node in $S$ and a node in $T$, and the $ST$-radius be the minimum distance for a node of $S$ to reach all nodes of $T$. The bichromatic variant is the special case in which $S$ and $T$ partition the vertex set. In this paper we present a comprehensive study of the approximability of $ST$ and Bichromatic Diameter, Radius, and Eccentricities, and variants, in graphs with and without directions and weights. We give the first nontrivial approximation algorithms for most of these problems, including time/accuracy trade-off upper and lower bounds. We show that nearly all of our obtained bounds are tight under the Strong Exponential Time Hypothesis (SETH), or the related Hitting Set Hypothesis. For instance, for Bichromatic Diameter in undirected weighted graphs with $m$ edges, we present an $ ilde{O}(m^{3/2})$ time $5/3$-approximation algorithm, and show that under SETH, neither the running time, nor the approximation factor can be significantly improved while keeping the other unchanged.

연구 동기 및 목표

• 방향성 여부 및 가중치 유무에 관계없이 그래프에서 이색성 직경, 반지름, 중심성에 대해 처음으로 비자명한 근사 알고리즘을 개발하는 것.
• 직경, 반지름, 중심성 문제의 ST, 부분집합, 이색성 변형에 대해 시간-근사도 trade-off를 날카롭게 설정하는 것.
• Strong Exponential Time Hypothesis (SETH)와 Hitting Set Hypothesis (HS) 하에서 제안된 알고리즘의 최적성 증명하기.
• 파라미터화된 환경으로의 확장을 통해 |B| 및 |B′|와 같은 구조적 파라미터 기반 성능 분석 수행하기.
• 특히 방향성 및 가중치가 있는 그래프에서 이색성 변형의 근사 가능성에 대한 이해 격차를 메우기

제안 방법

• 무방향 가중 그래프에서 이색성 직경에 대해 랜덤화된 ˜O(m³/²) 시간 5/3-근사 알고리즘 설계하여 이전 작업의 2-근사보다 향상된 성능 확보.
• 그래프의 구조적 특성을 포괄하기 위해 집합 B와 B′를 사용하는 파라미터화된 프레임워크 도입하여, 이들 파라미터가 작을 경우 더 빠른 알고리즘 가능하게 함.
• 감소 기반 하한 기법을 활용하여, Orthogonal Vectors (OV) 및 Hitting Set (HS) 문제로부터 그래프 인스턴스를 구성함으로써 SETH 및 HS 가정 하에서의 난이도 증명.
• 모서리 분할 및 매칭 구성 기법을 사용해 거리 제어 및 특정 직경, 반지름 또는 중심성 값 강제 적용 — 이는 수직 벡터 쌍 존재 여부 또는 히팅 세트 해 존재 여부에 따라 결정됨.
• 층화된 그래프 구성 기법을 적용해 경로 길이를 시뮬레이션하고, 목표 파라미터에서 곱셈적 근사 갭을 강제 적용함.
• 어떤 알고리즘이 5/3 이하의 근사도를 달성할 경우 OV 또는 HS 문제에 대한 더 빠른 알고리즘이 존재하게 되며, 이는 SETH 또는 HS를 위반하므로 근사 요소의 날카러움을 입증함.

실험 결과

연구 질문

• RQ1 방향성 및 가중치가 있는 그래프에서 이색성 직경, 반지름, 중심성에 대해 비자명한 근사 알고리즘을 설계할 수 있는가?
• RQ2 이들 문제에 대해 실행 시간과 근사 요소 사이의 최적의 트레이드오프는 무엇인가?
• RQ3 SETH 및 HS와 같은 표준 복잡도 가정 하에서 제안된 근사 경계가 날카로운가?
• RQ4 ST-변형에서 부분집합 및 이색성 변형으로 이동할 경우 근사 가능성은 어떻게 변화하는가?
• RQ5 |B| 또는 |B′|에 따라 실행 시간이 달라지는 파라미터화된 알고리즘이 구조적 그래프에서 더 나은 성능을 낼 수 있는가?

주요 결과

• 무방향 가중 그래프에서 이색성 직경에 대해 ˜O(m³/²) 시간 5/3-근사 알고리즘 제안되며, SETH 하에서 최적임을 입증.
• SETH 하에서, 무방향 가중 그래프에서 이색성 직경에 대해 5/3 이하의 근사도를 달성하고 ˜O(m³/²) 이하의 실행 시간을 갖는 알고리즘은 존재할 수 없다.
• 무방향 비가중 그래프에서 |B| = ω(log n)일 경우, 이색성 중심성에 대해 ˜O(m|B|) 시간 거의 5/3-근사 알고리즘이 SETH 하에서 최적임을 입증.
• |B| = ω(log n)일 경우, 이색성 반지름에 대해 ˜O(m|B|) 시간 거의 3/2-근사 알고리즘이 Hitting Set Hypothesis 하에서 최적임을 입증.
• 방향성 이색성 직경에 대해 |B′| = ω(log n)일 경우, ˜O(m|B′|) 시간 거의 3/2-근사 알고리즘이 SETH 하에서 최적임을 입증.
• 모든 하한은 비가중 그래프일 경우에도 성립하며, 트레이드오프 하한은 임의의 정수 k ≥ 2에 대해 유효함.