計算复杂性的回顾.docxVIP

计算复杂性的回顾Stephen A.Cook1早期的论文算法复杂性问题的前史大概可以追溯到艾伦图灵在1937年的这篇论文，论文是论可计算数机器在判定问题中的应用。图灵介绍了他著名的图灵机，提出了使人信服的公式化观点，这个观点是有效的可计算函数。曾经这个想法正好被压制了，对于可计算的不可能证据出现了可能。在同一篇论文中，图灵提出了给定一个可预测的微积分的任意的一个公式，在有限的时间内没有任何一种算法可以证明这个公式是可满足的。在解释什么样的问题能被计算机解决或不能解决这个理论很好的发展之后，很自然的想到可计算函数的相关计算难度在哪。这就是计算复杂性问题。Rabin是第一批详细的从事这类问题人之一：f比g更难计算是什么意思？Rabin提供了抽象复杂性理论的基础，这个理论被Blum和其他人所发展。第二篇早期的有影响力的论文是J.Hartmanis和R.E.Stearns写的计算复杂性的算法。这篇论文被广泛阅读，给这个领域一个名字。这篇论文引入了复杂性度量的观点，复杂性度量被多图灵机在可计算时间内定义，层次理论被证明。这篇论文还提出了一个至今未解决的有趣的问题：任何无理数在实时内都是可计算的吗？也就是说，图灵机能永远按照每100步一个单位的速率把无理数扩展为十进制打印出来吗？第三篇论文是Alan Cobham写的内在的计算难度。Alan Cobham强调“内在”，换句话说，他对独立机器理论