[論文レビュー] Maximizing the Cohesion is NP-hard

Adrien Friggeri, Éric Fleury|arXiv (Cornell University)|Sep 9, 2011

Complex Network Analysis Techniques参考文献 3被引用数 3

ひとこと要約

この論文は、NP完全なクリーク問題を、決定版と呼ばれる変種であるConnected-Cohesiveに還元することにより、無向ネットワークにおける最大凝集性を示す頂点部分集合を見つける問題がNP困難であることを証明している。著者らは、最大凝集性集合が必ず連結であることを確立し、多項式時間変換を通じて、元のグラフにサイズkのクリークが存在するための必要十分条件が、変換後のグラフに特定の凝集性閾値を満たす連結部分集合が存在することであることを示している。

ABSTRACT

We show that the problem of finding a set with maximum cohesion in an undirected network is NP-hard.

研究の動機と目的

• 無向ネットワークにおける最大凝集性を持つ部分集合を求める問題の計算複雑性を確立すること。
• 決定版であるConnected-CohesiveのNP完全性を証明することで、凝集性最大化問題がNP困難であることを示すこと。
• 最大凝集性を達成する任意の集合は連結でなければならないことを示し、これにより探索空間を連結部分集合に制限できることを示すこと。
• クリーク問題からConnected-Cohesiveへの多項式時間還元を提供し、決定問題のNP完全性を証明すること。
• 決定問題がNP完全であることに基づき、凝集性最大化の最適化問題がNP困難であることを確認すること。

提案手法

• 凝集性を数学的に定義する：$ \mathcal{C}(S) = \frac{i(S)^2}{\binom{|S|}{3}(i(S) + o(S))} $、ここで $ i(S) $ は部分集合 $ S $ 内の内部三角形数、$ o(S) $ は外部への出る三角形数である。
• 非連結部分集合とその和集合の凝集性を比較する背理法を用いて、最大凝集性集合が必ず連結であることを証明する。
• 決定問題Connected-Cohesiveを定義する：与えられたグラフ $ G $ と閾値 $ \lambda $ に対して、$ \mathcal{C}(S) \geq \lambda $ を満たす連結部分集合 $ S $ が存在するか。
• 非エッジを接続するために大きなクリークを追加することで、クリーク問題のインスタンスをConnected-Cohesiveのインスタンスに多項式時間で変換する。
• この変換を用いて、元のグラフにサイズ $ k $ のクリークが存在するための必要十分条件が、変換後のグラフに凝集性 $ \lambda = \frac{{k\choose 3}}{{k\choose 3} + {k\choose 2}(n-k)} $ を満たす連結部分集合が存在することであることを示す。
• クリーク問題からの還元を通じて、Connected-Cohesive がNPに属し、NP困難であることを示し、したがってNP完全であることを確立する。

実験結果

リサーチクエスチョン

• RQ1 無向グラフにおける最大凝集性を持つ頂点部分集合を見つける問題は、計算的に実行可能か？
• RQ2 最適性を損なわずに最大凝集性集合を連結部分集合に制限できるか？
• RQ3 凝集性が閾値 $ \lambda $ 以上である連結部分集合が存在するかどうかを判定する決定問題はNP完全か？
• RQ4 クリーク問題を多項式時間内でConnected-Cohesiveの決定問題に還元できるか？
• RQ5 Connected-CohesiveのNP完全性は、凝集性最大化の最適化問題がNP困難であることを示唆するか？

主な発見

• 無向ネットワークにおける最大凝集性を持つ部分集合を求める問題は、決定版であるConnected-CohesiveがNP完全であるため、NP困難である。
• 最大凝集性を達成する任意の集合は連結でなければならないため、探索を連結部分集合に制限できる。
• 決定問題Connected-Cohesiveは、クリーク問題（GT19）からの多項式時間還元によりNP完全であることが証明された。
• 元のグラフ $ G $ にサイズ $ k $ のクリークが存在するための必要十分条件は、変換後のグラフ $ G' $ に凝集性 $ \lambda = \frac{{k\choose 3}}{{k\choose 3} + {k\choose 2}(n-k)} $ を満たす連結部分集合が存在することである。
• クリーク問題からConnected-Cohesiveへの変換は多項式時間で実行可能であり、凝集性最大化問題のNP困難性を確認する。
• この結果は、社会的・複雑ネットワークにおける凝集性最適化が一般には計算的に非効率的であることを示唆する。