[論文レビュー] Separator Theorem and Algorithms for Planar Hyperbolic Graphs

‪Sándor Kisfaludi-Bak, Jana Masaříková+3 more|arXiv (Cornell University)|Oct 17, 2023

Advanced Graph Theory Research被引用数 1

ひとこと要約

本稿は、平面的δ-ハイパボリックグラフにおける新しいバランスの取れた分離定理を導入し、近似的線形時間でサイズがpoly(δ) · log nの分離子が得られることを証明している。この分離子は、単一の測地的経路またはサイクルを誘導する。分離子と成分を組み合わせた場合、平面性とδ-ハイパボリック性が保たれ、最大独立集合およびTSPに対して近似的線形時間の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困難問題のための効率的な近似アルゴリズムを設計すること。
• 最大独立集合のような基本的問題に対して、指数時間仮説（ETH）のもとでタイトな条件付き下界を確立すること。
• 平面的δ-ハイパボリックグラフにおける巡回セールスマン問題（TSP）、頂点被覆問題、フィードバック頂点集合問題などのアルゴリズム的可解性を調査すること。

提案手法

• 平面的δ-ハイパボリックグラフに対する新しいバランスの取れた分離定理を提案し、分離子が単一の測地的経路またはサイクルを誘導することを保証する。
• 分離子を計算する近似的線形時間のアルゴリズムを設計し、そのサイズがpoly(δ) · log nで抑えられることを示す。
• G−Zの任意の成分集合と分離子を結合した場合、平面性とδ-ハイパボリック性が保たれることを証明する。
• 分離子を用いて、分治法を用いた再帰的近似スキームを設計し、最大独立集合問題に対して適用する。
• 同じ分離子構造を活用して、巡回セールスマン問題（TSP）に対しても近似的線形時間のFPTASを構築する。
• グリッド分割をδ-ハイパボリックグラフに埋め込むことで、ハイパボリシティを変更せずにハードネス還元を構築し、ETHに基づくタイトな下界を証明する。

実験結果

リサーチクエスチョン

• RQ1 平面的δ-ハイパボリックグラフにおいて、成分と組み合わせた場合にδ-ハイパボリック性と平面性を保つバランスの取れた分離子を構築できるか？
• RQ2 任意の定数δに対して、平面的δ-ハイパボリックグラフにおける最大独立集合問題に対して近似的線形時間のFPTASが存在するか？
• RQ3 最大独立集合問題のFPTASの実行時間は、ETHのもとで最良の可能性に一致するか？
• RQ4 類似の近似スキームは、このグラフクラスにおける頂点被覆問題やフィードバック頂点集合問題に対しても開発可能か？
• RQ5 平面的グラフのハイパボリシティを、サブクアドレティックまたは線形時間で計算するアルゴリズムは存在するか？

主な発見

• サイズO(poly(δ) · log n)のバランスの取れた分離子を、近似的線形時間で計算可能であり、それは単一の測地的経路またはサイクルを誘導する。
• 分離子と任意の成分集合を結合した場合、δ-ハイパボリック性と平面性が保たれることを示し、これは標準的な分離子では保証されない性質である。
• 最大独立集合問題に対して、n polylog(n) · 2O(δ²) · ε−O(δ) 時間で実行される近似的線形時間のFPTASが達成された。
• 最大独立集合問題のFPTASの実行時間は、ETHのもとで本質的に最適であり、ETHが成立する限りo(n)時間で解けるアルゴリズムは存在しない。
• 巡回セールスマン問題（TSP）に対しても同様のFPTASが構築され、同様の実行時間の下限が得られた。
• 本稿では、平面的δ-ハイパボリックグラフにおける最大独立集合問題がno(δ)時間で解けることはなく、ETHのもとでタイトな条件付き下界が確立された。