10NP-完全问题素材.pptVIP

10 NP-完全问题 学习要点 理解有限自动机、下推自动机和图灵机计算模型 理解P类与NP问题 了解NP-完全问题 思考NP-完全问题的计算机实现 计算模型 建立计算模型的目的是为了使问题的计算复杂性分析有一 个共同的客观尺度。 3个基本计算模型： （1）有限自动机 （2）下推自动机 （3）图灵机 有限自动机 有限自动机 下推自动机 下推自动机 下推自动机 图灵机 图灵机 图灵机 图灵机 图灵机 一些难解问题 一些难解问题 一些难解问题 一些难解问题 一些难解问题 一些难解问题 多项式界与P类问题 多项式界与P类问题 多项式界与P类问题 多项式界与P类问题 多项式界与P类问题 问题求解与判定问题 问题求解与判定问题 P类与NP类问题 一般地说，将可由多项式时间算法求解的问题看作是易处理的问题，而将需要超多项式时间才能求解的问题看作是难处理的问题。 有许多问题，至今人们还没有找到解决这些问题的多项式时间算法，也没有人能够证明这些问题需要超多项式时间下界。 在图灵机计算模型下，这类问题的计算复杂性至今未知。 为了研究这类问题的计算复杂性，人们提出了另一个能力更强的计算模型，即非确定性图灵机计算模型，简记为 NDTM(Nondeterministic Turing Machine)。 在非确定