Solving parity games in big steps

Schewe, Sven ORCID: 0000-0002-9093-9518 (2017) Solving parity games in big steps. JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 84. pp. 243-262.

Text BigSteps.pdf - Author Accepted Manuscript Download (410kB)

Abstract

This article proposes a new algorithm that improves the complexity bound for solving parity games. Our approach combines McNaughton's iterated fixed point algorithm with a preprocessing step, which is called prior to every recursive call. The preprocessing uses ranking functions similar to Jurdzifiski's, but with a restricted co-domain, to determine all winning regions smaller than a predefined parameter. The combination of the preprocessing step with the recursive call guarantees that McNaughton's algorithm proceeds in big steps, whose size is bounded from below by the chosen parameter. Higher parameters lead to smaller call trees, but they also result in an expensive preprocessing step. An optimal parameter balances the cost of the recursive call and the preprocessing step, resulting in an improvement of the known upper bound for solving parity games from O (m (2n/c)(1/2c))to approximately O (m (6e(1) ((6) over bar) n/c(2))(1/3c) ).

Item Type:	Article
Uncontrolled Keywords:	Parity games, Finite games of infinite duration
Depositing User:	Symplectic Admin
Date Deposited:	13 Dec 2016 16:28
Last Modified:	19 Jan 2023 07:24
DOI:	10.1016/j.jcss.2016.10.002
Related URLs:	Author Publisher
URI:	https://livrepository.liverpool.ac.uk/id/eprint/3004864