可计算性与计算复杂性.doc

可计算性与计算复杂性 Calculability Complexity  第二章 可计算函数 1 1、原语言 1 2、可计算函数 1 第三章 递归函数 3 1、算子 3 2、原始递归函数 3 3、原始递归谓词 3 4、受囿取极小 4 5、递归与可计算性 5 习 题 6 第四章 Post-Turing程序和Turing机 8 1、P-T程序 8 2、Turing机 9 3、P-T程序编码 10 4、一些定理 10 习 题 11 第五章 半可计算性 16 习 题 17 第六章 半图厄系统 18 1、半图厄系统 18 2、半图厄系统与图灵机、半可计算集 18 3、不可判定问题 18 习 题 19 第七章 图灵机 26 习 题 26 第八章 计算复杂性理论 27 习 题 28 历 年 真 题 29 第二章 可计算函数 1、原语言 本书所有变元为非负整数 五条基本指令： ① X=X+1 ② X=X-1 (X=0，结果仍为0） ③ TO A IF X≠0 ④ TO A ⑤ Y=X 宏指令： Y=X1+X2 Y=X1·X2 2、可计算函数 部分可计算函数：若有一程序P，使得(X1,X2,...,Xn)=f(X1,X2,...,Xn)，则称f(X1,X2,...,Xn)为部分可计算函数。 这里“=”表示：或者两边都无定义，或者两边都有定义并且值相同。 可计算函数：若f(X1,X2,...,Xn)是部分可计算的而且是全函数，则称f(X1,X2,...,Xn)为可计算函数。 两个常用函数 X1－X2 ，X1≥X2 X1－X2 ，X1≥X2 X1 X2 = X1 X2 = 无定义 ，X1＜X2 0 ，X1＜X2 习 题 用原语言证明下列函数是可计算函数 （显然均为全函数，故只需证明存在n元程序P，使得(X1,X2,...,Xn)=f(X1,X2,...,Xn)即可） （1） （2）f(X1,X2)=min{X1,X2} （3）f(X)=α( X 3) （4）f(X)= X1 X2 （5）（[ ]为向下取整） （6） 第三章 递归函数 1、算子 复合算子：设一个函数y=f(z1,z2,...,zm)，和一组函数 z1=g1(x1,x2,...,xn) z2=g2(x1,x2,...,xn) ... zm=gm(x1,x2,...,xn) 称y=f(z1,z2,...,zm)=f(g1(x1,x2,...,xn), g2(x1,x2,...,xn),..., gm(x1,x2,...,xn)) 是复合算子作用于函数f和g1,g2,...,gm的结果。 递归算子：设m(x1,x2,...,xn)和φ(x1,x2,...xn+2)是全函数，定义 h(x1,x2,...,xn,0)= m(x1,x2,...,xn) h(x1,x2,...,xn,t+1)=φ(x1,x2,...xn, h(x1,x2,...,xn,t),t) 称h是递归算子作用于函数m和φ的结果。 （h是全函数） 取极小算子：设f(x1,x2,...,xn,z)是全函数，定义h(x1,x2,...,xn)= min{z|f(x1,x2,...,xn,z)=0} 称h是取极小算子z作用于函数f的结果。 （h不一定是全函数，若f为正则函数，则h为全函数） 2、原始递归函数 原始递归函数：由初始函数S(x)=x+1、n(x)=0、 (1≤i≤n)出发， 只用复合和递归算子得到的函数称为原始递归函数。 （它们都是全函数） 原始递归函数 add(x,y) mul(x,y) fac(x)=x! exp(x,y)=xy |x-y| sub(x,y)=x y p(x) p(0)=0 p(x+1)=x 1 ,x＝0 α(x)= 0 ,x≠0 0 ,x=y d(x,y)= 1 ,x≠y 3、原始递归谓词