P中的不完整集合对于logspace归约

摘要:通过研究具有时间限制和磁带空间限制的图灵机的行为,本文探讨了这个问题。当时间限制以一进制编码时,该问题属于P类。如果两个限制都趋于无限大,那么无法确定哪个限制首先被超过。因此可以构造在P类中不是logspace完全问题的集合。这意味着L不等于P。

作者:Reiner Czerwinski

论文ID:2201.08501

分类:Computational Complexity

分类简称:cs.CC

提交时间:2022-01-24

PDF 下载: 英文版 中文版pdf翻译中