无限奇偶性博弈的无记忆确定性：另一种简单证明
计算机科学与博弈论
2018-11-26 v2 计算机科学中的逻辑
摘要
1998 年 Zielonka 简化了无限奇偶性博弈无记忆确定性的证明。2018 年 Haddad 简化了有限奇偶性博弈无记忆确定性的若干证明。本文调整 Haddad 的技术用于无限奇偶性博弈。给出了两个证明，一个较短，一个更具构造性。它们均未使用 Zielonka 的陷阱与吸引子。
引用
@article{arxiv.1803.00655,
title = {Memoryless Determinacy of Infinite Parity Games: Another Simple Proof},
author = {Stephane Le Roux},
journal= {arXiv preprint arXiv:1803.00655},
year = {2018}
}
备注
10 pages, 6 figures