[論文レビュー] Algorithmic complexity of pair cleaning method for k-satisfiability problem. (draft version)

С. Н. Кардаш|arXiv (Cornell University)|Jul 30, 2011

Advanced Graph Theory Research参考文献 1被引用数 3

ひとこと要約

本稿は、変数の割り当てが不整合であることを体系的に排除する新しい「ペアクリーニング」手法を用いて、k-充足可能性問題（k-SAT）に対する多項式時間アルゴリズムを提案する。節のグループ間における割り当ての整合性をモデル化し、値集合を用いて節の組み合わせを分析することで、反復的クリーニングにより明確にできない解（一貫性のある解）を同定する。この手法により、k-SATはO(n^{3(k+1)})時間で解けることが示され、k ≥ 2のときP = NPが成り立つことが示唆される。

ABSTRACT

The k-satisfiability problem is a well-known task in computational complexity theory. In this paper approach for it's solving is introduced.

研究の動機と目的

• すべてのk ≥ 2に対してk-充足可能性問題を解く多項式時間アルゴリズムを開発すること。
• 充足可能なk-CNF論理式に対して明示的な解を特定する形式的な手法を確立すること。
• k-SATの解の数を1つの解あたり多項式時間で処理できることを示すこと。
• ペアクリーニング手法が値集合クリーニングと構造的整合性を用いて、k-SATの解法において正しくかつ完全であることを保証すること。
• この手法の多項式時間複雑度がP = NPを示すこと。

提案手法

• 変数インデックスパターンとそれに関連する変数集合x_{s1...sk}に基づいて、節をT_{s1...sk}という節のグループに分類する。
• 値集合V(T)を、節グループ内に含まれるすべての節を満たす変数割り当ての集合として定義する。
• 共有する変数を有する節グループの集合Fを「節の組み合わせ」として導入し、その値集合を、組み合わせに含まれるすべての節を満たす割り当てとして定義する。
• 反復的に不整合な値集合を関係構造から除去する「ペアクリーニング」プロセスC(V)を適用し、明確にできない（一貫性のある）解のみを保持する。
• 値集合の再帰的クリーニングを用いて、重複する節の組み合わせにわたる最小で一貫性のある割り当てを同定する。
• 構造的補題と定理を用いて、空でないクリーニング済み値集合V_Cが、k-CNF論理式の充足可能な解に正確に対応することを証明する。

実験結果

リサーチクエスチョン

• RQ1 k ≥ 2の任意のkに対して、新しい構造的アプローチを用いてk-SATを解く多項式時間アルゴリズムを構築できるか？
• RQ2 ペアクリーニング手法は、反復的値集合削減の過程で、一貫性があり充足可能な解のみを保持するか？
• RQ3 節の数と節グループの数を用いて、ペアクリーニングプロセスのアルゴリズム的複雑度はどのように定式化できるか？
• RQ4 解が存在する場合に、この手法は多項式時間ごとに明示的な解を体系的に生成できるか？
• RQ5 この手法の多項式時間複雑度がP = NPを示唆するか？

主な発見

• ペアクリーニング手法は、反復的クリーニングにより節の組み合わせの値集合を縮小し、一貫性があり充足可能な割り当てのみが残ることを保証する。
• アルゴリズムの時間計算量は、n_t（節グループ数）を用いてO(n_t^{3(k+1)})で抑えられ、3-SATではn（節の総数）を用いてO(n^{12})となる。
• k-CNF論理式が充足可能である場合にかつその場合にのみ、空でないクリーニング済み値集合C(V)が存在し、クリーニングの結果と解の存在が直接的に等価であることが示された。
• クリーニング済み集合V_C^1に含まれる各値は、k-SAT問題の有効な解に対応しており、1つの解あたり多項式時間で生成可能である。
• この手法により、k-SATが多項式時間で解けることが証明され、P = NPに至ることが結論づけられる。
• 節の組み合わせF_i^0の値集合がクリーニング済み集合V_Cに属するための必要十分条件は、それが明確にできない解集合V_C^1に属することであり、最終出力の正しさが保証される。