计算机算法基础教学课件ppt作者沈孝钧第14章-PPT-N2课件.pptxVIP

第 14 章 NP-完全问题讨论问题的复杂性。根据其难易程度把问题分类。如果一个问题有多项式的算法，则称为可驾驭的(tractable)，否则为不可驾驭的(intractable)，分别称为容易和难问题。存在着一大类问题，人们至今也不知道它们是否可驾驭。我们把这类问题称为NP-完全(NP-complete或NPC)问题。 本章内容：预备知识P和NP语言类NP-完全语言类和NP-完全问题14-1? ? ? ? ? ?01BB01B1有限状态控制器14.1 预备知识图灵机符号集和编码对计算复杂度的影响判断型问题和优化型问题及其关系判断型问题的形式语言表示多项式关联和多项式归约图灵机图灵机TM(Turing Machine)，通常指确定的图灵机(Deterministic Turing Machine)，是一个简单的计算模型。14-2图灵机由一个有限状态控制器和一条右端无限长的读写带组成。读写带从左到右划分为无限多个连续的方格，每个方格可存放一个有限字符集?中的一个符号。空白的格子由一个特殊符号B表示。有限状态控制器在任一时刻处于集合Q中有限个状态中的一个状态q并控制一个读写头进行读写操作。这个读写头在任一时刻扫描读写带上的一个方格中的字符a。然后，有限状态控制器根据其当前的状态和扫描的字符做三件事：更改下一时刻的状态为q’ 更新所扫描的字符为a’决定读写头向左(L)移动一个方格，或向右