[論文レビュー] Analysis of the Deterministic Polynomial Time Solvability of the 0-1-Knapsack Problem

Jerrald Meek|ArXiv.org|May 5, 2008

Optimization and Packing Problems参考文献 4被引用数 3

ひとこと要約

本論文は、0-1-ナップサック問題が決定的多項式時間で解けないことを主張しており、P = NP のための必要条件である代表的多項式探索分割を生成する効率的な方法が存在しないと述べている。主な貢献は、このような分割を効率的に見つけることができないことを形式的に示したことであり、P は NP の真部分集合であることを示唆している。

ABSTRACT

Previously the author has demonstrated that a representative polynomial search partition is required to solve a NP-complete problem in deterministic polynomial time. It has also been demonstrated that finding such a partition can only be done in deterministic polynomial time if the form of the problem provides a simple method for producing the partition. It is the purpose of this article to demonstrate that no deterministic polynomial time method exists to produce a representative polynomial search partition for the Knapsack problem.

研究の動機と目的

• 0-1-ナップサック問題を決定的多項式時間で解くことができるアルゴリズムが存在しないことを確立すること。
• NP完全問題のための代表的多項式探索分割を多項式時間で見つけることが不可能であることを示すこと。
• 探索空間の分割における構造的制限を分析することで、P が NP の真部分集合であるという主張を強化すること。
• 全探索と形式ベースの最適化の両方が、多項式時間解法への実行可能な道筋でないことを排除すること。
• 0-1-ナップサック問題における効率的探索分割の不可能性を証明することで、P ≠ NP という広範な予想を支持すること。

提案手法

• すべてのアイテムの部分集合を表す集合論的表現を用いて、0-1-ナップサック問題の構造を分析する。
• 代表的多項式探索分割を、問題を解くために多項式時間で調べられる入力集合の部分集合として定義する。
• ある分割を特定するアルゴリズム A(S) とその補集合を特定するアルゴリズム ¬A(S) の論理的同値性を用いて、一方が存在するならば他方も存在することを示す。
• P = NP 分割定理を適用し、NP完全問題を多項式時間で解くには、このような分割を効率的に見つける必要があると主張する。
• 背理法と論理的同値性を用いて、ナップサック問題に対してはこのような効率的分割法が存在しないことを示す。
• 確率的およびSATベースのアプローチが、決定的多項式時間解法への実行可能な道筋でないことを検討し、拒否する。

実験結果

リサーチクエスチョン

• RQ1 0-1-ナップサック問題のための代表的多項式探索分割を決定的多項式時間で生成することは可能か？
• RQ2 ナップサック問題に、そのような分割を効率的かつ直接的に特定するための構造的性質が存在するか？
• RQ3 代表的多項式探索分割を特定できないという事実が、P ≠ NP を示唆するか？
• RQ4 確率的またはSATベースの手法は、このような分割の必要性を回避し、多項式時間解法を達成できるか？
• RQ5 探索空間の分割の複雑さという観点から、ナップサック問題はすべてのNP完全問題を代表しているか？

主な発見

• 決定的多項式時間アルゴリズムは、0-1-ナップサック問題の代表的多項式探索分割を生成できない。
• 分割とその補集合を特定する作業の論理的同値性から、片方が不可能であれば、もう片方も不可能であることが示される。
• 特定の要素や組み合わせを含む部分集合を除外しても、依然として指数的サイズの探索空間が残り、多項式時間での短縮は不可能である。
• 確率的手法は多項式時間内に正しさを保証できないため、P = NP の要件を満たさない。
• SATに対する決定的多項式時間解法は必要だが、還元によって転送可能でない限り十分ではない。この分析により、その可能性は排除される。
• 本論文は、必要な制約下でナップサック問題が解けないという事実に基づき、P は NP の真部分集合であると結論づける。