前缀无关目标下随机博弈的期望值

随机两人博弈模型描述了既具有对抗性又具有随机性的环境。在本文中，我们研究了随机博弈中有界定量前缀无关目标的期望值。我们证明了一个从期望问题到线性多个阈值布尔目标几乎满足问题的通用归约。该结果源于将博弈顶点划分为所谓价值类的结果，而每个价值类由相同价值的顶点组成。我们的程序进一步意味着，对于期望问题，两个玩家要实现最优策略所需的记忆量，不超过他们要实现对应阈值布尔目标几乎满足问题的最优策略所需的记忆量。我们展示了将框架应用于计算随机博弈中预期窗口均值收益度量的可行性。窗口均值收益度量通过计算沿着长度为有限窗口的无限路径上的均值收益来强化经典均值收益度量。我们指出，检查预期窗口均值收益值是否至少为给定阈值的决策问题，当窗口长度为一元时，属于UP $\cap$ coUP。