The Rabin Index of Parity Games: Its Complexity and Approximation
File(s)1-s2.0-S0890540115000723-main.pdf (609.19 KB)
Published version
Author(s)
Huth, MRA
Piterman, N
Kuo, JH-P
Type
Journal Article
Abstract
We study the descriptive complexity of parity games by taking into account the coloring of their game graphs whilst ignoring their ownership structure. Colorings of game graphs are
identified if they determine the same winning regions and strategies, for *all* ownership structures of nodes. The Rabin index of a parity game is the minimum of the maximal color taken over all equivalent coloring functions. We show that deciding whether the Rabin index is at least k is in P for k=1$but NP-hard for all *fixed* k >= 2. We present an
EXPTIME algorithm that computes the Rabin index by simplifying its input coloring function. When replacing simple cycle with cycle detection in that algorithm, its output over-approximates the Rabin index in polynomial time. We evaluate this efficient algorithm as a preprocessor of solvers in detailed experiments: for Zielonka's solver on random and structured parity games and for *partial* solver psolB on random games.
identified if they determine the same winning regions and strategies, for *all* ownership structures of nodes. The Rabin index of a parity game is the minimum of the maximal color taken over all equivalent coloring functions. We show that deciding whether the Rabin index is at least k is in P for k=1$but NP-hard for all *fixed* k >= 2. We present an
EXPTIME algorithm that computes the Rabin index by simplifying its input coloring function. When replacing simple cycle with cycle detection in that algorithm, its output over-approximates the Rabin index in polynomial time. We evaluate this efficient algorithm as a preprocessor of solvers in detailed experiments: for Zielonka's solver on random and structured parity games and for *partial* solver psolB on random games.
Date Issued
2015-06-25
Date Acceptance
2014-12-20
Citation
Information and Computation, 2015, 245, pp.36-53
ISSN
1090-2651
Publisher
Elsevier
Start Page
36
End Page
53
Journal / Book Title
Information and Computation
Volume
245
Copyright Statement
© 2015 The Authors. Published by Elsevier Inc. This is an open access article under the CC
BY license (http://creativecommons.org/licenses/by/4.0/).
BY license (http://creativecommons.org/licenses/by/4.0/).
Subjects
Computation Theory & Mathematics
08 Information And Computing Sciences
Notes
Accepted on 20 December 2014: Dear Michael, Jim, and Nir, We are pleased to inform you that your paper has been accepted for publication in the special issue of Information and Computation for GandALF'13. We would like to kindly ask you to prepare a camera ready version of your paper by following the guidelines provided by the journal at http://www.elsevier.com/journals/information-and-computation/0890-5401/guide-for-authors You can directly send us the source files and the generated pdf. Best regards, Angelo Montanari, Gabriele Puppis, Tiziano Villa
Publication Status
Published