基本NP完全问题的证明.pptVIP

§5.6 基本NP完全问题的证明 定理1 三可满足问题(3SAT)是NP完全问题。 (证) 整个证明过程分成两步， 先证 3SAT∈NP， 再证明SAT ∝ 3SAT． 3SAT ∈ NP是显然的，因为很容易构造一不确定算法， 该算法第一阶段猜一个函数 f： U→{真, 假}。 然后，第二阶段检测公式F的值， 这只需将公式F中的所有因子u及?u分别用f(u)和f(u)的补替代， 即用“真”或“假”替代， 再对逻辑式求值。 容易看出，第二阶段所需时间是m和n的多项式 其中m是集合U的逻辑变量的个数， n是公式F的项的个数。 SAT ∝ 3SAT就不那末明显了。 先构造映射 g：SAT → 3SAT 其中SAT表示可满足性问题的实例之集合 3SAT表示三可满足性问题的实例的集合。 然后再证明g是多项式转换。 SAT的实例为 ①集合U＝{u1,u2,…,um} ②公式F＝{c1,c2,…,cn}， 其中ci (i＝1，2，…，n)是项。 以U及F为输入，g为3SAT构造实例U′及F′如下所述: U′ = U ∪ U′1 ∪ U′2 ∪ … ∪ U′n F′ = C′1 ∪ C′2 ∪ … ∪ C′n 其中C′j 是项的集合，且每一项含三个因子 因此F′也是项的集合，所以F′是公式。