Complexity Hierarchies Beyond Elementary
Abstract
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.
- Publication:
-
arXiv e-prints
- Pub Date:
- December 2013
- DOI:
- 10.48550/arXiv.1312.5686
- arXiv:
- arXiv:1312.5686
- Bibcode:
- 2013arXiv1312.5686S
- Keywords:
-
- Computer Science - Computational Complexity;
- Computer Science - Logic in Computer Science;
- F.1.3
- E-Print:
- Version 3 is the published version in TOCT 8(1:3), 2016. I will keep updating the catalogue of problems from Section 6 in future revisions