[論文レビュー] On the practically interesting instances of MAXCUT

Yonatan Bilu, Amit Daniely+2 more|arXiv (Cornell University)|May 22, 2012

Complexity and Algorithms in Graphs参考文献 12被引用数 5

ひとこと要約

本稿では、メトリック、密度、局所安定性などの構造的・安定性仮定の下で、実用的に興味深いMAXCUT問題のインスタンスを多項式時間で解くアルゴリズムを提案する。(1+ε)-局所安定なメトリックおよび密度のあるMAXCUTインスタンスは効率的に解けることが示され、Ω(√n)-安定なインスタンスは多項式時間で解けることが示され、安定性要件に関する先行研究の境界を著しく改善する。

ABSTRACT

The complexity of a computational problem is traditionally quantified based on the hardness of its worst case. This approach has many advantages and has led to a deep and beautiful theory. However, from the practical perspective, this leaves much to be desired. In application areas, practically interesting instances very often occupy just a tiny part of an algorithm's space of instances, and the vast majority of instances are simply irrelevant. Addressing these issues is a major challenge for theoretical computer science which may make theory more relevant to the practice of computer science. Following Bilu and Linial, we apply this perspective to MAXCUT, viewed as a clustering problem. Using a variety of techniques, we investigate practically interesting instances of this problem. Specifically, we show how to solve in polynomial time distinguished, metric, expanding and dense instances of MAXCUT under mild stability assumptions. In particular, $(1+ε)$-stability (which is optimal) suffices for metric and dense MAXCUT. We also show how to solve in polynomial time $Ω(\sqrt{n})$-stable instances of MAXCUT, substantially improving the best previously known result.

研究の動機と目的

• MAXCUTの理論的最悪ケースの難易度と実用的実行可能性のギャップを埋めるために、最悪ケースではなく実用的に意味のあるインスタンスに焦点を当てる。
• MAXCUTが一般にNP困難であるにもかかわらず、実用的に解けるようになる構造的および安定性条件を同定する。
• 特に非正則グラフに対して、MAXCUTの多項式時間解法のための安定性閾値を、先行研究を上回る形で改善する。
• クラスタリングが容易であるか、あるいは無意味であるという経験的直観の理論的基盤を提供するため、グラフ分割における安定性と明確性を形式化する。
• 従来の結果より弱い安定性仮定、例えば局所安定性やCheegerに基づく境界を用いたMAXCUTの解法可能性を検討する。

提案手法

• 標準的なγ-安定性条件を弱めるために、γ-局所安定インスタンスの概念を導入し、摂動が同一頂点に接続する辺に制限されるようにする。
• 任意の他のカットに移動すると、スイッチング頂点の重み付き次数の和のα倍以上、目的関数が減少するようなα明確解の概念を適用する。
• メトリック性、密度（C-密度）、および拡張性（Cheeger定数hを介して）といった構造的グラフ性質を用いて、多項式時間解法を導出する。
• 安定性閾値とエッジ重みを分析することで、最適カットの同一側にある頂点ペアを特定する決定的アルゴリズムを採用する。
• 全重みτ(v)、最大エッジ重みw(v,u)、および安定性パrameter γ に関する不等式を活用し、特定のエッジがカットエッジでなければならないことを証明する。
• 特定のペアが存在しないという仮定の下で矛盾を導出し、∑ŵ²(v) および ∑n(u,v) の境界を用いて、n に関するγの境界を得る。

実験結果

リサーチクエスチョン

• RQ1 任意のε > 0に対して、(1+ε)-局所安定なメトリックMAXCUTインスタンスは多項式時間で解けるか？
• RQ2 γ-局所安定MAXCUTインスタンスが多項式時間で解ける最小の安定性閾値γは何か？
• RQ3 明確性と局所安定性条件を用いることで、密度や拡張性のあるグラフに対して安定性閾値を改善できるか？
• RQ4 補題2.6が示唆するように、2-局所安定なメトリックMAXCUTインスタンスに対して多項式時間アルゴリズムは存在するか？
• RQ5 定理1.2におけるγのαおよびhに依存する関係をさらに最適化できるか？

主な発見

• 任意のε > 0に対して、(1+ε)-局所安定なメトリックMAXCUTインスタンスは多項式時間で解ける。これは最適な安定性閾値を達成する。
• 任意のε > 0およびC > 1に対して、(1+ε)-局所安定かつC-密度MAXCUTインスタンスは多項式時間で解ける。C-密度は過剰に重いエッジを除外する。
• 本稿は、先行研究を改善し、α明確かつγ-局所安定インスタンスに対してはγ > 2 / (1 − √(1 − α²)) が十分であることを示し、従来の境界に比べて必要な安定性を著しく低減する。
• γ-局所安定インスタンスに対しては、γ > 2 / (1 − √(1 − h²)) が成り立てば多項式時間で解ける。ここでhは最大カットのCheeger定数である。
• 本稿は、Ω(√n)-安定MAXCUTインスタンスが多項式時間で解けることを確立し、従来のn-安定性要件を上回る。
• 最適カットの同一側に2頂点が存在しないという仮定の下で矛盾を導出し、γ > √(8n+4) + 1 のとき、このようなペアが存在しなければならないことを示し、アルゴリズムの正しさを証明する。