Winning Cores in Parity Games

3 years 19 days ago
Winning Cores in Parity Games
Whether parity games can be solved by a polynomial-time algorithm is a well-studied problem which has not yet been resolved. In this talk we propose a new direction for approaching this problem based on the novel notion of a winning core. We give two different, but equivalent, definitions of a winning core and show a number of interesting properties about them. This includes showing that winning cores can be computed in polynomial time if and only if parity games can be solved in polynomial time and that computation of winning cores is in the intersection of NP and co-NP. We also present a deterministic polynomial-time approximation algorithm for solving parity games based on computing winning cores. It runs in time O(d · n2 · m) where d is the number of colors, n is the number of states and m is the number of transitions. The algorithm returns under-approximations of the winning regions in parity games. It works remarkably well in practice as it solves all benchmark games from th...
Steen Vester
Added 31 Mar 2016
Updated 31 Mar 2016
Type Journal
Year 2016
Where CORR
Authors Steen Vester
Comments (0)