Rush Hour 逻辑复杂性的界限
计算复杂性
2007-05-23 v1
摘要
Rush Hour 逻辑在 [Flake&Baum99] 中作为一种受“Rush Hour”玩具拼图启发的计算模型被提出，其中汽车可在停车场内水平或垂直移动。作者展示了该模型如何支持多项式空间计算，使用特定车辆配置作为构建块来构造用于 CPU 和内存的布尔电路。他们认为长度为 3 的车辆对其构造至关重要，并猜想仅使用大小为 2 的车辆（我们称之为“Size 2 Rush Hour”）不支持多项式空间计算。我们通过证明所需构建块可在 Size 2 Rush Hour 中构造来解决该猜想。此外，我们考察了 Unit Rush Hour（此前被认为平凡），展示了它与迷宫拼图的关系，并为其难解性提供了经验支持。
关键词
引用
@article{arxiv.cs/0502068,
title = {Limits of Rush Hour Logic Complexity},
author = {John Tromp and Rudi Cilibrasi},
journal= {arXiv preprint arXiv:cs/0502068},
year = {2007}
}