The Parametric Complexity of Lossy Counter Machines
Résumé
The reachability problem in lossy counter machines is the best-known ACKERMANN-complete problem and has been used to establish most of the ACKERMANN-hardness statements in the literature. This hides however a complexity gap when the number of counters is fixed. We close this gap and prove Fd-completeness for machines with d counters, which provides the first known uncontrived problems complete for the fast-growing complexity classes at levels 3 < d < ω. We develop for this an approach through antichain factorisations of bad sequences and analysing the length of controlled antichains.
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...