Descriptions:

Parity game

POJ - 1733