高峰时间逻辑复杂性的极限
摘要：“Rush Hour逻辑”被引入[Flake＆Baum99]是一种受“Rush Hour”玩具拼图的启发的计算模型，其中汽车可以在停车场内水平或垂直移动。作者展示了该模型如何支持多项式空间计算，使用某些汽车配置作为构建布尔电路的组件来构建CPU和内存。他们认为长度为3的汽车在构建中至关重要，并猜测只有长度为2的汽车，我们称之为“Size 2 Rush Hour”，不支持多项式空间计算。我们通过展示在“Size 2 Rush Hour”中可行构建这些所需的组件来解决这个猜想。此外，我们考虑到目前为止被认为是微不足道的“Unit Rush Hour”，展示其与迷宫拼图的关系，并提供实证支持其难度。
作者：John Tromp and Rudi Cilibrasi
论文ID：cs/0502068
分类：Computational Complexity
分类简称：cs.CC
提交时间：2007-05-23