[論文レビュー] Computing divisorial gonality is hard

Dion Gijswijt|arXiv (Cornell University)|Apr 25, 2015

Commutative Algebra and Its Applications参考文献 12被引用数 13

ひとこと要約

この論文は、最大独立集合問題への還元によって、グラフの除法的ゴノリティの計算がNP困難であることを証明し、さらにAPX困難であることを示している。これは、バーカー＝ノリンの意味における正のランクの除法の最小次数を求めることが、定数要因内で近似すること即ち計算的に困難であることを示している。

ABSTRACT

The gonality gon(G) of a graph G is the smallest degree of a divisor of positive rank in the sense of Baker-Norine. In this note we show that computing gon(G) is NP-hard by a reduction from the maximum independent set problem. The construction shows that computing gon(G) is moreover APX-hard.

研究の動機と目的

• グラフの除法的ゴノリティを決定する計算複雑性を調査すること。
• 最大独立集合問題への還元によって、gon(G) の計算がNP困難であることを確立すること。
• gon(G) の計算がAPX困難であることを示し、定数要因内で近似することが難しいことを示すこと。
• 代数的グラフ理論およびグラフ上の除法論におけるアルゴリズム的制限の理解に貢献すること。

提案手法

• 著者らは、最大独立集合問題のインスタンスを、元のグラフにおける最大独立集合のサイズを符号化する除法的ゴノリティを持つグラフに写像するグラフ変換を構築した。
• この構成により、得られたグラフのゴノリティが元のグラフにおける最大独立集合のサイズに等しくなるように保証された。
• 独立集合問題のNP完全性を保ったままの還元により、ゴノリティの計算のNP困難性が証明された。
• 還元の近似保存性によりAPX困難性が確立され、P = NPでない限りゴノリティを定数要因内で近似することは不可能であることが示された。
• 証明は、バーカー＝ノリンの意味における除法およびランク関数の性質に依拠しており、特に最小次数の有効除法に焦点を当てている。

実験結果

リサーチクエスチョン

• RQ1 グラフの除法的ゴノリティの計算は計算的に困難か？
• RQ2 ゴノリティの計算問題は、既知のNP困難問題に還元可能か？
• RQ3 ゴノリティの計算問題は定数要因内で近似することが難しいか？
• RQ4 最大独立集合問題とグラフにおける除法的ゴノリティの関係は何か？

主な発見

• 最大独立集合問題への多対一還元によって、グラフの除法的ゴノリティの計算がNP困難であることが示された。
• 還元は構造を保つように設計されており、構築されたグラフのゴノリティが元のグラフにおける最大独立集合のサイズに等しい。
• この問題はさらにAPX困難であることが証明され、P = NPでない限り多項式時間近似スキームが存在しないことが示された。
• この結果により、代数的グラフ理論およびチップ・ファイアリング・ゲームにおける基本的不変量としての強力な計算的困難性が確立された。