2000 character limit reached
Improving the complexity of Parys' recursive algorithm
Published 26 Apr 2019 in cs.GT and cs.DS | (1904.11810v4)
Abstract: 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.
Paper Prompts
Sign up for free to create and run prompts on this paper.