Robust Exponential Worst Cases for Divide-et-Impera Algorithms for Parity Games

The McNaughton-Zielonka divide et impera algorithm is the simplest and most flexible approach available in the literature for determining the winner in a parity game. Despite its theoretical worst-case complexity and the negative reputation as a poorly effective algorithm in practice, it has been sh...

Full description

Bibliographic Details
Main Authors: Massimo Benerecetti, Daniele Dell'Erba, Fabio Mogavero
Format: Article
Language:English
Published: Open Publishing Association 2017-09-01
Series:Electronic Proceedings in Theoretical Computer Science
Online Access:http://arxiv.org/pdf/1709.02099v1