[论文解读] 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 的证明中所使用的二分图完美匹配计数算法中的关键缺陷，驳斥了其声称。作者指出，该算法在路径枚举过程中错误地合并了多余边，导致在存在恰好三个有效完美匹配的实例中，算法返回了五个结果，从而造成重复计数。这否定了其声称的 #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) 和完整有效乘法路径（CVMPs）在枚举完美匹配中的应用。
• 他们将完美匹配定义为通过换位序列导出的排列，并通过 Γ(n) 中节点对导出的边集来表示。
• 该方法通过从所有 CVMP 边集的并集中移除边 {76}，构建一个特定的不完备二分图 BG′，以确保仅保留三个有效完美匹配。
• 作者在 Γ(9) 的子图 γ 上模拟算法的执行过程，追踪各次迭代中 VMPSet 的创建、添加和合并操作。
• 他们发现，该算法错误地将 VMPSet(c₄,c₆) 的多余边（SE）与 VMPSet(c₁,c₃) 的边需求（ER）结合，导致重复计数。
• 关键缺陷在于：算法在未考虑边需求冲突的情况下，将 VMPSet(c₄,c₆) 和 VMPSet(c₁,c₃) 进行乘法运算，从而错误地枚举出两个无效匹配。

实验结果

研究问题

• RQ1 阿斯拉姆的算法是否能通过生成图 Γ(n) 中的 CVMP 正确枚举不完备二分图中的所有完美匹配？
• RQ2 能否构造一个反例，使得算法在给定的不完备二分图中返回的完美匹配数量多于实际存在的数量？
• RQ3 当一个 VMPSet 的多余边与另一个 VMPSet 的边需求相匹配时，通过加法和乘法结合 VMPSet 对象的方法是否有效？
• RQ4 重复计数是否源于在路径乘法过程中对边需求（ER）和多余边（SE）的处理不当？
• RQ5 若在恰好存在三个有效完美匹配的情况下，该算法仍出现重复计数，是否足以否定其声称的 #P ⊆ FP，从而否定 NP = P 的结论？

主要发现

• 该算法在仅存在三个有效完美匹配的图中错误地返回了五个结果，明确暴露出重复计数的错误。
• 重复计数的原因在于算法将 VMPSet(c₄,c₆) 和 VMPSet(c₁,c₃) 结合，其中前者多余边与后者边需求完全匹配，导致错误枚举。
• 子图 γ 中恰好包含五个 CVMP，但只有三个在 BG′ 中对应有效完美匹配，因为其中两个包含了缺失的边 {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 中计数完美匹配的论断失效，也使其无法证明 NP = P。