A parity game is played on a colored directed graph, where each node has been colored by a priority – one of finitely many natural numbers. Two players, 0 and 1, move a token along the edges of the graph. The owner of the node that the token falls... Wikipedia