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