加速定理与函数分层-PersonalWebPages.doc

加速定理与函数分层 王永革 (南开数学研究所) Speed-up Theorem and Hierarchy of the Recursive Functions Wang Yongge (Nankai Institute of Mathematics Nankai University) Abstract In this paper, well introduce a kind of O(F)-LOOP operator, which will lead to a hierarchy of any recursive functions: O(F)= O(F)n. Weve proved that this hierarchy corresponds to the speed-up theorem, i.e. given any r(x)∈O(F)_i, there is a language having O(F)i+1 complexity which can be speeded up by r(x), and also there is a r(x) in O(F)i, so that any language having O(F)i complexity cannot be speeded up by r(x). Through this, we can grasp the soul of Speed-up theorem in a more higher level. 摘要 本文引进一种 O(F)-LOOP 算子，通过该算子可对一般递归函数集进行分层，且该算子对应于计算复杂性中的加速定理。由此我们得到加速定理的定量描述。 §１ 引 言 Grzegorczyk 在文 [6] 中对原始递归函数进行分层, 这种分层等价于通过递归算子的使用次数而对原始 递归函数进行的分层，但这种分层仅仅是对应于原始递归函数的。那么原始递归函数以外呢？本文将引进一种 O(F)-LOOP 算子，由它出发 可对任意的递归函数集进行分层，同时我们证明了 Grzegorczyk 的分层与本文的 分层具有非常良好的性质: 它们对应于加速定理。 §２ 程序语言 O(F)-LOOP 以下各节的研究基于一种程序语言 O(F)-LOOP，为此我们先来介绍这种语言。本语言中,用一些 字符表示 变量. 特别地，将 X1, X2, … 和 Y 分别称为输入变量和输出变量，将 Z1, Z2, … 称为局部变量。 O(F)-LOOP 的指令共有以下六种： V←0 (零指令) V←V+1 (加 1 指令) V←V’ (赋值指令) LOOP V (循环指令) END (循环返回指令) V←O(f(v1,…,Vn)) (f∈F, 本指令称为 Oracle 指令) 定义2.1 设 F 为一给定函数集，则 O(F)-LOOP 程序 P 可计算函数 g(x1,…,xn)是指对于任意输入 X1=x1, X2=x2, …, Xn=xn 程序 P 的输出 Y 为 g(x1,…,xn) 例如：对于下述程序 P Z1←X1+1 Z2←Z2+1 LOOP Z2 Z2←Z2+1 END Z3←O(f(Z2)) (f∈F) Y←Z3 设输入 x1=1, x2=2。程序执行到第三条指令 LOOP Z2 时，Z2=3，故由第三到第五条指令组成的循环体重 复执行三次。注意：循环体内第四条指令使 Z2值发生变化，但这不再影响本循环重复执行的次数。程序执行 完毕后输出 y=f(6)。事实上，本程序所能计算的函数为 y=f(2x_1+4)。 定义2.2 容许循环指令最多嵌套 n 层的所有 O(F)-LOOP 程序组成的集合记为 O(F)-LOOPn。 显然，∪O(F)-LOOP_n 就是所有 O(F)-LOOP 程序的集合。 §３ E-Ackermann 函数 为了