1、计算理论复习题1、 什么是图灵机，图灵机的构造技术以及三种描述方式是什么？(1)图灵机：一个图灵机是一个 7元组（ ， ， ， ， ， ， ， ） ，其Q0qaceptrject中 都是有穷集合，并且 是状态集； 是输入字母表，不包括特殊空白符号,Q 1 2； 是字母表，其中： ； ； 3 ， 4 :,QLR是起始状态； 是接受状态； 是拒绝状态，且 5 0q 6 aceptqQ 7 rejctq。rejctaept(2)构造技术： 有限控制器的存储构造 TM，检查第一个输入是不是出现在输入的其他 1地方； 多道； 查询符号（打标记） ； 移动：如把一个字符串整体后移; 调用子程序。 2 3
2、4 5(3)描述方式： 形式描述，即详尽地写出图灵机的状态、转移函数等，这是最低、最 1详细程度的描述； 实现描述,这种方法使用日常语言来描述图灵机的运行，如怎么移动读 2写头，怎么在带上存储数据等，没有给出 状态和转移函数的细节； 高水平描述，它也是 3使用日常语言来描述算法，但忽略了实现的模型，不再需要提及机器是怎么管理它的带子或读写头。2、什么是图灵机的格局，图灵可识别，图灵可判定？(1)图灵机计算过程中，当前状态、当前带内容和读写头当前位置组合在一起，称为图灵机的格局，也即是瞬间状态。(2)如果一个语言能被某一图灵机识别，则称该语言是图灵可识别的。(3) 如果一个语言能被某一图灵机判定
3、，则称它是图灵可判定的。3、什么是多带图灵机，非确定型图灵机，枚举器，递归可枚举语言？(1)多带图灵机很像普通图灵机，只是有多个带子，每个带子都有自己的读写头，用于读和写。开始时，输入出现在第一个带子上，其它的带子都是空白。转移函数改为允许同时进行读、写和移动读写头，其形式为：Q Qkk,RLk此处 k是带子的个数。表达式 （ ， ， ， ）=（ ， ， ， ，L，R，qia1 kqjb1 k，L）指的是：若机器处于状态 ，读写头 1到 k所读的符号分别是 ， ， ， i a则转移到状态 ，写下符号 ， 。 ， ，且按此式所指示的那样移动每个读写头。qjb1 k推论 1：每个多带图灵机都有一个
4、与之等价的单带图灵机。推论 2：一个语言是图灵可识别的，当且仅当有多带图灵机识别它。(2)非确定型图灵机：非确定型图灵机在计算的任何时刻，机器可以在多种可能性中选择一种继续进行。它的转移函数具有如下形式：Q (Q L，R，S)3其计算是一棵树，不同分枝对应着机器不同的可能性。如果计算的某个分枝导致接受状态，则接受该输入。推论 1：每个非确定型图灵机都有一个与之等价的确定型图灵机。推论 2：一个语言的是图灵可识别的，当且仅当有非确定型的图灵机识别它。推论 3：一个语言是可判定的，当且仅当存在非确定型图灵机判定它。(2)枚举器：它是图灵机的一种变形，是带有打印机的图灵机。每当图灵机想在打印序列中增
5、加一个串时，就把串送到打印机。推论：一个语言是图灵可识别的，当且仅当有枚举器枚举它。(3)递归可枚举语言：能够被图灵机识别的语言称为递归可枚举语言。4、什么是丘奇-图灵论题,可判定语言，接受计算历史？(1)丘奇-图灵论题：丘奇使用 演算的记号系统定义算法，图灵使用机器定义算法，这两个定义是等价的，算法的非形式概念和精确定义的联系被称为丘奇-图灵论题，即算法的直接概念等于图灵机算法。(2)可判定语言：如果一个语言，存在某图灵机判定它，则称这个语言是图灵可判定的或可判定的。(3)接受计算历史：设 M 是一个图灵机， 是一个串。M 在 上的一个接受计算历史是一个格局序列 ， ， ，其中： 是 M 在
6、 上的起始格局， 是 M 的一个接受格局，1c lclc且每个 都是 的合法结果。ii5、判断下列语言是否可判定，证明其中一个？ 注：(i) 有时称为停机问题真正的停机问题是TMATMHAL(ii) 不是图灵可识别的。(1) 可判定,| DFABDFB是 ， 是 串 ， 接 受(2) 可判定|CGCG是 ， 是 串 ， 派 生(3) , , 不可判定TMHL| TM， 是 ， 是 串 ， 接 受(4) 可判定|()DFAEFAL是 ， 且(5) 不可判定|TM是 一 个 ,且 =(6) 不可判定| PC是 波 斯 特 对 应 问 题 的 一 个 实 例 ， 且 P有 匹 配(7) E ，REG
7、ULAR , ，都是不可判定的。TMTMEQ(8) 可判定,| NAFBNFAB是 ， 是 串 ， 接 受(9) 可判定|REX R是 正 则 表 达 示 ， 是 串 ， 派 生(10) 可判定,| ()DFAQDL和 都 是 且(11) 可判定|CGCFG是 ， 是 串 ， 派 生(12) 可判定| ()CFGELA是 一 个 CFG,且 ()=， 且(13) 不可判定,|QHH和 是 且(14) LBALBACFG可 判 定 ， 和 不 可 判 定证明 是不可判定的。| TMTM， 是 ， 是 串 ， 接 受证明：假设 是可判定的。设 H 是 的判定器。令 M 是一个 TM， 是一个串。在
8、输入上，如果 M 接受 ，则 H 就停机且接受 ；如果 M 不接受 ，则 H 也会停机，但拒绝 。即 H 是一个 TM 使得：H()=不 接 受拒 绝 ， 如 果 接 受接 受 ， 如 果现在来构造一个新的图灵机 D，它以 H 作为子程序。当 M 被输入它自己的描述时，TM D 就调用 H，以了解 M 作什么。一旦得到这个消息， D 就反着做，即：如果 M 接受，它就拒绝；如果 M 不接受，它就接受。下面是 D 的描述：D=“对于输入,其中 M 是一个 TM：1）在输入上运行 H。2）输入 H 输出的相反结论，即，如果 H 接受，就拒绝；如果 H 拒绝，就接受。 ”得出：D()=接 受拒 绝
9、， 如 果 不 接 受接 受 ， 如 果当以 D 的描述作为输入来运行 D 自身时，得到：D()= 接 受拒 绝 ， 如 果 不 接 受接 受 ， 如 果不论 D 做什么，它都被迫相反地做，这显然是一个矛盾。6、证明一个语言是可判定的，当且仅当它既是图灵可识别的，也是补图灵可识别的。证明：(i) 必要性：如果 A 是可判定的，任何可判定语言都是图灵可识别的，且任何可判定语言的补也是可判定的，所以 A 和它的补 都是图灵可识别的(ii)充分性：令 是 A 的识别器， 是 的识别器。下列图灵机 M 是 A 的判定器：1M2AM=“对于输入 ：1) 在输入 上并行运行 M 和 M 。122) 如果
10、M 接受，就接受；如果 M 接受，就拒绝。 ”1并行地运行两个机器指地是：M 有两个带，一个模拟 M 一个模拟 M 。此时，M 交替地12模拟两个机器的一步。一直持续到其中之一停机。现在证明 M 确实判定 A。任一个串 要么在 A 中，要么在 中。所以，M 和 M 必12定有一个接受 。因为只要 M 或 M 接受，M 就停机，所以 M 总会停机，因而是个判定12器。还有，M 接受所有在 A 中的串，拒绝所有不在 A 中的串。故 M 是 A 的判定器。因而A 是可判定的。7、什么是线性界限自动机（LBA） ，映射可归约性，可计算函数，多项式时间可归约性？(1)线性界限自动机（LBA）是一种受到限
11、制的图灵机，它不允许其读写头离开包含输入的带区域。如果此机器试图将它的读写头移出输入的两个端点，则读写头就待在原地不动。这与普通图灵机的读写头不会离开带子的左端点的方式是一样的。(2)将一个问题归约为另一个问题的概念可以用多种方式来形式定义，选择使用哪种方法要根据具体应用情况。我们的选择是一种简单方式的可归约性叫映射可归约性。语言 A是映射可归约到语言 B 的，如果存在可计算函数 f： 使得对每个 ，*，记 ，称函数 f 为 A 到 B 的归约。f()AmA(3)可计算函数：函数 f： 是一个可计算函数，如果有某个图灵机 M，使得在*每个输入 上，M 停机，且此时只有 f( )出现在带上。(4
12、) 多项式时间可归约性：语言 A 多项式时间可归约到 B，记为 ，若存在多项Ap式时间可计算函数 ，对于每一个 ，有 ，函数 称为*:f wwffA 到 B 的多项式时间归约。8、证明如果 A B 且 B 是可判定的，则 A 也是可判定的。m注：关于可归约性的其它一些类似推论证明见课本 130131证明：设 M 是 B 的判定器， f 是从 A 到 B 的归约。A 的判定器 N 的描述如下：N=“对于输入 ：1） 计算 f( )。2） 在 f( )上运行 M，输出 M 的输出。 ”显然，如果 A，则 f( ) B，因为 f 是从 A 到 B 的归约。因此，只要 A，则 M 接受 f( )。故
13、N 的运行正如所求。9、什么是时间复杂度，P 类，NP 类，NP 完全性？(1)时间复杂度：令 M是一个在所有输入上都停机的确定型图灵机。M 的运行时间或者时间复杂度，是一个函数 其中 是非负整数集合， 是 M 在所有长度为:,fN()fnn 的输入上运行时所经过的最大步数。若 是 M 运行时间，则称 M 在时间 内运()fn()f行，M 是 时间图灵机。()fn(2) P 类是确定型单带图灵机在多项式时间内可判定的语言类。换言之，kkTIEp在理论中，P 类扮演核心的角色，它的重要性在于：1) 对于所有与确定型单带图灵机多项式等价的计算模型来说，P 是不变的；2) P 大致对应于在计算机上实
14、际可解的那一类问题。(3) NP 是具有多项式时间验证机的语言类。(4) NP 完全性：如果语言 B 满足下面两个条件，就成为 NP 完全的：（1）B 属于NP，并且（2） NP 中的每个 A 都多项式时间可归约到 B。10、 证明 3SAT 多项式时间可归约到 CLIQUE。注：题中涉及的图见课本 168 页证明：设 是 k个子句的公式，如112233()()()abcabcabc归约 f生成字符串，其中 G是如下定义的无向图。G 中的结点分成 k组 ，123,.ktt每组是三个结点的三无组。每个三元组对应于 中的一个子句，三元组中的每个结点对应于相应子句的一个文字。G 的每个结点用它对应的
15、 中的文字做标记。除两种情形以外，G的边连接了所有的结点对。同一个三元组内的结点无边相连，相反标记的两个结点无边相连。要证明原命题，即证 是可满足的当且仅当 G有 k-团。 （1）假定 有满足赋值。在满足赋值下，每个子句中至少一个文字为真。在 G的每个三元组中，选择在该满足赋值下为真的文字对应的结点共 K个，这 K个结点形成一个 k团。所以 G包含 k团。 （2）假定 G有k团。因为在同一个三元组中的结点都无边相连，所以团中的任何两个结点都不在同一个三元组中。因此 k个三元组中的每一个都恰好包含团的一个结点。给 的变量赋真值，使得标记团结点的每一个文字都为真，因为具有相反标记的两个结点无边相连
16、，所以不可能两个都在团中。给变量的这种赋值满足 ，因为每个三元组包含一个团结点，所以每个子句包含一个赋值为 TRUE的文字。 可满足。11、VERTEX-COVER(顶点覆盖 )是 NP 完全的。证明：这里给出一个从 3SAT 到 VERTEX-COVER 的在多项式时间内运算的规约的细节内容，该规约把布尔公式 映射为一个图 G 和值 k。对于 中的每个变量 x，产生一条连接着两个结点的边。把这个构件中的两个结点标记为 。把 x 赋值为 TRUE 对应于顶点覆盖和选择该边的左结点，而赋值为 FALSE 对应于右结点。每个子句的构件使用该子句的三个文字标记的三个节点组成的三元组。这三个节点互相连
17、接，并且与变量构件中间具有相同标记的节点相连接。因此出现在 G 中的节点总数是,其中有 m 个变量和 个子句。令 。l32llmk2为证明该规约满足要求，需要证明可满足当且仅当 G 有 k 个结点的顶点覆盖。从一个满足赋值开始，首先把变量构件中对于赋值中真文字的结点放入顶点覆盖中。然后，在每个子句中挑选一个真文字，把每个子句构件中剩下的两个结点放入顶点覆盖中，现在共有 k 个结点。它们覆盖所有的边，因为显然每个变量构件的边被覆盖了，在每个子句构件中的所有三条边也被覆盖了，所有介于变量构件和子句构件之间的边也被覆盖了。所以 G有 k 个结点的顶点覆盖。其次，如果 G 有 k 个结点的顶点覆盖，通
18、过构造满足赋值 来证明是可满足的。为了覆盖变量构件的边和子句构件的三条边，顶点覆盖必须包含每个变量构件的一个结点以及每个子句构件中的两个结点。这就占用了全部顶点覆盖的结点，没有剩余的份额。选取变量构件中在顶点覆盖中的结点，把相应的文字赋值为真。这个赋值满足 ，因为连接变量构件和每个子句构件的三条边都被覆盖了，而子句构件中只有两个结点在顶点覆盖中，所以其中一条边必定被变量构件中的一个结点覆盖，因此赋值满足相应的子句。12、判断下列语言所属类别（P，NP，NP 完全）？(1)PATH属于 P类(2)PELPRIME(互素问题)属于 P类(3)CLIQUE属于 NP完全问题和 NP类(4)SUBSE
19、T_SUM属于 NP完全问题和 NP类(5)HAMPATH属于 NP完全问题和 NP类(6)每一个上下文无关语言（CFL）者是 P类的成员(7)SAT，VERTEX-COVER，UHAMPATH 属于 NP完全问题和 NP类13、什么是空间复杂度，萨维奇定理结论，PSPACE 类， PSPACE 完全性，三个 PSPACE完全性问题例子？(1) 空间复杂度：令 M 是一个在所有输入上都停机的确定型图灵机。M 的空间复杂度是一个函数 ，其中 f（n）是 M 在任何长为 n 的输入上扫描带方格的最大数。Nf:(2) 萨维奇定理表明确定型机器可以用非常少的空间模拟非确定型机器。对于时间复杂性，这种模
20、拟似乎需要指数倍地增加时间。对于空间复杂性，任何消耗 空间的非()fn确定型 TM都可以转变为仅消耗 空间的确定 TM。2()fn(3) PSPACE 是在确定性图灵机上，在多项式空间内可判定的语言类，换言之，。kkSPACE(4) PSPACE 完全性：语言 B 是 PSPACE 完全的，若它满足下面两个条件： 1）B 属于PSPACE。2） PSPACE 中的每一个语言 A 都多项式时间可归约到 B。(5) TQBF，FORMULA-GAME，GG 是 PSPACE 完全的14、什么是 L 类，NL 类，NL 完全性, coNL 类？(1) L 是确定型图灵机在对数空间内可判定的语言类。换
21、言之， nSPACELlog(2)NL 是非确定型图灵机在对数空间内可判定的语言类。换言之， nNSPACELlog(3) NL 完全性：语言 B 是 NL 完全的，如果（1） ，并且（2）NL 中的每个NLBA 对数空间可归约到 B。(4)若 ,则 , NL 等于 coNL。coNL15、试描述 P类、NP 类、PSPACE 类、NPSPACE、L 类、NL 类、coNL 类、ExpTIME 类，并给出它们之间的分层。注：描述见以上总结LNcoPSACENPSExpTIM16、由无限二进制序列构成的集合是不可数的。以 记所有的无限二进制序列构成的集合。可以通过对角化的方法来证明 是不可数的。
22、证：存在语言不是图灵可识别的。对于任意的字母表 ，其上所有串的集合 是可数*的，每个图灵机有一个编码，它是一个.去掉那些不是图灵机合法编码的串，即得到所有图灵机的序列，所以由所给图灵机构成的集合是可数的。设 B 是由所有无限二进制序列构成的集合，通过对角化方法可证明其是不可数的。设 L 是字母表 上所有语言的集合， 。每个语言 在 B 中都*1234,.sAL有唯一的一个相应序列：如果 ，则此序列的第 i 位为 1；如果 ，此序列的第 i1sA1s位为 0.令 为： 是 A 的特征序列，则 是一一映射，因 B 是不可数的，故 L:fLB()f f也是不可数。17、相关定理补充：(1)设 是一个函数， 。则每一个 时间的多带图灵机都与某一个ntntnt时间的单带图灵机等价2()o(2) 设 是一个函数， 。则每一个 时间的非确定型单带图灵机都与某一ttt个 时间的确定型单带图灵机等价。()on18、构造一些模拟公式的结构图 见书 175(哈密顿路径问题) 和 196 页
