详细内容或原文请订阅后点击阅览
新证明极大地压缩了计算所需的空间
令人惊讶的新作品雄鹿关于计算空间与时间之间权衡的50年假设
来源:科学美国人新证明极大地压缩了计算所需的空间
令人惊讶的新作品雄鹿关于计算空间与时间之间权衡的50年假设
由Sarah Lewin Frasier编辑的Max Springer
Max Springer 由Sarah Lewin Frasier编辑 Sarah Lewin Frasier曾经的一次计算机填满了整个房间,从旋转磁带中读取数字,并通过电线将其搅动到制作基本算术的链条。今天,他们滑入我们的口袋里,在一秒钟的一小部分中表演了几个小时。但是,即使筹码缩小和增长速度,理论家也将问题从我们可以包装到机器中的多少计算空间转移到足以完成工作的程度。
即使芯片收缩并提高速度此询问是计算复杂性的核心,这是衡量哪些问题可以解决的限制以及以什么时间和空间成本。近50年来,理论家认为,如果解决问题采取t步骤,它也应该大致需要大致的内存 - 机器用来记录信息的0和1。 (从技术上讲,该方程为t/log(t),但是对于所涉及的数字(t)的数字通常很小。)如果任务涉及100个步骤,例如,您希望至少需要100位,足以努力地记录每个步骤。人们认为使用较少的钻头需要更多的步骤 - 例如,将书籍顺序换成书架上的字母表,而不是将它们全部拉出并重新归还它们。但是,在本周在布拉格的ACM计算理论研讨会上描述的一个令人惊讶的发现中,马萨诸塞州理工学院计算机科学家瑞安·威廉姆斯(Ryan Williams)发现,时间t可以解决的任何问题只需要大约√t的记忆:100步计算可以按10位的顺序进行压缩和解决。威廉姆斯说:“这个结果表明先前的直觉是完全错误的。” “我认为[证明]一定有问题,因为这是非常意外的。”
t t/ div>