具有几乎必然能量-奇偶性目标的简单随机博弈属于 NP 与 coNP
计算机科学与博弈论
2021-01-19 v1 计算机科学中的逻辑
摘要
我们研究具有能量-奇偶性目标的随机博弈，其将定量收益与定性 -正则条件相结合：最大化者旨在避免能量耗尽，同时满足条件奇偶性条件。我们证明相应的几乎必然问题，即检验是否存在最大化者策略，在给定能量水平 开始时以概率 实现能量-奇偶性目标，是可判定的且属于 。对于检验这样的 是否存在以及给定 是否最小，结论同样成立。
引用
@article{arxiv.2101.06989,
title = {Simple Stochastic Games with Almost-Sure Energy-Parity Objectives are in NP and coNP},
author = {Richard Mayr and Sven Schewe and Patrick Totzke and Dominik Wojtczak},
journal= {arXiv preprint arXiv:2101.06989},
year = {2021}
}