Solving Parity Games on the GPU
Solving Parity Games on the GPU
复制标题
在 GPU 上解决奇偶游戏
DOI：
10.1007/978-3-319-02444-8_34
复制
发表时间：
2013
期刊：
影响因子：
--
通讯作者：
Michael Luttenberger
中科院分区：
文献类型：
--
作者：
Philipp Hoffmann;Michael Luttenberger
我们提出了我们的GPU为基础的实现三个著名的算法解决奇偶校验游戏。我们的实现通常比在广泛已知的 PGSolver 解算器的集合为了进行基准测试，我们使用了以下几个 PGSolver 的基准以及通过将不确定Büchi自动机的语言包含问题约化为只有三种颜色的奇偶对策而获得的竞技场[3]。的基准套件 http://languageinclusion.org/CONCUR2011 在后一种情况下使用。
We present our GPU-based implementations of three well-known algorithms for solving parity games. Our implementations are in general faster by a factor of at least two than the corresponding implementations found in the widely known PGSolver collection of solvers. For benchmarking we use several of PGSolver ’s benchmarks as well as arenas obtained by means of the reduction of the language inclusion problem of nondeterministic Büchi automata to parity games with only three colors [3]. The benchmark suite of http://languageinclusion.org/CONCUR2011 was used in the latter case.
登录
查看更多内容
PGSolver 奇偶游戏求解器集合版本 3
DOI：
--
发表时间：
2010
期刊：
影响因子：
--
作者：
Oliver Friedmann;M. Lange
通讯作者：
M. Lange
使用非确定性策略进行策略迭代来解决奇偶博弈
DOI：
--
发表时间：
2008
期刊：
arXiv.org
影响因子：
--
作者：
Michael Luttenberger
通讯作者：
Michael Luttenberger
DOI：
10.1007/3-540-48224-5_57
发表时间：
2001-07
期刊：
--
影响因子：
--
作者：
K. Etessami;T. Wilke;Rebecca A. Schuller
通讯作者：
K. Etessami;T. Wilke;Rebecca A. Schuller
计算机科学数学基础 2004
DOI：
--
发表时间：
2004
期刊：
Lecture Notes in Computer Science
影响因子：
--
作者：
J. Fiala;Václav Koubek;Jan Kratochvíl
通讯作者：
Jan Kratochvíl