从平价博弈到简单随机博弈的归约
摘要：图上的游戏为反应式非终止系统提供了一个自然的模型。在这类游戏中，两个玩家在场地上的互动会导致描述系统运行的无限路径。不同的设置用于在计算机科学中建模不同的开放系统，例如基于回合的或并发的移动以及确定性或随机性转换。在本文中，我们研究基于回合的游戏，特别是确定性平价游戏和随机可达性游戏（也称为简单随机游戏）。我们提出了一种简单、直接且高效的从确定性平价游戏到简单随机游戏的规约方法：它构建了一个场地，其大小与原始场地的大小成线性关系，最多多出一个对数因子。
作者：Krishnendu Chatterjee (Institute of Science and Technology (IST Austria)), Nathana"el Fijalkow (Institute of Science and Technology (IST Austria))
论文ID：1106.1232
分类：Computer Science and Game Theory
分类简称：cs.GT
提交时间：2011-06-08