有限记忆策略下部分可观测随机奇偶博弈的复杂性
计算机科学中的逻辑
2014-01-15 v1 计算机科学与博弈论
摘要
我们考虑有限状态图上的双人部分可观测随机博弈，其中玩家1具有部分观测而玩家2具有完全观测。我们研究的获胜条件是以奇偶目标指定的 -正则条件。给定一个部分可观测随机博弈和一个奇偶目标，定性分析问题询问是否存在一种策略以确保该目标以概率1（相应地，正概率）被满足。已知这些定性分析问题是不可判定的。然而，在许多应用中，相关的问题是有限记忆策略的存在性，并且最近已证明有限记忆策略下的定性分析问题是可在 2EXPTIME 内判定的。我们改进了其复杂性，证明有限记忆策略下部分可观测随机奇偶博弈的定性分析问题是 EXPTIME 完全的；并确立了定性分析所需的有限记忆策略的最优（指数级）记忆界限。
引用
@article{arxiv.1401.3289,
title = {The Complexity of Partial-observation Stochastic Parity Games With Finite-memory Strategies},
author = {Krishnendu Chatterjee and Laurent Doyen and Sumit Nain and Moshe Y. Vardi},
journal= {arXiv preprint arXiv:1401.3289},
year = {2014}
}