NP完全 性理论与近似算法.pdfVIP

1 2 3 1、RAM的结构 4 2 、RAM程序 一个RAM程序定义了从输入带到输出带的一个映射。可以对 这种映射关系作2种不同的解释。 解释一：把RAM程序看成是计算一个函数 若一个RAM程序P总是从输入带前n个方格中读入n个整数 x ，x ，…，x ，并且在输出带的第一个方格上输出一个整数y 1 2 n 后停机，那么就说程序P计算了函数f(x ，x ，…，x ) y 1 2 n 解释二：把RAM程序当作一个语言接受器。 将字符串S a a …a 放在输入带上。在输入带的第一个方 1 2 n 格中放入符号a ，第二个方格中放入符号a ，…，第n个方格中 1 2 放入符号a 。然后在第n+1个方格中放入0，作为输入串的结束标 n 志符。如果一个RAM程序P读了字符串S及结束标志符0后，在输出 带的第一格输出一个1并停机，就说程序P接受字符串S。 5 3 、 RAM程序的耗费标准 标准一：均匀耗费标准 在均匀耗费标准下，每条RAM指令需要一个单位时间；每 个寄存器占用一个单位空间。以后除特别注明，RAM程序的复杂 性将按照均匀耗费标准衡量。 标准二：对数耗费标准 对数耗费标准是基于这样的假定，即执行一条指令的耗费 与以二进制表示的指令的操作数长度成比例。在RAM计算模型下， 假定一个寄存器可存放一个任意大小的整数。因此若设l(i)是整 数i所占的二进制位数，则  log |i | i  0   l(i)   1 i 0 6 1、RASP的结构 RASP的整体结构类似于RAM，所不同的是RASP的程序是存 储在寄存器中的。每条RASP指令占据2个连续的寄存器。第一个 寄存器存放操作码的编码，第二个寄存器存放地址。RASP指令用 整数进行编码。 2 、RASP程序的复杂性 不管是在均匀耗费标准下，还是在对数耗费标准下，RAM 程序和RASP程序的复杂性只差一个常数因子。在一个计算模型下 T (n)时间内完成的输入-输出映射可在另一个计算模型下模拟， 并在kT (n)时间内完成。其中k是一个常数因子。空间复杂性的情 况也是类似的。 7 8 根据有限状态控制器的当前状态及每个读写头读到的带符号，图灵机的一个计算 步可实现下面3