无限时长博弈的通用图理论
形式语言与自动机理论
2023-06-22 v8 计算机科学与博弈论
摘要
我们引入通用图的概念，作为构造求解无限时长博弈（如奇偶性博弈和平均收益博弈）算法的工具。在第一部分中，我们发展了通用图理论，有两个目标：展示近期引入的不同相关模型之间的等价性与规范化结果，以及为任意位置决定性目标构造通用值迭代算法。在第二部分中，我们给出四个应用：奇偶性博弈、平均收益博弈、奇偶性目标与平均收益目标的析取，以及多个平均收益目标的析取。对于这四种情况中的每一种，我们构造的算法均达到或改进了已知最优的时间与空间复杂度。
引用
@article{arxiv.2104.05262,
title = {The Theory of Universal Graphs for Infinite Duration Games},
author = {Thomas Colcombet and Nathanaël Fijalkow and Paweł Gawrychowski and Pierre Ohlmann},
journal= {arXiv preprint arXiv:2104.05262},
year = {2023}
}