Logical depth

Logical depth is a measure of complexity for individual strings devised by Charles H. Bennett based on the computational complexity of an algorithm that can recreate a given piece of information. It differs from Kolmogorov complexity in that it considers the computation time of the algorithm with nearly minimal length, rather than the length of the minimal algorithm.

Informally, the logical depth of a string $x$ to a significance level $s$ is the time required to compute $x$ by a program no more than $s$ bits longer than the shortest program that computes $x$ .^[1]

Formally, let $p^{*}$ be the shortest program that computes a string $x$ on some universal computer $U$ . Then the logical depth of $x$ to the significance level $s$ is given by ${\text{min}}\{T(p):(|p|-|p^{*}|<s)\wedge (U(p)=x)\},$ where $T(p)$ is the number of computation steps that $p$ made on $U$ to produce $x$ and halt.

References

^ Antunes, Luís; Bauwens, Bruno; Souto, André; Teixeira, Andreia (2017-02-01). "Sophistication vs Logical Depth". Theory of Computing Systems. 60 (2): 280–298. arXiv:1304.8046. doi:10.1007/s00224-016-9672-6. ISSN 1433-0490. S2CID 253745548.

Bennett, Charles H. (1988), "Logical Depth and Physical Complexity", in Herken, Rolf (ed.), The Universal Turing Machine: a Half-Century Survey, Oxford U. Press, pp. 227–257, CiteSeerX 10.1.1.70.4331
Craig, Edward (1998), "Computability and Information, Section 6: Logical depth", Routledge Encyclopedia of Philosophy, Vol. 10: Index, Taylor & Francis, p. 481, ISBN 9780415073103

P ≟ NP

This theoretical computer science–related article is a stub. You can help Wikipedia by expanding it.

[1] Antunes, Luís; Bauwens, Bruno; Souto, André; Teixeira, Andreia (2017-02-01). "Sophistication vs Logical Depth". Theory of Computing Systems. 60 (2): 280–298. arXiv:1304.8046. doi:10.1007/s00224-016-9672-6. ISSN 1433-0490. S2CID 253745548.

[1]

See also

References