[论文解读] Analysis of the postulates produced by Karp's Theorem

Jerrald Meek|ArXiv.org|Aug 24, 2008

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

一句话总结

本文通過挑戰卡普定理的第二條假設，反駁 P = NP 的觀點，該假設認為只要任一 NP-完全問題存在多項式時間解法，則 P = NP。本文證明，無論基於窮舉搜尋、分割策略、問題特定結構，或所謂「神奇」捷徑，任何確定性多項式時間演算法都無法解決所有 NP-完全問題（包括 K-SAT 和 0-1-背包問題），這是因為其規約與輸入依賴性中存在固有的結構與邏輯限制。

ABSTRACT

This is the final article in a series of four articles. Richard Karp has proven that a deterministic polynomial time solution to K-SAT will result in a deterministic polynomial time solution to all NP-Complete problems. However, it is demonstrated that a deterministic polynomial time solution to any NP-Complete problem does not necessarily produce a deterministic polynomial time solution to all NP-Complete problems.

研究动机与目标

• 挑戰普遍認為解決任一 NP-完全問題的確定性多項式時間解法即證明 P = NP 的假設。
• 證明卡普定理的第二條假設——即任一 NP-完全問題的解可導出 K-SAT 的解——在邏輯上站不住腳。
• 顯示無論是窮舉搜尋、分割策略、問題特定結構，或「神奇」捷徑，任何演算法方法都無法為所有 NP-完全問題提供通用的多項式時間解法。
• 確立 0-1-背包問題（及其依賴 K-SAT 的所有 NP-完全問題）無法在確定性多項式時間內求解，除非 K-SAT 本身存在此類解法。
• 透過排除所有可能的演算法途徑，明確結論 P ≠ NP。

提出的方法

• 分析卡普定理的邏輯結構，將第二條假設識別為「解決任一 NP-完全問題即意味 P = NP」信念背後的錯誤假設。
• 應用 P = NP 最佳化定理，排除窮舉搜尋作為 NP-完全問題可行多項式時間解法的可能性。
• 應用 P = NP 分割定理，排除可將搜尋空間縮小至可管理規模的多項式時間分割策略。
• 提出並應用四條專屬於 0-1-背包問題的定理：背包隨機集合定理、組合定理、M 質量規約定理與集合品質定理，以證明任何輸入相關的結構特性均無法產生通用的多項式時間解法。
• 利用 K-SAT 輸入關係定理，證明依賴問題形式或輸入結構的解法無法在不同 NP-完全問題間轉移。
• 最後評估四種可能的演算法途徑（搜尋、分割、直接解法、神奇解法），證明在 NP-完全性與卡普規約的約束下，每一種都失敗。

实验结果

研究问题

• RQ1 根據卡普定理的第二條假設，解決任一 NP-完全問題的確定性多項式時間解法是否必然意味可解決 K-SAT？
• RQ2 是否存在任何演算法策略——如窮舉搜尋、分割或基於結構的優化——可為所有 NP-完全問題提供通用的多項式時間解法？
• RQ3 是否能利用輸入特徵或問題形式的獨特品質，來繞過 NP-完全問題的本質複雜性，進而獲得通用的多項式時間解法？
• RQ4 若已知存在規約關係，能否利用 0-1-背包問題的解法在多項式時間內解決 K-SAT？
• RQ5 是否存在『神奇』解法——即跳脫標準演算法約束的解法——若存在，是否可能證明 P = NP？

主要发现

• 卡普定理的第二條假設——即解決任一 NP-完全問題即意味可解決 K-SAT——並未被卡普原始著作所邏輯支持，因此無效。
• P = NP 最佳化定理排除了窮舉搜尋作為 NP-完全問題可行多項式時間解法的可能性，因其需檢視所有 2^k 種可能賦值。
• P = NP 分割定理排除了使用多項式大小分割來縮小搜尋空間的可能性，因為此類分割無法在多項式時間內找到。
• 背包隨機集合定理、組合定理、M 質量規約定理與集合品質定理共同證明，任何輸入相關的品質特性均無法為 0-1-背包問題提供通用的多項式時間解法。
• K-SAT 輸入關係定理證明，依賴問題形式或輸入結構的解法無法在不同 NP-完全問題間轉移，因此無法產生通用解法。
• 所有四種可能的演算法途徑——窮舉搜尋、分割、直接結構解法與『神奇』解法——在邏輯與數學上均被排除，進而得出 P ≠ NP 的結論。