デビッドの素晴らしいNP完全性証明を補足するために、質問に関するコメントでJukkaが尋ねた特別なケースへの参照を追加します。グラフが完全なグラフで、エッジの重みが±1に制限されている場合、問題はクラスター編集として知られるNP完全問題と同等です。
クラスタ編集は、Shamir、Sharan、Tsur [SST04]によって導入された次の問題です。ここで、クラスタグラフとは、頂点が互いに素なクリークの結合であるグラフであり、編集とは、1つのエッジの追加または削除です。
クラスタ編集
インスタンス:AグラフG =(V、E)と整数K ∈ℕ。
質問:最大でk回の編集でGをクラスターグラフに変換することは可能ですか?
クラスタ編集はNP完全です[SST04]。
Cluster Editingが前述の現在の問題の特殊なケースに相当することを確認するには、G =(V、E)をグラフにします。ましょう、N = | V | そして、Gを完全なグラフK nの部分グラフと見なします。K nでは、Gのエッジに重み-1を与え、Gにないエッジに重み+1を与えます。次いで、Gは高々によってクラスタグラフに変換することができ、Kの場合編集及びパーティションが存在する場合にのみ、(S 1、···、S N)は、そのC(S 1、...、( n2)
[SST04]ロンシャミール、ロッドシャラン、デケルツル。クラスターグラフ変更の問題。 Discrete Applied Mathematics、144(1–2):173–182、2004年11月。http://dx.doi.org/10.1016/j.dam.2004.01.007