刻画具有通信的有限状态自动机团队博弈的可判定性
计算复杂性
2022-09-22 v1 数据结构与算法
摘要
本文定义了一种用于不完美信息多人团队博弈的有限通信新模型。我们证明了 Team DFA 博弈与 Team Formula 博弈具有有界状态，当玩家的通信速率低于其在博弈中走子的速率时，仍不可判定。我们还表明，达到该通信阈值会使这些博弈变为可判定。
引用
@article{arxiv.2209.10324,
title = {Characterizing the Decidability of Finite State Automata Team Games with Communication},
author = {Michael Coulombe and Jayson Lynch},
journal= {arXiv preprint arXiv:2209.10324},
year = {2022}
}
备注
In Proceedings GandALF 2022, arXiv:2209.09333