Complexity Hierarchies Beyond Elementary - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Article Dans Une Revue ACM Transactions on Computation Theory Année : 2016

Complexity Hierarchies Beyond Elementary

Résumé

We introduce a hierarchy of fast-growing complexity classes and show its suitability for completeness statements of many non elementary problems. This hierarchy allows the classification of many decision problems with a non-elementary complexity, which occur naturally in logic, combinatorics, formal languages, verification, etc., with complexities ranging from simple towers of exponentials to Ackermannian and beyond.

Dates et versions

hal-01267354 , version 1 (04-02-2016)

Identifiants

Citer

Sylvain Schmitz. Complexity Hierarchies Beyond Elementary. ACM Transactions on Computation Theory, 2016, 8 (1), ⟨10.1145/2858784⟩. ⟨hal-01267354⟩
63 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More