Generalized Parity Games

Krishnendu Chatterjee, Thomas A. Henzinger, and Nir Piterman

We consider games where the winning conditions are disjunctions (or dually, conjunctions) of parity conditions; we call them generalized parity games. These winning conditions, while omega-regular, arise naturally when considering fair simulation between parity automata, secure equilibria for parity conditions, and determinization of Rabin automata. We show that these games retain the computational complexity of Rabin and Streett conditions; i.e., they are NP-complete and co-NP-complete, respectively. The (co-)NP-hardness is proved for the special case of a conjunction/disjunction of two parity conditions, which is the case that arises in fair simulation and secure equilibria. However, considering these games as Rabin or Streett games is not optimal. We give an exposition of Zielonka's algorithm when specialized to this kind of games. The complexity of solving these games for k parity objectives with d priorities, n states, and m edges is O(n2kd · m) · (kd)!/(d!k), as compared to O(n2kd · m) · (kd)! when these games are solved as Rabin/Streett games. We also extend the subexponential algorithm for solving parity games recently introduced by Jurdzinski, Paterson, and Zwick to generalized parity games. The resulting complexity of solving generalized parity games is nO(n1/2) · (kd)!/(d!k). As a corollary we obtain an improved algorithm for Rabin and Streett games with d pairs, with time complexity nO(n1/2) · d!.

Proceedings of the Tenth International Conference on Foundations of Software Science and Computation Structures (FOSSACS), Lecture Notes in Computer Science 4423, Springer, 2007, pp. 153-167.

Download inofficial, sometimes updated PostScript / PDF document. © 2007 Springer.