算法模拟的内存突破:空间复杂度的新里程碑
2025-06-07
一项令人震惊的研究成果颠覆了我们对算法模拟的认知。Ryan Williams 的最新研究表明,所有算法都可以在远小于其运行时间(内存)的空间内进行模拟,这比以往的最佳结果有了显著提升。这项突破性成果利用了 Cook 和 Mertz 提出的高效树评估算法,通过巧妙地将图灵机计算分割成片段并利用有限域编码,实现了近乎二次方的空间复杂度改进。虽然该方法并未保持时间复杂度,但这项成果对复杂性理论具有里程碑式的意义,并为未来的研究方向指明了道路,例如进一步缩小空间复杂度的界限,甚至可能最终分离 P 与 PSPACE 复杂度类。
开发