[論文レビュー] Refutation of Aslam's Proof that NP = P

Frank J. Ferraro, Garrett Hall+1 more|ArXiv.org|Apr 24, 2009

Advanced Mathematical Theories被引用数 3

ひとこと要約

この論文は、二部グラフにおける完全マッチングの数え上げに関するアスラムの主張したNP = Pの証明を反証し、彼のアルゴリズムにおける重要な欠陥を示している。著者らは、経路列挙の過程で余剰辺を誤って組み合わせることで、正確に3つの有効な完全マッチングが存在する具体例において、アルゴリズムが5つを返すという過剰数え上げを引き起こしていることを示している。これは、#P ⊆ FP であるという彼の主張を無効にし、結果としてNP = Pの主張も無効であることを示している。

ABSTRACT

Aslam presents an algorithm he claims will count the number of perfect matchings in any incomplete bipartite graph with an algorithm in the function-computing version of NC, which is itself a subset of FP. Counting perfect matchings is known to be #P-complete; therefore if Aslam's algorithm is correct, then NP=P. However, we show that Aslam's algorithm does not correctly count the number of perfect matchings and offer an incomplete bipartite graph as a concrete counter-example.

研究の動機と目的

• 二部グラフにおける完全マッチングの数え上げのためのアスラムのアルゴリズムを厳密に分析することで、アスラムがNP = Pを主張することを挑戦すること。
• 完全マッチングの列挙に不正確を引き起こす、アスラムのアルゴリズムにおける特定の欠陥を同定し、それを実証すること。
• 既知の有効な完全マッチングの数が明確に定義された具体例を構築し、アスラムのアルゴリズムの正しさを反証すること。
• アルゴリズムが経路乗算の過程で余剰辺を組み合わせる方法が、過剰数え上げを引き起こし、#P ⊆ FP であるという主張を無効にすることを示すこと。
• アスラムの証明が失敗する理由を、不完全な二部グラフにおける完全マッチングを正しく列挙できないことによって確立すること。

提案手法

• 著者らは、論文のバージョン9に基づいてアスラムのアルゴリズムを分析し、生成グラフΓ(n)と完全有効乗算経路（CVMP）の使用に注目して完全マッチングを列挙している。
• 完全マッチングを転置の列挙から導かれる置換として定義し、Γ(n)内のノードペアから導かれる辺集合によって表現している。
• 特定の不完全な二部グラフBG′を、すべてのCVMPの辺集合の和集合から辺{76}を削除することで構築し、有効な完全マッチングが3つに限定されるようにしている。
• 著者らは、Γ(9)の部分グラフγ上でアルゴリズムの実行をシミュレートし、反復ごとにVMPSetの作成、追加、結合操作を追跡している。
• アルゴリズムが、VMPSet(c₄,c₆)から得られる余剰辺（SE）と、VMPSet(c₁,c₃)の辺要件（ER）が同一であることを無視して組み合わせており、過剰数え上げを引き起こしていることを同定している。
• 主な欠陥は、VMPSet(c₄,c₆)とVMPSet(c₁,c₃)を結合する際、互いに干渉する辺要件を考慮しないで乗算していることであり、これにより2つの無効なマッチングが誤って列挙されている。

実験結果

リサーチクエスチョン

• RQ1 アスラムのアルゴリズムは、生成グラフΓ(n)におけるCVMPを用いて、不完全な二部グラフにおけるすべての完全マッチングを正しく列挙できるか？
• RQ2 与えられた不完全な二部グラフにおいて、実際に存在する完全マッチングの数より多くの完全マッチングを返す反例を構築できるか？
• RQ3 あるVMPSetの余剰辺（SE）が別のVMPSetの辺要件（ER）と一致する場合、加算と乗算によるVMPSetの結合方法は有効か？
• RQ4 過剰数え上げは、経路乗算の過程で辺要件（ER）と余剰辺（SE）を適切に処理しないことによって生じるか？
• RQ5 正確に3つの有効な完全マッチングが存在する状況でアルゴリズムが過剰数え上げを起こすならば、これは#P ⊆ FP であるというアスラムの主張、そして結果としてNP = Pの主張を無効にするか？

主な発見

• アルゴリズムは、有効な完全マッチングが3つしかないグラフに対して5つの完全マッチングを誤って返しており、明確な過剰数え上げの誤りを示している。
• 過剰数え上げは、VMPSet(c₄,c₆)とVMPSet(c₁,c₃)を結合する際、前者のSEが後者のERと一致するため生じており、無効なマッチングが誤って列挙されている。
• 部分グラフγには正確に5つのCVMPが存在するが、BG′における有効な完全マッチングに該当するのは3つに限定され、2つは欠落した辺{76}を含んでいる。
• アルゴリズムは、VMPSetオブジェクトを結合する際、辺要件（ER）を正しく考慮しておらず、ER = ∅ であるCVMPのみを数えるという条件を破っている。
• 著者らは、π(pₐₐ) = (1,9,5,7,8,6,2,4,3) および E(pₐₐ) = {19,24,31,43,57,62,76,85,98} であることを確認しているが、{76}はBG′に存在しないため、pₐₐは無効であり、数えないべきである。
• 欠陥は根本的である：アルゴリズムの乗算ステップは、辺要件の整合性を保つことができず、結果としてNCにおける完全マッチングの数え上げを可能にするという主張を無効にしている。