库克列文定理的证明

这里只给出证明的思路

首先我们不可能找到所有的np问题，所以不可能实现定义中，所有np问题向SAT问题的多项式规约。

因此，cook 和levin找到了一个从np问题定义的方式来解决SAT完全问题

具体思路为

就是这样。我们现在要在一台非确定图灵机的模拟接受问题。

这时，在每一个图灵机的分支上，形成了一个所谓的画面。这里的设计以后再讲。

反正就是这么一个式子：

注意，我们现在的非确定图灵机有2*exp(nexp(2k))个分支。每一个分支都是上面式子的一个画面。都可以在nexp(2k)时间内完成。同时这个规约是在多项式时间完成的。