加载中…
Parys has recently proposed a quasi-polynomial version of Zielonka’s recursive algorithm for solving parity games. In this brief note we suggest a variation of his algorithm that improves the complexity to meet the state-of-the-art complexity of broadly , while providing polynomial bounds when the number of colours is logarithmic.

生成讲解博客的中文版本

生成AI智能校验的中文版本