Ch9、NP完全性理论.pdfVIP

第九讲第九讲 NP 完全性理论完全性理论 第九讲第九讲 完全性理论完全性理论 理解非确定性算法和问题变换等相关概念理解非确定性算法和问题变换等相关概念 理解非确定性算法和问题变换等相关概念理解非确定性算法和问题变换等相关概念 理解理解P 类与类与NP 类问题类问题的概念的概念 理理解解 类与类与 类问题类问题的概念的概念 理解理解NP 完全问题完全问题的概念的概念 理理解解 完全问题完全问题的概念的概念 掌握掌握NP 完全问题完全问题的证明方法的证明方法 掌掌握握 完全问题完全问题的证明方法的证明方法 1 1 P 类与类与 NP 类问题类问题 类与类与 类问题类问题 1.1 可计算性问题可计算性问题 可计算性问题可计算性问题 （（1 ）可计算性问题的层次）可计算性问题的层次 （（）可计算性问题的层次）可计算性问题的层次 若某问题存在求解的算法，则称其为可计算的；若不存在若某问题存在求解的算法，则称其为可计算的；若不存在 若某问题存在求解的算法，则称其为可计算的；若不存在若某问题存在求解的算法，则称其为可计算的；若不存在 算法但是存在求解的过程，则称其为半可计算的；若连求解的算法但是存在求解的过程，则称其为半可计算的；若连求解的 算法但是存在求解的过程，则称其为半可计算的；若连求解的算法但是存在求解的过程，则称其为半可计算的；若连求解的 过程也不存在，则称其为完全不可计算的。过程也不存在，则称其为完全不可计算的。 过程也不存在，则称其为完全不可计算的。过程也不存在，则称其为完全不可计算的。 可计算问题的集合称为递归集；半可计算问题的集合称为可计算问题的集合称为递归集；半可计算问题的集合称为 可计算问题的集合称为递归集；半可计算问题的集合称为可计算问题的集合称为递归集；半可计算问题的集合称为 递归可枚举集；完全不可计算问题的集合称为非递归可枚举递归可枚举集；完全不可计算问题的集合称为非递归可枚举 递归可枚举集；完全不可计算问题的集合称为非递归可枚举递归可枚举集；完全不可计算问题的集合称为非递归可枚举 集。集。 集。集。 【问题】可计算问题的计算复杂性是不是都相【问题】可计算问题的计算复杂性是不是都相同呢？同呢？ 【问题】可计算问题的计算复杂性是不是都相【问题】可计算问题的计算复杂性是不是都相同呢？同呢？ 2 （（2 ）可计算问题的分类）可计算问题的分类 （（）可计算问题的分类）可计算问题的分类 按照最好求解算法的计算时间分类按照最好求解算法的计算时间分类 按照最好求解算法的计算时间分类按照最好求解算法的计算时间分类 ①① 可以用多项式时间算法求解的问题可以用多项式时间算法求解的问题 ①① 可以用多项式时间算法求解的问题可以用多项式时间算法求解的问题 以比较为基础的搜索问题以比较为基础的搜索问题—— O(log(n)) 以比较为基础的搜索问题以比较为基础的搜索问题 以比较为基础的排序问题以比较为基础的排序问题—— On( log(n)) 以比较为基础的排序问题以比较为基础的排序问题 ②② 没有找到多项式时间求解算法的问题没有找到多项式时间求解算法的问题 ②② 没有找到多项式时间求解算法的问题没有找到多项式时间求解算法的问题 2 n 旅行商问题旅行商问题—— On( 2 ) 旅行商