A technique to speed up symmetric attractor-based algorithms for parity games
KS Thejaswini, P Ohlmann… - Proceedings of the 42nd …, 2022 - wrap.warwick.ac.uk
Proceedings of the 42nd IARCS Annual Conference on Foundations of …, 2022•wrap.warwick.ac.uk
The classic McNaughton-Zielonka algorithm for solving parity games has excellent
performance in practice, but its worst-case asymptotic complexity is worse than that of the
state-of-the-art algorithms. This work pinpoints the mechanism that is responsible for this
relative underperformance and proposes a new technique that eliminates it. The culprit is
the wasteful manner in which the results obtained from recursive calls are indiscriminately
discarded by the algorithm whenever subgames on which the algorithm is run change. Our …
performance in practice, but its worst-case asymptotic complexity is worse than that of the
state-of-the-art algorithms. This work pinpoints the mechanism that is responsible for this
relative underperformance and proposes a new technique that eliminates it. The culprit is
the wasteful manner in which the results obtained from recursive calls are indiscriminately
discarded by the algorithm whenever subgames on which the algorithm is run change. Our …
The classic McNaughton-Zielonka algorithm for solving parity games has excellent performance in practice, but its worst-case asymptotic complexity is worse than that of the state-of-the-art algorithms. This work pinpoints the mechanism that is responsible for this relative underperformance and proposes a new technique that eliminates it. The culprit is the wasteful manner in which the results obtained from recursive calls are indiscriminately discarded by the algorithm whenever subgames on which the algorithm is run change. Our new technique is based on firstly enhancing the algorithm to compute attractor decompositions of subgames instead of just winning strategies on them, and then on making it carefully use attractor decompositions computed in prior recursive calls to reduce the size of subgames on which further recursive calls are made. We illustrate the new technique on the classic example of the recursive McNaughton-Zielonka algorithm, but it can be applied to other symmetric attractor-based algorithms that were inspired by it, such as the quasi-polynomial versions of the McNaughton-Zielonka algorithm based on universal trees.
wrap.warwick.ac.uk
以上显示的是最相近的搜索结果。 查看全部搜索结果