计算复杂性相似性原理

计算复杂性相似性原理如上所述,一个问题类的时间、空间等资源的复杂性是依赖于模型的:在有的模型中较高,在另一些模型中则较低

现在较为重要而有特色的计算模型有:多带图灵机器、多变址随机存取机器、存储修改机器、齐一线路、向量机器、硬件修改机器等等

这样一来,复杂性的问题仍然没有一个统一的客观依据

相似性原理解答了这个问题

按此原理,一个问题类内在的并行时间、空间和串行时间的复杂性在所有理想的计算模型中都没有本质的差异

用数学的说法,各种模型可以互相模拟,而且模拟者需用的并行时间、空间和串行时间都分别不超过被模拟者所需的并行时间、空间和串行时间的一个多项式,三者同时成立

所以在只差一个多项式的范围内,复杂性的确是一个不依赖于模型的客观实在

这是丘奇-图灵论题在复杂性理论中的新发展

对于上面提到的计算模型,相似性原理已被证明是正确的

以上内容由大学时代综合整理自互联网,实际情况请以官方资料为准。

相关