NP完全理论的基本概念.PDFVIP

NP完全理论的基本概念完全理论的基本概念 判定问题和语言判定问题和语言 判定问题定义与描述 判定问题与语言的关系判定问题与语言的关系 P类与NP类 难解的问题与多项式难解的问题与多项式可解的问题解的问题 P类与NP类定义 多项式变换与多项式变换与NP完全性完全性 多项式变换的定义及性质 NPNP完全的定义完全的定义 Cook定理 1 判定问题和语言判定问题和语言 判定判定问题的定义的定义 陈述判定问题的标准格式 引入判定问题的理由 判定问题的形式描述判定问题的形式描述————语言语言 算法的形式描述——Turing机 2 判定问题的定义和描述判定问题的定义和描述 定义定义一个判定问题个判定问题π= ((DDπ,YYπ)), 其中其中DDπ为实例集为实例集, Yπ⊆Dπ为肯定实例的集合. 任给实例I ∈Dπ, 问I ∈Yπ? 陈述一个个判定问题的标标准格格式 对实例中参数的一般描述和一个肯定--否定问题. 子图同构问题 实例: 两个图G =( V ,E ), G =( V ,E ) 1 1 1 2 2 2 问: G1 是否包含与G2 同构的子图? 即是否存在子集 V’⊆V , E’⊆E 使得|V’|=|V |, |E’ |=|E |, 且有双射 1 1 2 2 ff :V →V’’ 满足以下条件满足以下条件 2 {u,v}∈E2 ⇔{f (u), f (v) } ∈E’ ? 3 引入判定问题的理由引入判定问题的理由 判定问题的形式化描述简单判定问题的形式化描述简单. 许多优化问题的难度与判定问题的难度相关. 判定问题∝优化问题 ((1)) 将判定问题转换为优化问题. 时间为O((gg ((n)))) (2) 调用解优化问题的算法求解优化问题. 时间为O(f (n)) ((3)) 用优化问题的解得到判定问题的解用优化问题的解得到判定问题的解. 时间时间O((h((n)))) (4) 总时间：O(g (n)+f (n)+h(n)) 若若gg ((nn)) 和和hh((nn)) 为为oo((ff ((nn)))) ，，判定问题时间为判定问题时间为OO((ff ((nn)))) 实例：巡回售货员问题是优化问题. 如果在实例中加参数 BB, 问是否存在长度不超过问是否存在长度不超过BB 的旅行的旅行?? 得到对应的判定问题得到对应的判定问题. 4 判定问题与语言判定问题与语言 语言的定义语言的定义 ∑为有穷字符集 * ∑ 是∑ 上所用有穷字符串的集合 * ∑ 的任何子集为∑ 上的语言 判定问题与语言的关系 在合理的编码系统在合理的编码系统e下下,, 判定问题的任意实例被编码成判定问题的任意实例被编码成 c1 一个字符串x 10 5 巡回售货员问题的实例巡回售货员问题的实例 99