计算引论 计算模型 (2).pptVIP

2.2RAM机器第29页，共46页，星期日，2025年，2月5日2.2RAM机器操作数映射V(a):V(i)=C(i)V(*i)=C(C(i))V(=i)=i第30页，共46页，星期日，2025年，2月5日2.2RAM机器RAM机的初始状态1、C(i)=0，对任意i≥0；2、位置计数器指向程序P的第一条指令；3、输入串放在输入带上，读写头指向输入串的第一个符号；4、输出带空白。第31页，共46页，星期日，2025年，2月5日2.2RAM机器RAM程序P：指令或带标号的指令的有限序列，并且最后一条指令为HALT。输入到输出的函数：f(x1,…,xn)=(y1,…,ym)第32页，共46页，星期日，2025年，2月5日2.2RAM机器指令的含义：LOADa?C(0)?V(a)STOREi?C(i)?C(0)STORE*i?C(C(i))?C(0)ADDa?C(0)?C(0)+V(a)SUBa?C(0)?C(0)–V(a)MULTa?C(0)?C(0)*V(a)DIVa?C(0)?C(0)/V(a)取整READi ?C(i)?输入带上读入一个符号，读头右移一位READ*i?C(C(i))?输入带上读入一个符号，读头右移一位WRITEa?输出带上当前位置?V(a)，写后写头右移一位JUMPb ?位置计数器?bJGTZb ?若C(0)0，则位置计数器?bJZEROb?若C(0)=0，则位置计数器?bHALT?停机第33页，共46页，星期日，2025年，2月5日第1页，共46页，星期日，2025年，2月5日第二章计算模型计算复杂性RAM机器（RandomAccessMachine）RAM程序复杂性分析RASP机器图灵机模型Lambda计算模型第2页，共46页，星期日，2025年，2月5日2.1计算复杂性设n为自然数，f(n)是n的一个函数。O表示量级，令O(f(n))表示不超过f(n)数量级的量。例：O(n)={常数，n1/2，3n，108n，…}在数量级上，这些量都不会超过变量n的量级。第3页，共46页，星期日，2025年，2月5日2.1计算复杂性例：O(n2)={O(n),O(n2/3),…,an2+bn+c,….} 在数量级上这些量都不会超过变量n2的量级。即上述这些量的数量级可以用O(n2)来表示。O(n)相对于O(n2)可以忽略不计，表示为O(n)O(n2)第4页，共46页，星期日，2025年，2月5日2.1计算复杂性设：f(n)=aKnK+aK-1nK-1+…+a1n+a0为n的K阶任意多项式，系数相对n来说是个常数。则：O(f(n))=O(nK)，称O(nK)为多项式数量级。第5页，共46页，星期日，2025年，2月5日2.1计算复杂性量级演算性质：若A、B为量级，且AB，则（1）A＋B＝B（2）有限个B相加，B＋B＋…＋B＝B（3）任意常数与B相乘，k×B＝B第6页，共46页，星期日，2025年，2月5日2.1计算复杂性求解问题VS识别语言（1）每个问题由多个例示集合而成；（2）每个例示可由符号串表示，构成符号串的基本符号给定；（3）一个问题可抽象为符号串的无穷集合；第7页，共46页，星期日，2025年，2月5日2.1计算复杂性（4）符号串称为句子，所以问题是句子的集合，称为形式语言；（5）求解一个问题抽象为识别一个语言。第8页，共46页，星期日，2025年，2月5日2.1计算复杂性时间复杂性与空间复杂性（1）问题的规模用例示长度n刻画。（2）算法对时间的需求记为C(n)，对空间的需求记为S(n)，它们都依赖于例示的长度n。第9页，共46页，星期日，2025年，2月5日2.1计算复杂性（3）时间复杂性：设X是输入，|X|=n（指输入X的规模，n个基本符号），L(X)表示算法接受输入X执行计算需要的时间，则可把时间复