ω-正则博弈中可接受性的复杂性
计算机科学与博弈论
2014-01-24 v3
摘要
迭代可接受性是经典博弈论中一个众所周知且重要的概念，例如用于确定多人矩阵博弈中的理性行为。正如Berwanger最近所示，这一概念可以合理地扩展到在具有ω-正则目标的图上进行的无限博弈。本文研究了此类博弈中该概念的算法性质。我们确定了在迭代消除被支配策略后存活的策略集上的自然决策问题的精确复杂性。作为我们构造的副产品，我们获得了能够识别此类策略所有可能结果的自动机。
引用
@article{arxiv.1304.1682,
title = {The Complexity of Admissibility in Omega-Regular Games},
author = {Romain Brenguier and Jean-François Raskin and Mathieu Sassolas},
journal= {arXiv preprint arXiv:1304.1682},
year = {2014}
}