[数学]第十三章 计算复杂性.doc

第十三章 计算复杂性 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、图灵机的工作过程 计算的每一步，控制器处于某个状态，读写头扫描工作带的某一个单元符号； 根据当前状态、被扫描单元的内容，决定下一步的执行动作： 把当前单元内容，改写成某一个符号； 使读写头停止不动、向左或向右移动一个单元； 使控制器转移到某一个状态等等。 计算开始时，输入符号串放在工作带上，控制器处于初始状态，读写头扫描输入符号串左端的第一个符号； 如果对于当前的状态和所扫描的符号，没有下一步的动作，则图灵机就停止计算。 3、图灵机的形式定义 定义13.1 图灵机是一个六元组：，其中： (1) ：控制器的非空有限状态集合； (2) ：有限的工作带符号集合，包括空白符； (3) ：输入符号字母表，； (4) ：初始状态，； (5) ：最终状态或接受状态，； (6) ：转移函数，它把的某一个元素，映射为中的元素。 4、转移函数的说明 1）转移函数的定义域： 2）转移函数的值域： 3）：读写头的动作 左移一个单元； 停止不动； 右移一个单元； 4）转移函数的含义： 控制器当前状态为、读写头扫描到的符号为时，图灵机执行的动作为： 把控制器状态修改为；把符号修改为符号；使读写头向右移动一个单元。 二、图灵机的格局 1、图灵机的格局 描述计算中每一步控制器所处的状态，及读写头的位置。 2、图灵机格局的定义 定义13.2 令是一个图灵机，的格局是一个二元组： 其中，，表示图灵机在此格局下控制器的状态； 是工作带上的内容。 表示在此格局下读写头的位置； 表示处于读写头左边的符号串； 表示处于读写头右边的符号串。 读写头指向符号串的第一个符号。 ，表示图灵机的一个初始格局，此时，为空串； 3、可接受格局： 格局中的是可接受状态，即，则称是可接受格局； 4、停机格局 格局中，的第一个符号是，转移函数没有定义，则称是停机格局。 三、图灵机的计算 1、图灵机的计算： 是一个有穷、或无穷的格局序列，如果每一个都由经过一步得到，就称这个序列是一个计算。 2、图灵机计算的停机状态 1）计算是有穷序列， 是可接受的停机格局，称停机在接受状态。 称图灵机接受符号串； 2）计算是有穷序列， 不是可接受的停机格局，称停机在拒绝状态。 称图灵机不接受符号串，或拒绝符号串 3）计算是无穷序列，永不停机。 3、图灵机对语言的识别 定义13.3 若符号串，图灵机接受符号串，有 则称图灵机接受语言，或图灵机识别语言。 例13.1 构造一个识别语言的图灵机。 思想方法： 使读写头来回移动，成对地对输入符号串左端的和右端的作标记。 如果的全部符号都作了标记，则左边的与右边的个数相等，； 否则，。 图灵机的构造： ； ； ； ； 转移函数如表13.1所示，其中，为接受状态，为拒绝状态。 表13.1 转移函数表 ，图灵机的工作过程如下： 图灵机的格局 应执行的动作 ， ， ， ， ， ， ， ， ， ， ， ， ， ， ， ， ， ， ， 13.1.2 k带图灵机和时间复杂性 一、带图灵机 1、带图灵机： 有个工作带，每个工作带有一个读写头，都可以独立地移动。 2、带图灵机的形式定义 1）形式定义 定义13.4 带图灵机是一个六元组：，其中 (1) ：控制器的非空有限状态集合； (2) ：有限的工作带符号字母表，包括空格符； (3) ：输入符号字母表，； (4) ：初始状态，； (5) ：最终状态或接受状态，； (6) ：转移函数，把的某一个元素，映射为中的元素。 2）转移函数的定