摘要:通过研究具有时间限制和磁带空间限制的图灵机的行为,本文探讨了这个问题。当时间限制以一进制编码时,该问题属于P类。如果两个限制都趋于无限大,那么无法确定哪个限制首先被超过。因此可以构造在P类中不是logspace完全问题的集合。这意味着L不等于P。
作者:Reiner Czerwinski
论文ID:2201.08501
分类:Computational Complexity
分类简称:cs.CC
提交时间:2022-01-24
PDF 下载: 英文版 中文版pdf翻译中