Since you mentioned it on social media, it might be worth adding here the news that this preprint (“Attractors Is All You Need: Parity Games In Polynomial Time” by van der Heijden) claims to prove that this kind of problem is actually in P.
↧