# Beyond Value Iteration for Parity Games: Strategy Iteration with Universal Trees

@article{Koh2021BeyondVI, title={Beyond Value Iteration for Parity Games: Strategy Iteration with Universal Trees}, author={Zhuan Khye Koh and Georg Loho}, journal={ArXiv}, year={2021}, volume={abs/2108.13338} }

Parity games have witnessed several new quasi-polynomial algorithms since the breakthrough result of Calude et al. (STOC 2017). The combinatorial object underlying these approaches is a universal tree , as identified by Czerwiński et al. (SODA 2019). By proving a quasi-polynomial lower bound on the size of a universal tree, they have highlighted a barrier that must be overcome by all existing approaches to attain polynomial running time. This is due to the existence of worst case instances…

## References

SHOWING 1-10 OF 54 REFERENCES

### Universal trees grow inside separating automata: Quasi-polynomial lower bounds for parity games

- Computer ScienceSODA
- 2019

The technical highlights are a quasi-polynomial lower bound on the size of universal ordered trees and a proof that every separating safety automaton has a universal tree hidden in its state space.

### Value Iteration Using Universal Graphs and the Complexity of Mean Payoff Games

- Computer ScienceMFCS
- 2020

It is shown that the linear dependence in the exponent in the number k of weights implies that universal graphs do not yield a quasipolynomial time algorithm for solving mean payoff games, implying that tight bounds on the complexity of algorithms formean payoff games using universal graphs are proved.

### An Optimal Value Iteration Algorithm for Parity Games

- Computer ScienceArXiv
- 2018

The technical result of this paper is to show that the latter construction is asymptotically tight: universal trees have at least quasipolynomial size, suggesting that the succinct progress measure algorithm of Jurdzi\'nski and Lazi\'c is in this framework optimal, and that the polynomial time algorithm for parity games is hiding someplace else.

### Parity Games: Zielonka's Algorithm in Quasi-Polynomial Time

- Computer ScienceMFCS
- 2019

A small modification of the Zielonka's algorithm is proposed, which ensures that the running time is at most quasi-polynomial, and it is hoped that this algorithm, after further optimizations, can lead to an algorithm that shares the good performance of the ziggurat's algorithm on typical inputs, while reducing the worst-case complexity on difficult inputs.

### Solving parity games via priority promotion

- Computer ScienceCAV
- 2016

A new algorithm is proposed for the solution of this decision problem, based on the idea of promoting vertexes to higher priorities during the search for winning regions, exhibiting the best space complexity among the currently known solutions.

### Small Progress Measures for Solving Parity Games

- Computer ScienceSTACS
- 2000

A new algorithm for deciding the winner in parity games, and hence also for the modal µ-calculus model checking, based on a notion of game progress measures, characterized as pre-fixed points of certain monotone operators on a complete lattice.

### Exponential Lower Bounds for Solving Infinitary Payoff Games and Linear Programs

- Computer Science
- 2011

Parity games form an intriguing family of infinitary payoff games whose solution
is equivalent to the solution of important problems in automatic verification and
automata theory. They also form a…

### A Discrete Strategy Improvement Algorithm for Solving Parity Games

- Computer ScienceCAV
- 2000

A discrete strategy improvement algorithm is given for constructing winning strategies in parity games, thereby providing also a new solution of the model-checking problem for the modal μ-calculus.…

### An Exponential Lower Bound for the Parity Game Strategy Improvement Algorithm as We Know it

- Computer Science2009 24th Annual IEEE Symposium on Logic In Computer Science
- 2009

A family of games on which the discrete strategy improvement algorithm for solving parity games due to Voege and Jurdzinski requires exponentially many strategy iterations is outlined, answering in the negative the long-standing question whether this algorithm runs in polynomial time.