计算理论习题答案CHAP7new.docVIP

7.3 a. Operation X Y 1274 10505 X mod Y(X 1274 10505 X(Y 10505 1274 X mod Y(X 313 1274 X(Y 1274 313 X mod Y(X 22 313 X(Y 313 22 X mod Y(X 5 22 X(Y 22 5 X mod Y(X 2 5 X(Y 5 2 X mod Y(X 1 2 X(Y 2 1 X mod Y(X 0 1 X(Y 1 0 当Y=0时，输出X=1，所以1274和10505是互素的。 7.4 对于字符串w=baba和下面的文法CFG G，试填写定理8.14中识别上下文无关语言的多项式时间算法中所描述的表。 S(RT R(TR|a T(RT|b 解： T R,T S R,T,S R S S T R,T R 7.5 下面的公式是可满足得吗？ (=(x(y)((x()(((y)(( () 解:(x,y)共有四种取值：(true, true),(true, false),(false, true),(false, false).分别将其带入公式得： 若(x,y)=(true, true)，(=(true(true) ( (true(false) ( (false(true) ( (false(false)=false 若(x,y)=(true, false)，(=(true(false) ( (true(true) ( (false(false) ( (false(true)=false 若(x,y)=(false, true)，(=(false(true) ( (false(false) ( (true(true) ( (true(false)=false 若(x,y)=(false, false),(=(false(false) ( (false(true) ( (true(false) ( (true(true)=false 所以原公式不可满足。 7.6 证明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在补的运算下封闭 。 7.7 证明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在连接运算下封闭。 证明如果对数采用一进制编码而不是二