论文信息 - Solving Parity Games on the GPU

Solving Parity Games on the GPU

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 Buchi automata to parity games with only three colors [3]. The benchmark suite of http://languageinclusion.org/CONCUR2011 was used in the latter case.

Michael Luttenberger | Philipp Hoffmann | Philipp Hoffmann | Michael Luttenberger

[1] Lubos Brim,et al. Designing fast LTL model checking algorithms for many-core GPUs , 2012, J. Parallel Distributed Comput..

[2] Alex K. Simpson,et al. Computational Adequacy in an Elementary Topos , 1998, CSL.

[3] Wieslaw Zielonka,et al. Infinite Games on Finitely Coloured Graphs with Applications to Automata on Infinite Trees , 1998, Theor. Comput. Sci..

[4] Sven Schewe,et al. An Optimal Strategy Improvement Algorithm for Solving Parity and Payoff Games , 2008, CSL.

[5] Jan Kratochvíl,et al. Mathematical Foundations of Computer Science 2004 , 2004, Lecture Notes in Computer Science.

[6] Marcin Jurdzinski,et al. Small Progress Measures for Solving Parity Games , 2000, STACS.

[7] Marcin Jurdzinski,et al. A Discrete Strategy Improvement Algorithm for Solving Parity Games , 2000, CAV.

[8] Robin Milner,et al. On Observing Nondeterminism and Concurrency , 1980, ICALP.

[9] M. Lange,et al. The PGSolver Collection of Parity Game Solvers Version 3 , 2010 .

[10] Kousha Etessami,et al. Fair Simulation Relations, Parity Games, and State Space Reduction for Büchi Automata , 2001, ICALP.

[11] Henrik Björklund,et al. A combinatorial strongly subexponential strategy improvement algorithm for mean payoff games , 2007, Discret. Appl. Math..

[12] Michael Luttenberger,et al. Strategy Iteration using Non-Deterministic Strategies for Solving Parity Games , 2008, ArXiv.