NP完全性理论剖析.ppt

第8章 NP完全性理论 8.1 计算模型 8.1.1 随机存取机RAM 8.1.2 随机存取存储程序机RASP 8.1.3 RAM模型的变形与简化 8.1.4 图灵机 8.1.5 图灵机模型与RAM模型的关系 8.1.6 问题变换与计算复杂性归约 8.1.1 随机存取机RAM 1. RAM的结构 8.1.1 随机存取机RAM 2. RAM程序 8.1.1 随机存取机RAM 3. RAM程序的耗费标准 8.1.2 随机存取存储程序机RASP 1. RASP的结构 RASP的整体结构类似于RAM，所不同的是RASP的程序是存储在寄存器中的。每条RASP指令占据2个连续的寄存器。第一个寄存器存放操作码的编码，第二个寄存器存放地址。RASP指令用整数进行编码。 2. RASP程序的复杂性 不管是在均匀耗费标准下，还是在对数耗费标准下，RAM程序和RASP程序的复杂性只差一个常数因子。在一个计算模型下T(n)时间内完成的输入-输出映射可在另一个计算模型下模拟，并在kT(n)时间内完成。其中k是一个常数因子。空间复杂性的情况也是类似的。 8.1.3 RAM模型的变形与简化 1. 实随机存取机 RRAM 8.1.3 RAM模型的变形与简化 2. 直线式程序 8.1.3 RAM模型的变形与简化 3. 位式计算 8.1.3 RAM模型的变形与简化 4.