自杀将军和反射将军棋问题的计算复杂性说明
摘要：自动将黑方逼入死局是国际象棋问题中，白方作为先手需要在指定的步数内迫使黑方将军。自动将自将军是自将军的变种，在这种情况下，白方迫使黑方将军的同时，还增加了一个条件，即如果任何一方都能将军，他们必须采取行动（当这个条件仅适用于黑方时，称为半自动将自将军）。我们稍微修改了EXPTIME难度的国际象棋问题，并将其应用于这些国际象棋问题。证明了自动将自将军、自动将自将军和半自动将自将军都是EXPTIME完全的。
作者：Zhujun Zhang
论文ID：2208.05376
分类：Computational Complexity
分类简称：cs.CC
提交时间：2022-08-11