Feasible Depth
Computational Complexity
2007-07-13 v3 Information Theory
math.IT
Abstract
This paper introduces two complexity-theoretic formulations of Bennett's logical depth: finite-state depth and polynomial-time depth. It is shown that for both formulations, trivial and random infinite sequences are shallow, and a slow growth law holds, implying that deep sequences cannot be created easily from shallow sequences. Furthermore, the E analogue of the halting language is shown to be polynomial-time deep, by proving a more general result: every language to which a nonnegligible subset of E can be reduced in uniform exponential time is polynomial-time deep.
Cite
@article{arxiv.cs/0701123,
title = {Feasible Depth},
author = {David Doty and Philippe Moser},
journal= {arXiv preprint arXiv:cs/0701123},
year = {2007}
}
Comments
Accepted to Computation and Logic in the Real World, Proceedings of the 3rd Conference on Computability in Europe (CiE), 2007