ADS10 NP-Completeness

TURING MACHINE:Infinite Memory, finite state

Nondeterministic Turing Machine: 可以自由选择下一步是什么

Deterministic Turing Machine:下一步是什么是不确定的

NP:任何解都可以在多项式时间内得到

NP-Complete Problems:所有NP问题可以归约为NPC问题

如果问题A可以在多项式时间中转换为问题B，问题B是NP，那么问题A是NP

abstract problem: 是从问题集合I到解集合S的二元映射

concrete problem：将问题集合编码为01字符串

Decideble: 可解决的

Decideble:问题有解->NP:解可以在多项式时间内得到->NP-complete：NP问题可以归约为NPC问题

accept x: 算法认为x在解集中。

reject x: 算法认为x不在解集中。

decide L: L中的解都被accept，不在L中的解都被reject

verification algorithm: 二参数算法A,一个参数是约束关系x，另一个参数是待判断的解y，如果A(x,y)=1说明y在解集中。

language verified by a verification algorithm A: 存在y，A(x,y)=1

language L belongs to NP: 存在A,y=O(|x|^c)，A(x,y)=1

x是解的限制，语言L是限制的集合，y是具体的解

L1 ≤P L2：L1的解经过转换可以变成L2的解

L是LPC：1.L属于NP,2.所有问题L’<=p L