中文

只需吸引子:多项式时间解决奇偶博弈

数据结构与算法 2025-11-07 v1 计算复杂性 形式语言与自动机理论 计算机科学与博弈论 计算机科学中的逻辑

摘要

本文提供了解决奇偶博弈的多项式时间算法,运行时间为O(n2(n+m))\mathcal{O}(n^{2}\cdot(n + m)),结束了数十年来的搜索。与以往的基于吸引子的算法不同,本文提出的算法仅删除已确定获胜者的区域。该文引入了一种新的吸引子类型,可保证找到奇偶博弈的最小支配地。该吸引子以多项式时间运行并可将图完全剥离。

关键词

引用

@article{arxiv.2511.03752,
  title  = {Attractors Is All You Need: Parity Games In Polynomial Time},
  author = {Rick van der Heijden},
  journal= {arXiv preprint arXiv:2511.03752},
  year   = {2025}
}