A Recursive Approach to Solving Parity Games in Quasipolynomial TimeArticleAuthors: Karoliina Lehtinen ; Paweł Parys

; Sven Schewe

; Dominik Wojtczak
NULL##0000-0001-7247-1408##0000-0002-9093-9518##NULL
Karoliina Lehtinen;Paweł Parys;Sven Schewe;Dominik Wojtczak
Zielonka's classic recursive algorithm for solving parity games is perhaps the simplest among the many existing parity game algorithms. However, its complexity is exponential, while currently the state-of-the-art algorithms have quasipolynomial complexity. Here, we present a modification of Zielonka's classic algorithm that brings its complexity down to $n^{O\left(\log\left(1+\frac{d}{\log n}\right)\right)}$, for parity games of size $n$ with $d$ priorities, in line with previous quasipolynomial-time solutions.
Volume: Volume 18, Issue 1
Published on: January 12, 2022
Accepted on: October 26, 2021
Submitted on: April 21, 2021
Keywords: Computer Science - Computer Science and Game Theory, Computer Science - Formal Languages and Automata Theory
Funding:
Source : OpenAIRE Graph- Foundations of Composition; Funder: European Commission; Code: 892704
- Solving Parity Games in Theory and Practice; Funder: UK Research and Innovation; Code: EP/P020909/1