Graph Operations on Parity Games and Polynomial-Time Algorithms

Christoph Dittmann, Stephan Kreutzer, Alexandru I. Tomescu

Parity games are games that are played on directed graphs whose vertices are labeled by natural numbers, called priorities. The players push a token along the edges of the digraph.…