fast parity game calculation