突破性进展:平方根空间模拟时间复杂度
2025-02-27
一项最新研究表明,任何在t时间内运行的多磁带图灵机,都可以在仅需O(√(t log t))的空间内模拟。这显著改进了Hopcroft等人50年前提出的O(t/log t)空间模拟算法。该研究利用Cook和Mertz最近提出的高效树评估算法,将时间模拟问题转化为一系列参数优良的隐式树评估问题。其结果表明,大小为s的受限扇入电路可以在√s·poly(log s)空间内进行评估,并暗示存在一些在O(n)空间内可解,但在多磁带图灵机上需要n^(2-ε)时间的问题(对所有ε>0成立),为P与PSPACE问题研究带来了一丝进展。
阅读更多
开发
图灵机模拟