Cook-Levin理論

Cook – Levin理論或者Cook理論是有關計算複雜度理論的一個定理 。 它證明了布爾可滿足性問題 （ SAT 問題 ） 是NP完全問題 。 即 ： 「 一個布爾方程式是否存在解 」 這個問題本身是一個NP問題 ； 任何其他NP問題都可以在多項式時間內被一決定型圖靈機歸約成這個問題 。 Cook – Levin理論是以史提芬 · 古克和利奧尼德 · 李文爲名 。 這理論一個非常重要的推論爲 ： 如果SAT問題可在多項式時間內被一確定型演算法解決 ， 則所有的NP問題都存在可在多項式時間內解決之的確定型演算法 。 因此 ， 有關以上這個演算法存在與否的問題等價於P / NP問題 — — 現代的理論電腦科學中最重要的未解問題之一 。