不可逆极主义弧 Kayles 在平面图上是 PSPACE-complete
计算复杂性
2025-12-01 v1 离散数学
组合数学
摘要
我们展示了不可逆极主义弧 Kayles 在平面图上是 PSPACE-complete，通过从 Bounded Two-Player Constraint Logic 进行归约。此外，我们展示了如何将我们的小部件嵌入到正方形和三角形网格中。为了清晰地解释这些结果，我们深入探讨了 Bounded Two-Player Constraint Logic，发现了其中三个 PSPACE-complete 变体。
引用
@article{arxiv.2511.21888,
title = {Mis\`ere Partizan Arc Kayles is PSPACE-complete, even on Planar Graphs},
author = {Kyle Burke and Caroline Cashman and Alfie Davies and Kanae Yoshiwatari and Francesca Yu},
journal= {arXiv preprint arXiv:2511.21888},
year = {2025}
}
备注
21 pages, 23 figures