第十三章计算复杂性.docVIP

第十三章 计算复杂性 13.1 计算模型 三种常用的计算模型： 随机存取机RAM（Random Access Machine）模型、 随机存取存储程序机RASP（Random Access Stored Program Machine）模型、 图灵机（Turing Machine）模型。 13.1.1 图灵机的基本模型 一、字母表、符号串和语言 1、字母表：非空的有穷符号集合，记为。 2、符号串：由符号组成的有穷序列，上的所有符号串的全体记为。 3、语言：由中的符号按照一定规则构成的长度有限的符号串集合，记为。 把问题实例的描述译按照一定规则码成一个有穷的符号串集合， 这些符号串集合称为语言 例：母表为 图，，用下面的符号串描述它的邻接矩阵： 其中，如果，则，否则，。 二、图灵机 1、图灵机的构成 图灵机由一个控制器和一条无限长的工作带组成，如图13.1所示。 图13.1 图灵机示意图 工作带：划分为许多单元，每个单元可以存放字母表中的一个符号。 控制器：具有有穷个内部状态和一个读写头。 2、图灵机的工作过程 计算的每一步，控制器处于某个状态，读写头扫描工作带的某一个单元符号； 根据当前状态、被扫描单元的内容，决定下一步的执行动作： 把当前单元内容，改写成某一个符号； 使读写头停止不动、向左或向右移动一个单元； 使控制器转移到某一个状态等等。 计算开始时，输入符号串放在工作