第2章 N完全理论.pptxVIP

第2章 NP完全理论 ;计算复杂性理论;2.1 问题的计算复杂性;2.1 问题的计算复杂性;2.1 下界; 对问题的输入中必须要处理的元素进行计数，同时，对必须要输出的元素进行计数。这种计数方法产生的是一个平凡下界（Ordinary Lower Bound）.;2.1.2 用决策树（Decision Trees）确认问题的难度下界 ;;2.1.2 用规约方法确认问题的难度下界 ;2.1.3 最优算法 ;2.2 算法的极限 ;2.2.1 易解问题与难解问题 ; 为什么把多项式时间复杂性作为易解问题和难解问题的分界线？;2.2.3 不可解问题 ;2.3 P类问题和NP类问题 ;2.3 P类问题和NP类问题 ;2.3.1 判定问题 ;2.3.2 确定性算法与P类问题 ;2.3.3 非确定性算法与NP类问题 ; 定义2.4 如果对于某个判定问题Π，存在一个非负整数k，对于输入规模为n的实例，能够以O(nk)的时间运行一个非确定性算法，得到yes或no的答案，则该判定问题Π是一个 NP 类（Nondeterministic Polynomial）问题。 ; P类问题和NP类问题的主要差别： ;目前人们猜测P类问题和NP类问题关系如下图所示： 但是这个不等式成立还是不成立，至今没有得到证明。 ;2.4 NP完全问题(NPC) ;2.4 NP完全问题(NPC) ;2.4.1 问题变换与计算复杂性归约 ; 问题变换的一般过程;排序问题——输入I是一组整数X=(x1, x2, …, xn)，输出O是这组整数的一个排列xi1≤xi2≤…≤xin。 配对问题——输入I是两组整数X=(x1, x2, …, xn)和Y=(y1, y2, …, yn)，输出O是两组整数的元素配对，即X中的最小值与Y中的最小值配对，X中的次小值与Y中的次小值配对，依此类推。 ; 配对问题到排序问题的变换有助于建立配对问题代价的一个上限，因为上述输入和输出转换都是在多项式时间完成，所以，如果排序问题有多项式时间算法，则配对问题也一定有多项式时间算法。 ; 定理2.3（计算时间下限归约）若已知问题Π的计算时间下限是T(n)，且问题Π可τ(n)变换到问题Π ，即Π∝τ(n)Π ，则T(n)－O(τ(n))为问题Π的一个计算时间下限（ ∝ 成正比符号）。 ; 定理2.5 设Π、Π和Π是三个判定问题，若Π∝pΠ且Π∝pΠ，则Π∝pΠ。 ;2.4.2 NP完全问题的定义 ; 定义2.7 令Π是一个判定问题，如果对于NP类问题中的每一??问题Π，都有Π∝pΠ，则称判定问题Π是一个NP难问题。 ; 如果Π是NP完全问题，Π是NP难问题，那么，他们之间的差别在于Π必定是NP类问题，而Π不一定在NP类问题中。 一般而言，若判定问题属于NP完全问题，则相应的最优化问题属于NP难问题。 ;2.4.3 基本的NP完全问题 ;NP完全问题的证明思想;目前人们猜测P≠NP，则P类问题、NP类问题、NP完全问题之间的关系如下： ;一些基本的NP完全问题：;2.4.4 NP完全问题的计算机处理