关于堆栈贝武尔规划与元算子验证的计算复杂性:技术报告

堆栈贝武尔规划是一种近期提出的单回合双人对抗规划模型，其中两个玩家在联合的经典规划任务中行动，第一个玩家的目标是阻挡第二个玩家实现其目标。这将堆栈贝武尔规划问题置于经典规划与一般组合双人游戏之间。但，具体处于哪里？目前所有关于堆栈贝武尔规划的研究都聚焦于实际方面。我们通过对堆栈贝武尔规划进行首次理论复杂性分析来弥合这一差距。我们证明，堆栈贝武尔规划在一般情况下实际上并不比经典规划更难。在多项式规划长度限制下，然而堆栈贝武尔规划在多项式复杂性层级中上升一个层次，这表明将其编译为经典规划在最坏情况下会导致指数级的规划长度增加。尝试识别可行片段时，我们进一步研究了在各种规划任务限制下的复杂性，表明堆栈贝武尔规划在经典规划不难的地方仍然不可行。我们最终检查了最近被连接到堆栈贝武尔规划的元算子验证的复杂性。