[論文レビュー] Subexponential Algorithms in Geometric Graphs via the Subquadratic Grid Minor Property: The Role of Local Radius

Gaétan Berthe, Marin Bougeret+2 more|arXiv (Cornell University)|Jun 30, 2023

Advanced Graph Theory Research参考文献 30被引用数 1

ひとこと要約

本稿では、局所半径パラメータを導入することで、接触線分グラフや軸に平行な正方形交差グラフなどの幾何的グラフクラスにおいて、Feedback Vertex Set (FVS) や Triangle Hitting (TH)、Odd Cycle Transversal (OCT) などのサイクル除去問題に対して、部分指数的固定パラメータ動的計画法（FPT）アルゴリズムを確立する。局所半径がクリーク数および最大近傍マッチングサイズの多項式である場合、部分指数的FPTアルゴリズムが存在することを示す。主な結果として、接触線分グラフにおけるFVSに対しては 2^O(k^{3/4} log k) n^{O(1)} 時間、軸に平行な正方形交差グラフでは 2^O(k^{9/10} log k) n^{O(1)} 時間のアルゴリズムが得られ、これらの条件のタイトさを示すETHに基づく下界が得られている。

ABSTRACT

In this paper we investigate the existence of subexponential parameterized algorithms of three fundamental cycle-hitting problems in geometric graph classes. The considered problems, extsc{Triangle Hitting} (TH), extsc{Feedback Vertex Set} (FVS), and extsc{Odd Cycle Transversal} (OCT) ask for the existence in a graph $G$ of a set $X$ of at most $k$ vertices such that $G-X$ is, respectively, triangle-free, acyclic, or bipartite. Such subexponential parameterized algorithms are known to exist in planar and even $H$-minor free graphs from bidimensionality theory [Demaine et al., JACM 2005], and there is a recent line of work lifting these results to geometric graph classes consisting of intersection of "fat" objects ([Grigoriev et al., FOCS 2022] and [Lokshtanov et al., SODA 2022]). In this paper we focus on "thin" objects by considering intersection graphs of segments in the plane with $d$ possible slopes ($d$-DIR graphs) and contact graphs of segments in the plane. Assuming the ETH, we rule out the existence of algorithms: - solving TH in time $2^{o(n)}$ in 2-DIR graphs; and - solving TH, FVS, and OCT in time $2^{o(\sqrt{n})}$ in $K_{2,2}$-free contact 2-DIR graphs. These results indicate that additional restrictions are necessary in order to obtain subexponential parameterized algorithms for %these problems. In this direction we provide: - a $2^{O(k^{3/4}\cdot \log k)}n^{O(1)}$-time algorithm for FVS in contact segment graphs; - a $2^{O(\sqrt d\cdot t^2 \log t\cdot k^{2/3}\log k)} n^{O(1)}$-time algorithm for TH in $K_{t,t}$-free $d$-DIR graphs; and - a $2^{O(k^{7/9}\log^{3/2}k)} n^{O(1)}$-time algorithm for TH in contact segment graphs.

研究の動機と目的

• FVS や TH、OCT などの双次元的サイクル除去問題に対して、幾何的グラフクラスが部分指数的FPTアルゴリズムを有するための十分条件を同定すること。
• 局所半径パラメータが幾何的交差グラフにおける部分指数的アルゴリズムの実現に果たす役割を形式化すること。
• 2-DIRおよび K_{t,t}-自由グラフにおいて、部分指数的解法の境界を特徴付けるため、ETHに基づく下界を確立すること。
• 接触線分グラフや軸に平行な正方形交差グラフといった特定の幾何的クラスにおいて、局所半径をバウンディングすることで、フレームワークの適用可能性を示すこと。
• 幾何的グラフクラスおよびマイナー閉包グラフクラスにおける従来の部分指数的アルゴリズムの結果を統合・拡張すること。

提案手法

• 近傍の複雑さと線分表現に基づいて定義される、幾何的グラフにおける新しい構造的測度としての局所半径パラメータを導入する。
• 局所半径がクリーク数および頂点近傍における最大マッチングサイズの多項式である場合、グラフクラスは部分二次グリッドマイナー（SQGM）性質を満たすことを証明する。
• SQGM性質を用いて、木幅のバウンディングと木分解上の動的計画法により、部分指数的FPTアルゴリズムを導出する。
• Eulerの公式や平面埋め込みなどの幾何的・位相的議論を用いて、接触線分グラフおよび正方形交差グラフにおける異なる近傍の数をバウンディングする。
• 平面補助グラフを構築することで近傍多様性を上界付け、接触線分グラフに対して |M| のオーダーの近傍複雑度を得る。
• ETHに基づく還元を用いて、特定のグラフクラスにおいて部分指数的アルゴリズムが存在しないことを証明し、条件のタイトさを示す。

実験結果

リサーチクエスチョン

• RQ1 FVS や TH などのサイクル除去問題に対して、幾何的グラフクラスが部分指数的FPTアルゴリズムを有するための条件は何か？
• RQ2 局所半径パラメータは、幾何的グラフにおけるSQGM性質および部分指数的解法可能性とどのように関係しているか？
• RQ3 接触線分グラフにおけるFVSの正確なパrameterized時間計算量は何か？
• RQ4 2-DIRグラフにおいて、大きな完全二部グラフ K_{t,t} を含まないことは、部分指数的FPTアルゴリズムの成立に対して必要かつ十分であるか？
• RQ5 指数時間仮説（ETH）のもとで、特定の幾何的グラフクラスに対して部分指数的FPTアルゴリズムが排除可能か？

主な発見

• 接触線分グラフにおけるFeedback Vertex Set に対して、2^O(k^{3/4} log k) n^{O(1)} 時間のアルゴリズムが達成された。
• 軸に平行な正方形交差グラフにおけるFeedback Vertex Set に対して、2^O(k^{9/10} log k) n^{O(1)} 時間のアルゴリズムが達成された。
• 接触線分グラフにおけるTriangle Hitting は 2^O(k^{3/4} log k) n^{O(1)} 時間で解かれた。
• K_{t,t}-自由な d-DIR グラフでは、Triangle Hitting は 2^O(√(dt² log t) k^{2/3} log k) n^{O(1)} 時間で解かれた。
• ETHに基づく下界により、2-DIR グラフにおけるTHおよびOCTに対して 2^o(n) 時間は不可能であり、最大次数 Δ を持つ2-DIR グラフでは 2^o(√(Δn)) 時間も不可能であることが示された。
• 2-DIR グラフにおけるTHの部分指数的FPTアルゴリズムの成立に関して、大きな K_{t,t} 部分グラフを含まないことは、必要かつ十分であることが示された。