The Parametric Ordinal-Recursive Complexity of Post Embedding Problems
Abstract
Post Embedding Problems are a family of decision problems based on the interaction of a rational relation with the subword embedding ordering, and are used in the literature to prove non multiply-recursive complexity lower bounds. We refine the construction of Chambart and Schnoebelen (LICS 2008) and prove parametric lower bounds depending on the size of the alphabet.
- Publication:
-
arXiv e-prints
- Pub Date:
- November 2012
- DOI:
- 10.48550/arXiv.1211.5259
- arXiv:
- arXiv:1211.5259
- Bibcode:
- 2012arXiv1211.5259K
- Keywords:
-
- Computer Science - Logic in Computer Science;
- F.2
- E-Print:
- 16 + vii pages