Abstract
Depth of an object concerns a tradeoff between computation time and excess of program length over the shortest program length required to obtain the object. It gives an unconditional lower bound on the computation time from a given program in absence of auxiliary information. Variants known as logical depth and computational depth are expressed in Kolmogorov complexity theory.
We derive quantitative relation between logical depth and computational depth and unify the different depth notions by relating them to A. Kolmogorov and L. Levin’s fruitful notion of randomness deficiency. Subsequently, we revisit the computational depth of infinite strings, study the notion of super deep sequences and relate it with other approaches.
Similar content being viewed by others
References
Antunes, L., Fortnow, L., van Melkebeek, D., Vinodchandran, N.: Computational depth: concept and applications. Theor. Comput. Sci. 354(3), 391–404 (2006)
Antunes, L., Costa, A., Matos, A., Vitányi, P.: Computational depth of infinite strings revisited. In: Proc. CiE 2007, Computation and Logic in the Real World (2007)
Bennett, C.: Logical depth and physical complexity. In: The Universal Turing Machine: A Half-Century Survey, pp. 227–257. Oxford University Press, London (1988)
Fenner, S., Lutz, J., Mayordomo, E., Reardon, P.: Weakly useful sequences. Inf. Comput. 197, 41–54 (2005)
Juedes, D., Lathrop, J., Lutz, J.: Computational depth and reducibility. Theor. Comput. Sci. 132, 37–70 (1994)
Lathrop, J., Lutz, J.: Recursive computational depth. Inf. Comput. 153, 139–172 (1999)
Levin, L.: Laws of information conservation (nongrowth) and aspects of the foundation of probability theory. Probl. Inf. Transm. 10, 206–210 (1974)
Levin, L.: Randomness conservation inequalities: information and independence in mathematical theories. Inf. Control 61, 15–37 (1984)
Li, M., Vitányi, P.: An Introduction to Kolmogorov Complexity and its Applications, 2nd edn. Springer, Berlin (1997)
Li, M., Chen, X., Li, X., Ma, B., Vitányi, P.: The similarity metric. IEEE Trans. Inf. Theory 50(12), 3250–3264 (2004)
Lutz, J.: Dimension in complexity classes. In: Proceedings of the 15th IEEE Conference of Computational Complexity. IEEE Comput. Soc., Los Alamitos (2000)
Lutz, J.: The dimensions of individual strings and sequences. Technical Report cs.CC/0203017, ACM Computing Research Repository (2002)
Mayordromo, E.: A Kolmogorov complexity characterization of constructive Hausdorff dimension. Inf. Process. Lett. 84, 1–3 (2002)
Author information
Authors and Affiliations
Corresponding author
Additional information
The authors from University of Porto are partially supported by KCrypt (POSC/EIA/60819/2004) and funds granted to LIACC through the Programa de Financiamento Plurianual, Fundação para a Ciência e Tecnologia and Programa POSI.
Rights and permissions
About this article
Cite this article
Antunes, L., Matos, A., Souto, A. et al. Depth as Randomness Deficiency. Theory Comput Syst 45, 724–739 (2009). https://doi.org/10.1007/s00224-009-9171-0
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00224-009-9171-0