计算机技术--计算复杂性理论.pptVIP

8.3.1空间谱系 现在我们来引进“性质良好”的空间复杂度函数的概念，称一个函数S(n)为空间可构造的，如果有某个图灵机M，M是S(n) 空间有界的，且对每个n，都存在某个长度为?n的输入，对于这个输入，M实际用了S(n)个带单元，空间可构造函数集包括logn，n，nk，2n和n!。 如果 S1(n) 和S2(n)是空间可构造的，那么 S1(n)S2(n)，2S1(n)和S1(n) S2(n)也是空间可构造的，因此，空间可构造函数的集合是相当丰富的。 注意，上述M无需对一切长度为n的输入都使用S(n)，只需对某个这种长度的输入使用S(n)空间就行了。 如果对于一切n，M对长度为n的任何一个输入x，都实际使用恰好S(n) 个单元，那么我们说S(n)是完全空间可构造的。任何空间可构造的 S(n)?n都是完全空间可构造的 . 确定的时间谱系不象空间谱系那样致密。其原因在于：一个对所有多带TM进行对角化的TM的带数目是一个固定的数。为了模拟一个带数目很大的TM，我们要利用多带TM的双带模拟，因而出现了对数减速。 8.3.2时间谱系 在给出构造过程之前，我们介绍一下时间可构造性概念。 称函数T(n)为时间可构造的，如果存在一个T(n) 时间有界多带图灵机M，使得对于每个n，都存在某个长度为n的输入，对于这个输入，M实际作了T(n) 个动作。正象空间样，有一个时间可构造函数的丰富谱系。我们说T(n) 是完全时间可构造的，如果有一个TM，它对一切长度为n的输入，都使用T(n) 时间。 使用元语言程序实例 设计使用五条基本指令计算Y=x1x2程序。 解：基本思想首先对Y=x1x2进行化简拆分 1 Y=x1x2=x1???x1，这里是x2个x1连乘，这里x2次连乘作为最外层循环； 2由于连乘操作使用了不属于基本指令的乘法操作，所以应该继续拆分Y=x1?x2=x1+x1+…+x1，这里将Y=x1?x2拆分成x1的x2次连续加法，这x2次连续加法作为第二层循环； 3由于加法操作也不属于基本指令，所以需要继续拆分Y=x1+x2，由于Y=x1+x2 可以很方便地使用基本指令写出程序，拆分到此结束。 下面从最里层开始写子程序 首先写出Y=x1+x2 的子程序： 计算Y=x1+x2的子程序 1 z31=x1;//保存x1的值 2 z32=x2；//保存x2的值 3 [A31] To A32 if z32?0; 4 To E3;//程序出口，最终运算结果从z31中得到 5 [A32] z31=z31+1; 6 z32=z32-1; 7 To A31 计算Y=x1?x2的程序 为了便于理解先写出调用宏的形式再转化为元语言程序。 调用形式： 1 Z21=0; 2 Z21=x1; 3 Z23=x2; 4 [A21] To A22 if z23?0; 5 To E2;//程序出口 6 [A22] z21=z21+z22;//调用Y=x1+x2 7 z23=z23-1; 8 To A21 计算Y=x1?x2的元语言形式程序 1 Z21=0; 2 Z21=x1; 3 Z23=x2; 4 [A21] To A22 if z23?0; 5 To E2;//程序出口 6 [A22] 调用Y=x1+x2来计算z21=z21+z22 6.1 z31=z21; 6.2 z32=z22; 6.3 [A31] To A32 if z32?0; 6.4 To E3; 6.5 [A32] z31=z31+1; 6.6 z32=z32-1; 6.7 To A31; 6.8 [E3] z21=z31 7 z23=z23-1; 8 To A21 计算Y=x1x2的元语言程序 1 z11=1; 2 z12=x1; 3 z13=x2; 4 To A11 if z13?0;//x2=0直接输出y=1 5 To E1; 6 To A11 if z12 ?0; 7 To E1; 8 [A11] To A12 if z13 ?0; 9 To E1; 10 [A12] ; 11 z23=z23-1; 12 To A21; 13 [E2] z11=z21. 10.1 z21=0; 10.1 z22=z11; 10.3 z23=z12; 10.4 [A21] To A22 if z23 ?0; 10.5 To E2; 5.1 z31=z21;; 5.2 z32=z22; 5.3 [A31] To A32