计算理论2013 12题.docVIP

2013年试题 填空题 语言类P、PSPACE、NP、NPSPACE、EXPTIME之间的关系为（）。 产生语言{12n03n|n≥0}的上下文无关文法是（）。 命题“利用递归定理，一个TM M可以得到自己的描述M”是（正确的）。（正确的、错误的） 命题“A≤MB和含义相同”是（正确的）。（正确的、错误的） 上下文无关文法为乔姆斯基范式，是指其中的每一个规则具有如下形式（）。 萨维奇定理指出：对于任何函数f:N→R+,其中f(n)≥n,（ ） 空间层次定理证明了空间复杂性类不全相同，它们形成一个层次结构，其中（时空界限较大的类比时空界限较小的类）包含更多的语言。 语言B是NL完全的，如果（1）并且（2）NL中的每个A（对数空间）可规约到B，例如（PATH）是NL完全的。 如果一个最小化问题的近似算法总能找到不超过最优解k倍的可行解，则称这个算法是（k-优）的。 根据概率错误，定义RP是多项式时间概率图灵机识别的语言类，其中，不在语言中的输入以概率（1）被拒绝。 问答题 说明有穷自动机、正则表达式、下推自动机、图灵机的异同点。 对于图示的DFA M，回答下列问题，并说明理由 是，DFA M接受0100 否，M不接受011 否，输入不完全，因此形式不正确 否，前半部分不是 正则表达式，因此形式不正确 否，M的语言非空 是，M接受和它自身相同的语言 非确定性图灵机、概率图灵机和交错式图灵机是如何体现非确定性的？ 构造题 构造PDA。使其接受语言{0n1n+1|n≥0}。要求给出相应的形式描述和状态转移图。 构造一个可判定语言A={0n1n0n|n≥0}的图灵机M，并分析该图灵机算法的时间复杂性。 证明题 证明P在并、连接和补运算下封闭。NP在并和连接运算下封闭。 答案：P在并、链接和补运算下封闭。 (1) 并： 对任意 L1, L2(P，设有na时间图灵机M1和nb时间图灵机M2 判定它们，且c=max{a,b}。 对L1(L2 构造判定器M: M=“对于输入字符串w : 在w上运行M1，在w上运行M2。 若有一个接受则接受，否则拒绝。” 时间复杂度：设M1为O(na),M2为O(nb)。令c=max{a,b}。 第一步用时O(na+nb) ，因此总时间为O(na+ nb)=O(nc), 所以L1(L2属于P类，即 P在并的运算下封闭。 (2) 连接： 对任意 L1, L2 属于P 类，设有na时间图灵机M1和nb时间图灵机M2 判定它们，且c=max{a,b}。对L1L2 构造判定器M: M=“对于输入字符串w=w1,w2,…,wn， 对k=0,1,2,…,n重复下列步骤。 在w1w2…wk上运行M1，在wk+1wk+2…wn上运行M2。 若都接受，则接受。否则继续。 若对所有分法都不接受则拒绝。“ 时间复杂度：(n+1)×(O(na)+O(nb))=O(na+1)+O(nb+1)=O(nc+1)，所以L1L2属于P类，即 P在连接的运算下封闭。 (3)补： 对任意 L1属于P 类，设有时间O(na)判定器M1判定它，对构造判定器M: M=“对于输入字符串w : 在w上运行M1。 若M1接受则拒绝，若M1拒绝则接受。” 时间复杂度为：O(na)。所以属于P类，即 P在补的运算下封闭 。 NP在并和连接运算下封闭 (1) 并： 对任意 L1, L2(NP，设分别有na时间非确定图灵机M1和nb时间非确定图灵机M2 判定它们，且c=max{a,b}。 构造判定L1(L2的非确定图灵机M: M=“对于输入字符串w : 在w上运行M1，在w上运行M2。 若有一个接受则接受，否则拒绝。” 对于每一个非确定计算分支，第一步用时为O(na)+O(nb)，因此总时间为O(na+nb)=O(nc)。 所以L1(L2(NP，即 NP在并的运算下封闭。 (2) 连接： 对任意 L1, L2(NP，设分别有na时间非确定图灵机M1和nb时间非确定图灵机M2 判定它们，且c=max{a,b}。 构造判定L1L2的非确定图灵机M: M=“对于输入字符串w : 非确定地将分成两段x,y，使得w=xy。 在x上运行M1，在y上运行M2。 若都接受则接受，否则拒绝。” 对于每一个非确定计算分支，第一步用时O(n),第二步用时为O(na)+O(nb)，因此总时间为O(na+ nb)=O(nc)。 所以L1L2(NP，即NP在连接运算下封闭。 设T={M|M是一个TM，且每当M接受w时，M也转变w}，证明T是不可判定的。 证明：CLIQUE是NP完全的。 答案：首先证明CLIQUE属于NP 下面是CLIQUE的验证机V V=“对输入G,k,c： 1）检查