[논문 리뷰] Separator Theorem and Algorithms for Planar Hyperbolic Graphs

‪Sándor Kisfaludi-Bak, Jana Masaříková외 3명|arXiv (Cornell University)|2023. 10. 17.

Advanced Graph Theory Research인용 수 1

한 줄 요약

이 논문은 평면 δ-하이퍼볼릭 그래프에 대한 새로운 균형 잡힌 분할 정리(분할 정점 집합)를 제안하며, near-linear time 내에 크기가 poly(δ) · log n인 분할 정점을 찾을 수 있음을 증명한다. 이 분할 정점은 단일 지오데식 경로 또는 사이클을 유도한다. 분할 정점과 구성요소를 조합할 경우 계획성과 δ-하이퍼볼릭성을 유지하며, 이는 최대 독립 집합과 TSP 문제에 대해 near-linear time FPTAS를 가능하게 하며, ETH 기반으로 엄밀한 실행 시간 하한을 확보한다.

ABSTRACT

The hyperbolicity of a graph, informally, measures how close a graph is (metrically) to a tree. Hence, it is intuitively similar to treewidth, but the measures are formally incomparable. Motivated by the broad study of algorithms and separators on planar graphs and their relation to treewidth, we initiate the study of planar graphs of bounded hyperbolicity. Our main technical contribution is a novel balanced separator theorem for planar $δ$-hyperbolic graphs that is substantially stronger than the classic planar separator theorem. For any fixed $δ\geq 0$, we can find balanced separator that induces either a single geodesic (shortest) path or a single geodesic cycle in the graph. An important advantage of our separator is that the union of our separator (vertex set $Z$) with any subset of the connected components of $G - Z$ induces again a planar $δ$-hyperbolic graph, which would not be guaranteed with an arbitrary separator. Our construction runs in near-linear time and guarantees that size of separator is $\mathrm{poly}(δ) \cdot \log n$. As an application of our separator theorem and its strong properties, we obtain two novel approximation schemes on planar $δ$-hyperbolic graphs. We prove that Maximum Independent Set and the Traveling Salesperson problem have a near-linear time FPTAS for any constant $δ$, running in $n\, \mathrm{polylog}(n) \cdot 2^{\mathcal{O}(δ^2)} \cdot \varepsilon^{-\mathcal{O}(δ)}$ time. We also show that our approximation scheme for Maximum Independent Set has essentially the best possible running time under the Exponential Time Hypothesis (ETH). This immediately follows from our third contribution: we prove that Maximum Independent Set has no $n^{o(δ)}$-time algorithm on planar $δ$-hyperbolic graphs, unless ETH fails.

연구 동기 및 목표

• 계획성과 δ-하이퍼볼릭성과 같은 구조적 성질을 유지하는 평면 δ-하이퍼볼릭 그래프에 대한 분할 정점 정리를 개발하기 위해.
• 이 그래프 유형에서 NP-난이도 문제에 대한 효율적인 근사 알고리즘을 설계하기 위해.
• 최대 독립 집합과 같은 기본 문제에 대해 Exponential Time Hypothesis (ETH) 기반으로 엄밀한 조건부 하한을 설정하기 위해.
• 평면 δ-하이퍼볼릭 그래프에서 TSP, 정점 커버, 피드백 정점 집합과 같은 문제의 알고리즘 적응 가능성 탐색하기 위해.

제안 방법

• 평면 δ-하이퍼볼릭 그래프에 대해 새로운 균형 잡힌 분할 정점 정리를 제안하며, 이 정점 집합은 단일 지오데식 경로 또는 사이클을 유도한다.
• 크기가 poly(δ) · log n 이내인 분할 정점을 near-linear time 내에 계산할 수 있는 알고리즘을 설계한다.
• G−Z의 임의의 구성요소 집합과 분할 정점을 합칠 경우 계획성과 δ-하이퍼볼릭성이 유지됨을 보여준다.
• 분할 정점을 활용해 분할 정복 접근법을 사용하여 최대 독립 집합 문제에 대해 재귀적 근사 체계를 설계한다.
• 동일한 분할 정점 구조를 활용해 TSP 문제에 대해 near-linear time FPTAS를 설계한다.
• 그리드 분할을 δ-하이퍼볼릭 그래프에 통합하는 하드웨어 감소를 구성함으로써 ETH 기반의 엄밀한 하한을 증명한다.

실험 결과

연구 질문

• RQ1 평면 δ-하이퍼볼릭 그래프에서 구성요소와 조합했을 때 δ-하이퍼볼릭성과 계획성을 유지하는 균형 잡힌 분할 정점을 구성할 수 있는가?
• RQ2 임의의 상수 δ에 대해 평면 δ-하이퍼볼릭 그래프에서 최대 독립 집합 문제에 대해 near-linear time FPTAS가 존재하는가?
• RQ3 최대 독립 집합 문제의 FPTAS 실행 시간이 ETH 기반으로 가능한 최고의 시간 복잡도와 일치하는가?
• RQ4 유사한 근사 체계를 정점 커버 및 피드백 정점 집합 문제 등 다른 문제에 대해 이 그래프 유형에 대해 개발할 수 있는가?
• RQ5 평면 그래프의 하이퍼볼릭성을 계산하는 데에 subquadratic 또는 선형 시간 알고리즘이 존재하는가?

주요 결과

• 크기가 O(poly(δ) · log n)인 균형 잡힌 분할 정점은 near-linear time 내에 계산 가능하며, 이는 단일 지오데식 경로 또는 사이클을 유도한다.
• 분할 정점과 임의의 구성요소 집합을 조합할 경우 δ-하이퍼볼릭성과 계획성이 유지되며, 이는 표준 분할 정점에서는 보장되지 않는 성질이다.
• 최대 독립 집합 문제에 대해 near-linear time FPTAS를 달성하였으며, 실행 시간은 n polylog(n) · 2O(δ²) · ε−O(δ) 이다.
• 최대 독립 집합 문제의 FPTAS 실행 시간은 ETH 기반으로 거의 최적이다. ETH가 성립한다면 o(n)-시간 알고리즘이 존재하지 않는다.
• 유사한 FPTAS가 TSP 문제에 대해 유사한 실행 시간 하한을 갖도록 구성되었다.
• 논문은 최대 독립 집합 문제의 평면 δ-하이퍼볼릭 그래프에서 no(δ) 시간 내에 해결될 수 없다고 증명하였으며, 이는 엄밀한 조건부 하한을 확립한다.