§5．4转换及NP完全Read.pptVIP

§5．4 转换及NP完全 很多人相信P≠NP，但还没得到证明。 　如这一命题正确，则P是NP的一个真子集。 　则集合(NP－P)不是空集, 这是个很重要的集合.　 　集合P中的每一个问题都可用多项式时间算法解决， 　而(NP－P)中的问题则不能. 对于一个问题Π ∈ NP，我们须知道Π属于P还是属于(NP－P)． 定义1 将一个语言L1 ? ∑1*转化为语言 L2 ? ∑2*的多项式转换是一个函数 f：∑1*→∑2* ； 且满足以下两条件 1．存在一多项式时间的确定型图灵机， 　　用于计算函数值f(x)(x ∈ ∑1*)． 2．x ∈ L1 (x ∈ ∑1*) ≡ f(x) ∈ L2 如存在将语言L1转化为L2的多项式转换，则记作 L1 ∝ L2 命题1 如L1 ∝ L2，且L2 ∈ P，则L1 ∈ P． 其等价的命题为，如L1 ∝ L2且L1 ? P， 则L2 ? P． (证) 设L1 和L2的字汇表分别为∑1和∑2， 　　将L1转化为L2的多项式转换为 　　　f：∑1*→∑2* ； 令计算f(x)的多项式时间确定型图灵机为Mf?， 　识别L2的多项式时间确定型图灵机为M2． 现构造一个确定型图灵机使其功能为识别语言L1 . 　为此只须将Mf与M2组合起来， 　让Mf的输出为M2的输入。