[論文レビュー] A Survey on Graph Problems Parameterized Above and Below Guaranteed Values

Gregory Gutin, Matthias Mnich|arXiv (Cornell University)|Jul 25, 2022

Advanced Graph Theory Research被引用数 5

ひとこと要約

本調査は、タイトな保証値の上または下でパrameterizedされたグラフ問題について包括的な概説を提供しており、Max Cut や Vertex Cover、TSP などの問題における固定パrameter tractability（FPT）とカーネル化に焦点を当てている。多くのこのような問題が、タイトな下限または上限の上でのパrameterizationにおいて効率的なアルゴリズムを有することが示され、主な結果として多項式カーネルとFPTアルゴリズムが得られている一方で、有向グラフおよびハイパーグラフ設定における未解決問題も特定している。

ABSTRACT

We survey the field of algorithms and complexity for graph problems parameterized above or below guaranteed values, a research area which was pioneered by Venkatesh Raman. Those problems seek, for a given graph $G$, a solution whose value is at least $g(G)+k$ or at most $g(G)-k$, where $g(G)$ is a guarantee on the value that any solution on $G$ takes. The goal is to design algorithms which find such solution in time whose complexity in $k$ is decoupled from that in the guarantee, or to rule out the existence of such algorithms by means of intractability results. We discuss a large number of algorithms and intractability results, and complement them by several open problems.

研究の動機と目的

• タイトな保証値の上または下でパrameterizedされたグラフ問題におけるパラメータ化アルゴリズム分野の最新状況を体系化し、調査すること。
• このような問題における固定パラメータ可 tractable（FPT）アルゴリズムおよびカーネル化結果を特定・分析すること。
• 特に有向グラフおよびハイパーグラフにおける未解決問題や研究ギャップを強調すること。
• パrameterized複雑性およびグラフアルゴリズム分野の研究者にとって統一的な参照資料を提供すること。
• 特に加法的および乗法的パラメータ化に焦点を当て、グラフ問題分野における最近の進展を拡張して調査すること。

提案手法

• 本稿は、加法的および乗法的パラメータ化を用いて、タイトな境界の上または下でパrameterizedされたグラフ問題の既存のアルゴリズムおよび複雑性結果を調査している。
• Max Cut や Vertex Cover などの問題を分析するために、パラメータ化複雑性の技術、特にカーネル化とFPTアルゴリズムを適用している。
• Longest Cycle のような問題では、グラフの直径（girth）と平均次数を保証値として用い、これらの境界の上でのパラメータ化複雑性を分析している。
• 既知の極値グラフ理論の結果（例：Edwards-Erdősの不等式、Erdős-Gallaiの不等式）を、パラメータ化のためのタイトな保証値として活用している。
• 新たな結果を証明しており、例えば「girthの乗法的上でのLong Cycle」問題に対して $2^{\mathcal{O}(k^2)}n$ 時間のアルゴリズムを示しており、FPTアルゴリズムの存在を確立している。また、標準の複雑性仮定のもとで多項式カーネルが存在しないことを示している。
• TSP へは平均辺重みを保証値として用い、重みが $k$ だけ平均より小さいハミルトン閉路を見つけるための固定パラメータアルゴリズムを証明している。

実験結果

リサーチクエスチョン

• RQ1 Max Cut 問題は、Edwards-Erdősの下界の上でのパラメータ化において、FPT時間で解けるか？
• RQ2 グラフのgirthの乗法的上でのLong Cycle 問題は、固定パラメータ可 tractable か？
• RQ3 巡回セールスマン問題（TSP）は、平均重みより $k$ 小さいハミルトン閉路を求める場合に、固定パラメータアルゴリズムを有するか？
• RQ4 グラフ問題のパラメータ化複雑性は、特にサイクル問題およびTSP問題に関して、有向グラフへ拡張可能か？
• RQ5 girth $\gamma(G)$ に対して $\gamma(G)\log\gamma(G)$ 以上の長さのサイクルを見つける問題の複雑性は何か？

主な発見

• girthの乗法的上でのLong Cycle 問題は、$2^{\mathcal{O}(k^2)}n$ 時間で解けるため、FPTアルゴリズムが存在することが示された。
• 同様の問題は、NP ⊆ coNP/poly が成り立たない限り、多項式カーネルを有しないことが示され、本質的な複雑性を示している。
• 任意の $\varepsilon > 0$ に対して、$\gamma(G)^{1+\varepsilon}$ の上でのパラメータ化は、問題を para-NP-hard にするため、境界のタイトさが示された。
• 2連結グラフにおいて、長さ $g(G)+k$ のサイクルを見つけるための $2^{\mathcal{O}(k)}n^{\mathcal{O}(1)}$ 時間のアルゴリズムが存在する。ここで $g(G)$ はErdős-Gallaiの境界である。
• 平均重みより $k$ 小さいハミルトン閉路を求めるTSPに対して、固定パラメータアルゴリズムが存在し、実行時間は $\mathcal{O}(k^3)! + \mathcal{O}(k^3n) + \mathcal{O}(n^7)$ 時間である。
• 本調査では、有向グラフにおけるgirth上でのLongest CycleのFPT性および有向グラフにおける平均重み下でのTSPの未解決問題が特定された。