 |
|
|
|
| HAL : hal-00144226, version 1 |
| arXiv : 0705.0262 |
| Fiche détaillée |  Récupérer au format |
|
|
|
|
| The Complexity of Games on Higher Order Pushdown Automata |
|
|
| Thierry Cachat 1Igor Walukiewicz 2 |
|
|
| (02/05/2007) |
|
|
|
| We prove an n-EXPTIME lower bound for the problem of deciding the winner in a reachability game on Higher Order Pushdown Automata (HPDA) of level n. This bound matches the known upper bound for parity games on HPDA. As a consequence the mu-calculus model checking over graphs given by n-HPDA is n-EXPTIME complete. |
|
|
|
|
|
|
|
|
|
|
|
| 1 : | Laboratoire d'informatique Algorithmique : Fondements et Applications (LIAFA) |
|
|
|
CNRS : UMR7089 – Université Paris VII - Paris Diderot |
|
|
| 2 : | Laboratoire Bordelais de Recherche en Informatique (LaBRI) |
|
|
|
CNRS : UMR5800 – Université Sciences et Technologies - Bordeaux I – Ecole Nationale Supérieure d'Electronique, Informatique et Radiocommunications de Bordeaux – Université Victor Segalen - Bordeaux II |
|
|
|
|
|
|
|
|
|
| Domaine | : | Informatique/Informatique et théorie des jeux |
|
|
| complexity – game-theory – lower-bound – Higher Order Pushdown Automata |
|
|
|
| Liste des fichiers attachés à ce document : | ||||||||||
|
||||||||||
|
|
|
| hal-00144226, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00144226 | |
| oai:hal.archives-ouvertes.fr:hal-00144226 | |
| Contributeur : Thierry Cachat | |
| Soumis le : Mercredi 2 Mai 2007, 13:32:43 | |
| Dernière modification le : Mercredi 2 Mai 2007, 13:49:01 | |
