区块世界规划的复杂性

审核人：帕沃尔·纳夫拉特

解决区块世界中问题的复杂性方面得到了解决。作者介绍了块世界的几个版本，在不同程度上概括了基本版本。提出并分析了解决问题和优化解决问题的算法（即，形成能够将初始状态转换为满足目标条件的状态的计划）。因此，作者表明，找到一个最优方案是NP-hard。他们对这一性质的调查导致他们定义了一种特殊的情况，称之为死锁（一个区块以自己的方式存在，或者几个区块相互阻碍到达目标位置）。死锁可以解决，但无法防止（例如，初始状态可能会死锁）。困难在于找到解决死锁的最佳方法，以防出现多个死锁。作者表明，这是使搜索成为NP-hard的属性。此外，他们解释说，这并不是传统上认为的目标之间的所谓删除条件交互，而是解决死锁所涉及的启用条件交互，使得很难找到最佳计划。本文以可读的方式介绍了研究结果。定理和证明见附录。基本结果本身可以说是令人惊讶的。这是对领域相关规划分析的贡献。本文有助于我们更深入地了解区块的本质——世界规划。