计算机数学基础第十章.pptVIP

第二局部

可计算理论4/17/20251

计算无处不在，无时不在。每个人都计算，计算影响着所有的人。自然科学有些根本问题，如物质的本质是什么？有机生命体的根底和起源是什么？计算机科学也有它自己的根本问题：什么是算法？什么是能计算的？什么是不能计算的？什么是能行可计算的？《可计算理论》就是一门答复和研究以上计算机科学中的根本问题的课程。“可计算理论”又称为“递归论”，其研究对象是“可计算函数〔递归函数〕”及其定义域。4/17/20252

可计算函数主要用来刻画直观的“算法”概念算法：能行方法或过程〔古老的概念〕。算法的根本特征：1、有穷性〔规那么〕2、确定性〔动作〕3、终止性〔过程〕算法要解决的问题：1、计算“函数”——答复能行可计算问题2、判定“是非”——答复能行可判断问题4/17/20253

过去，人们一直满足于直观的算法概念。认为有关自然数的种种问题〔如素数的判定、两个自然数是否互质、整系数一元二次方程是否有整数解等等〕的算法总是存在的，人们的任务就是把它们实际找出来。例如，二元一次方程ax+by=c(*)(1)假设a=2,b=-1,c=1,那么方程(*)有解:x=y=1(2)假设a=2,b=-4,c=1,那么方程(*)无解(左偶右奇)可证明：(*)有整数解当且仅当gcd(a,b)︱c。4/17/20254

充分性：设d=gcd(a,b),c=pd.由整数性质可知，存在s,t,使得d=as+bt,于是，c=pd=asp+btp=ax+by(方程*有解x=sp,y=tp)必要性：〔留作习题〕当方程(*)推广为〔1900年希尔伯特提出〕∑ai1,…ikx1i1…xkik=0(**)i1,…ik=0后，人们一直没有找到判定(**)是否有解的算法。已证明：此算法根本就不存在。此后的开展使人们改变了看法。人们逐渐感到所期待的某些算法可能并不存在。4/17/20255

例如，关于验证一个所谓算法确实是一个算法的问题，本身就是不可解的，即这样的算法是不存在的。但是，要想证明一个算法不存在，就不能再满足于算法的直观概念，而需要对它作严格的数学刻画了。上世纪20年代以来，Post,Godel,Church,Turing,Markove等人分别从不同的角度对算法概念作了严格的刻画，其定义的函数类即可计算理论研究的根本对象——可计算函数.4/17/20256

能行可计算函数的直观定义设x是正整数。以下(1)f(x)=x2;(2)f(x)=2x;(3)f(x)=“∏的十进制展开式中的第x位”。都是函数。如果有一个确定的算法使对任给的x都能算出对应的函数值来，那么说这种函数f(x)是能行可计算的。4/17/20257

设所有计算这些能行可计算函数的算法按某规那么排成E1,E2,…,算法Ei计算函数fi(x).令g(x)=fx(x)+1(*)显然，g(x)是一个函数。但是，我们有“不存在使g(x)=fi(x)的i”，也即g(x)不是能行可计算函数。证明：设存在i0整数，使g(x)=fi0(x),那么由(*)式，对x的一切值，有fi0(x)=fx(x)+1，特别地，取x=i0时，有fi0(i0)=fi0(i0)+1。矛盾。4/17/20258

看似一个简单的函数g(x)=fx(x)+1，为什么不是能行可计算函数？原因在于：排列E1,E2,…,Ei…的“规那么”是不存在的，进一步说，我们假定“人们能机械地判断计算函数f(x)的所谓算法是否确实是一个算法”是错误的，即Ei序列是不存在的！结论：不存在一个算法，使人们能够断定一个计算函数值的所谓算法确实是一个算法.4/17/20259

可计算函数只要存在着完成某一任务的算法，那么至少在原那么上总能造出完成这项任务的计算机来。可计算函数——用图灵机来“计算”的数值函数。图灵机的定义〔Post〕：定义1一个四元组是下述形式之一的表达式：1〕qiSjSkql2)qiSjRql3)qiSjLql其中，qi表示内部状态，q1表示初态，Si表示印刷符号,S0表示空白B，R或L表示右移或左移。4/17/202510

定义2一个〔确定的〕图灵机TM是四元组的非空有限集合。其中任意两个四元组的头两个符号不完全相同。定义3图灵机Z的一个计算，是指瞬时描述的一个有限序列?1