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 to a significance level is the time required to compute by a program no more than bits longer than the shortest program that computes .{{Cite journal |last1=Antunes |first1=Luís |last2=Bauwens |first2=Bruno |last3=Souto |first3=André |last4=Teixeira |first4=Andreia |date=2017-02-01 |title=Sophistication vs Logical Depth |url=https://doi.org/10.1007/s00224-016-9672-6 |journal=Theory of Computing Systems |language=en |volume=60 |issue=2 |pages=280–298 |doi=10.1007/s00224-016-9672-6 |s2cid=253745548 |issn=1433-0490|arxiv=1304.8046 }}
Formally, let be the shortest program that computes a string on some universal computer . Then the logical depth of to the significance level is given by where is the number of computation steps that made on to produce and halt.
See also
References
{{Reflist}}
- {{citation|first=Charles H.|last=Bennett|author-link=Charles H. Bennett (computer scientist)|chapter=Logical Depth and Physical Complexity|title=The Universal Turing Machine: a Half-Century Survey|publisher=Oxford U. Press|editor-first=Rolf|editor-last=Herken|pages=227–257|year=1988|citeseerx = 10.1.1.70.4331}}
- {{citation|title=Routledge Encyclopedia of Philosophy, Vol. 10: Index|first=Edward|last=Craig|publisher=Taylor & Francis|year=1998|isbn=9780415073103|contribution-url=https://books.google.com/books?id=Sd2wUijnE8MC&pg=PA481|page=481|contribution=Computability and Information, Section 6: Logical depth}}
Category:Computational complexity theory
Category:Measures of complexity
{{Comp-sci-theory-stub}}