Banach-Mazur 博弈与公平正确系统的简单策略
计算机科学中的逻辑
2013-07-18 v2
摘要
2006 年，Varacca 和 Völzer 证明了在有限图上，omega-regular 大集与概率为 1 的 omega-regular 集相重合，其方法是利用相关 Banach-Mazur 博弈中位置策略的存在性。受此结果启发，我们试图理解概率为 1 的集合与各种简单策略概念（包括 Grädel 和 Lessenich 在近期论文中引入的策略）之间的关系。然后，我们引入了经典 Banach-Mazur 博弈的一种推广，特别是一个旨在刻画概率为 1 的集合的概率版本（正如经典 Banach-Mazur 博弈刻画大集那样）。当获胜集是开集的可数交集时，我们得到了这些博弈的可判定性结果。
引用
@article{arxiv.1304.5438,
title = {Simple strategies for Banach-Mazur games and fairly correct systems},
author = {Thomas Brihaye and Quentin Menet},
journal= {arXiv preprint arXiv:1304.5438},
year = {2013}
}
备注
In Proceedings GandALF 2013, arXiv:1307.4162