庫克-李文定理

在計算複雜度理論內，Cook–Levin理論或者Cook理論，證明了 布爾可滿足性問題(SAT)是NP完全問題。換句話說，任何NP裡面的問題可以在多項式時間內，使用決定性圖靈機，將之歸約成「一個布林方程式是否存在解」這個問題。

這理論一個非常重要的結果是，如果存在一個決定型多項式時間演算法，可以解決SAT的話，則對於所有的 NP裡面的問題都存在決定型多項式時間演算法。而且，非常重要的，這對其他的NP完全問題也都成立。