= Parity game
{wiki=Parity_game}
A parity game is a type of two-player infinite game played on a directed graph, where the nodes of the graph are assigned priorities (non-negative integers). The two players, commonly referred to as Player 0 and Player 1, take turns moving a token along the edges of the graph, starting from an initial node. The objective of each player is to ensure that the path taken by the token satisfies certain conditions related to the priorities of the nodes.
Back to article page
