Complexity of majorants
Abstract
The minimal Kolmogorov complexity of a total computable function that exceeds everywhere all total computable functions of complexity at most $n$, is $2^{n+O(1)}$. If we replace "everywhere" by "for all sufficiently large inputs", the answer is $n+O(1)$.
- Publication:
-
arXiv e-prints
- Pub Date:
- April 2020
- DOI:
- 10.48550/arXiv.2004.02844
- arXiv:
- arXiv:2004.02844
- Bibcode:
- 2020arXiv200402844S
- Keywords:
-
- Mathematics - Logic;
- Computer Science - Information Theory;
- 68Q30;
- H.1.1