[論文レビュー] Improved Hardness for Cut, Interdiction, and Firefighter Problems

Euiwoong Lee|arXiv (Cornell University)|Jul 18, 2016

Mechanical Behavior of Composites参考文献 24被引用数 10

ひとこと要約

この論文は、一意ゲーム予想（UGC）の下で、基本的なグラフカットおよび干渉問題に対する、改善された近似困難性の結果を確立している。新規の長さ制御ディクタトテストフレームワークを導入することで、有向マルチカット、長さ制限付きカット、最短経路干渉、リソース最小化火災抑止問題について、タイトまたは非定数の近似困難性の境界を証明した。これは、既存の最高の要因と一致またはそれを上回っている。

ABSTRACT

We study variants of the classic $s$-$t$ cut problem and prove the following improved hardness results assuming the Unique Games Conjecture (UGC). - For any constant $k \geq 2$ and $ε> 0$, we show that Directed Multicut with $k$ source-sink pairs is hard to approximate within a factor $k - ε$. This matches the trivial $k$-approximation algorithm. By a simple reduction, our result for $k = 2$ implies that Directed Multiway Cut with two terminals (also known as $s$-$t$ Bicut) is hard to approximate within a factor $2 - ε$, matching the trivial $2$-approximation algorithm. Previously, the best hardness factor for these problems (for constant $k$) was $1.5 - ε$ under the UGC. - For Length-Bounded Cut and Shortest Path Interdiction, we show that both problems are hard to approximate within any constant factor, even if we allow bicriteria approximation. If we want to cut vertices or the graph is directed, our hardness factor for Length-Bounded Cut matches the best approximation ratio up to a constant. Previously, the best hardness factor was $1.1377$ for Length-Bounded Cut and $2$ for Shortest Path Interdiction. - Assuming a variant of the UGC (implied by another variant of Bansal and Khot), we prove that it is hard to approximate Resource Minimization Fire Containment within any constant factor. Previously, the best hardness factor was $2$. Our results are based on a general method of converting an integrality gap instance to a length-control dictatorship test for variants of the $s$-$t$ cut problem, which may be useful for other problems.

研究の動機と目的

• 主要なグラフカット問題について、既知の近似アルゴリズムと最高の既知の近似困難性要因との間のギャップを埋めること。
• 線形計画法（LP）の整数性ギャップのインスタンスを、構造的制約を有するカット問題の困難性結果に変換する一般化された手法を開発すること。
• 一意ゲーム予想（UGC）の下で、有向マルチカット、長さ制限付きカット、および最短経路干渉問題について、最適または非定数の近似困難性を証明すること。
• UGCの変種を用いて、先行して強い近似困難性結果が得られていなかった問題、例えばリソース最小化火災抑止問題への困難性結果を拡張すること。

提案手法

• カット問題の構造的制約を保つ長さ制御ディクタトテストを設計し、LP整数性ギャップから困難性への還元を可能にする。
• ラベル付き頂点および辺を備えた双正則な一意ゲームインスタンスを用い、経路長およびカット重みの制約をシミュレートする。
• インフルエンスおよび拡張の議論を用いて、高次元インフルエンスを持つ「良い」頂点を同定し、ディクタトテストにおけるラベルの一貫性を保証する。
• 次数-d インフルエンスのしきい値に基づくラベル割り当て戦略を構築し、還元における完全性と健全性を達成する。
• 一意ゲーム予想を活用して、標準的なLP緩和の整数性ギャップインスタンスを、ギャップが一致するNP困難性結果に変換する。
• 経路長、頂点／辺の削除、接続性の制約を保持するように適合させることで、複数の問題にフレームワークを適用する。

実験結果

リサーチクエスチョン

• RQ1 カット問題の標準的なLP緩和の整数性ギャップは、UGCの下でタイトな近似困難性結果に変換可能か？
• RQ2 二基準近似の下でも、長さ制限付きカットおよび最短経路干渉問題について、非定数の困難性を達成可能か？
• RQ3 一意ゲーム予想（UGC）の下で、k 個のソース・シンクペアを有する有向マルチカットの最適な近似困難性要因は何か？
• RQ4 リソース最小化火災抑止問題のように、先行して強い近似困難性結果が得られていなかった問題に対しても、このフレームワークを拡張可能か？
• RQ5 UGCの変種が、リソース最小化火災抑止問題について定数要因の近似困難性を示唆するか？

主な発見

• k 個のソース・シンクペアを有する有向マルチカットは、任意の ε > 0 に対して k−ε 因子以内での近似が不可能であり、これは自明な k-近似と一致する。
• k=2 の場合、これは s-t バイカットが 2−ε 因子以内での近似が不可能であり、自明な 2-近似と一致する。
• 長さ制限付きカットおよび最短経路干渉問題は、二基準近似の下でも任意の定数要因以内での近似が不可能である。
• 長さ制限付きカットの困難性要因は、定数のオーダーで最高の既知の近似比と一致しており、以前の下界 1.1377 よりも向上している。
• リソース最小化火災抑止問題は、UGCの変種の下で任意の定数要因以内での近似が不可能であり、以前の最高要因 2 よりも向上している。
• 提案された長さ制御ディクタトテストフレームワークは、複数のカット問題に適用可能であり、LP整数性ギャップから困難性を導出する一般化された手法を提供する。