深入 Borel 层次：通过安全博弈求解 Muller 博弈

Daniel Neider; Roman Rabinovich; Martin Zimmermann

doi:10.4204/EPTCS.96.13

深入 Borel 层次：通过安全博弈求解 Muller 博弈

计算机科学中的逻辑 2012-10-10 v1 计算机科学与博弈论

作者: Daniel Neider , Roman Rabinovich , Martin Zimmermann

在 arXiv 上查看 ↗ PDF ↗ DOI ↗

摘要

我们将一个具有 n 个顶点的 Muller 博弈转化为一个具有 $(n!)^3$ 个顶点的安全博弈，其解可用于确定 Muller 博弈的获胜区域，并为一方玩家计算有限状态获胜策略。由此产生了一种新颖的基于反链 (antichain) 的存储结构，以及针对 Muller 博弈的宽容策略 (permissive strategies) 的自然概念。此外，我们通过提出一种从无限博弈到安全博弈的新型博弈归约，推广了我们的构造，并展示了其在其他几种获胜条件中的适用性。

关键词

Muller 博弈安全博弈 Borel 层次获胜策略博弈归约反链

引用

@article{arxiv.1210.2457,
  title  = {Down the Borel Hierarchy: Solving Muller Games via Safety Games},
  author = {Daniel Neider and Roman Rabinovich and Martin Zimmermann},
  journal= {arXiv preprint arXiv:1210.2457},
  year   = {2012}
}

备注

In Proceedings GandALF 2012, arXiv:1210.2028

深入 Borel 层次：通过安全博弈求解 Muller 博弈

摘要

关键词

引用

备注

相关论文