On the logical depth function
Abstract
For a finite binary string its logical depth for significance is the shortest running time of a program for of length . There is another definition of logical depth. We give a new proof that the two versions are close. There is an infinite sequence of strings of consecutive lengths such that for every string there is a such that incrementing by 1 makes the associated depths go from incomputable to computable. The maximal gap between depths resulting from incrementing appropriate 's by 1 is incomputable. The size of this gap is upper bounded by the Busy Beaver function. Both the upper and the lower bound hold for the depth with significance 0. As a consequence, the minimal computation time of the associated shortest programs rises faster than any computable function but not so fast as the Busy Beaver function.
Keywords
Cite
@article{arxiv.1301.4451,
title = {On the logical depth function},
author = {L. Antunes and A. Souto and A. Teixeira and P. M. B. Vitanyi},
journal= {arXiv preprint arXiv:1301.4451},
year = {2013}
}
Comments
11 pages LaTeX; previous version was incorrect, this is a new version with almost the same results