Construct · 1 fields · 4 citations

Kolmogorov complexity: a standalone construct

One name. One construct. A landmark on the map.

● anchor · a standalone construct Nearest construct by meaningcomplexitycompare the meanings
How to read this

Every construct on the map is compared with every other by the meaning of its definitions, and the closest one is surfaced here. The nearest construct to Kolmogorov complexity is complexity.

Hold this as a prompt, not a verdict. Two constructs sitting close in meaning is a reason to read them side by side and decide for yourself whether they are one idea under two names. It is not proof that they are. Compare the meanings in the Collider.

Kolmogorovcomplexity1 CONSTRUCTK-complexitySOLOMONOFF · MIN PROGRAM

A single standalone construct; nearby constructs are located against it in the Collider. Tap a field for its definition, unit, and measures.

Computer Science

The length of the shortest program that outputs a given string

Ray Solomonoff introduced the core idea in 1964 as part of a formal theory of inductive inference, and Andrey Kolmogorov (1965) and Gregory Chaitin (1966) independently arrived at the same measure, which now carries Kolmogorov's name and anchors the field of algorithmic information theory. The Kolmogorov complexity of a string is the length, in bits, of the shortest computer program that prints that string and then halts, so a highly regular string such as a million repetitions of "01" has a short program and low complexity, while a patternless string needs a program about as long as itself and has high complexity. The value is defined relative to a chosen universal computer, but Solomonoff, Kolmogorov, and Chaitin showed that switching to any other universal machine changes it only by a fixed additive constant, so the measure is well defined up to that constant, a result known as the invariance theorem. It is a machine-independent measure of the intrinsic information, or randomness, of an individual object, and unlike Shannon entropy, which describes the average uncertainty of a random source, it assigns a definite descriptive length to a single fixed string. A basic result, treated in depth in Li and Vitányi's standard reference, is that the function is uncomputable: no algorithm can return the exact Kolmogorov complexity of an arbitrary string, so applications rely on computable upper bounds such as the output length of general-purpose compressors.[1][2][3][4]

Unit
A non-negative integer count of bits, the length of the shortest description, defined relative to a fixed universal machine up to an additive constant
Recovery means
Not applicable
Measured by
Not exactly computable; the true value is uncomputable, so in practice it is bounded from above by the compressed size a general-purpose data compressor achieves and by related estimators

Next

Run it through the Collider, or take the citations with you.

See how Kolmogorov complexity sits against neighbouring constructs in the Collider, or export every reference on this page in one click.

Open in ColliderExport BibTeXReport this entry

Nearby constructs

complexity4 fields · 7 citationsjingle · one word, four constructsentropy6 fields · 12 citationsjingle · one name, six constructsinformation4 fields · 5 citationsjingle · one word, four constructs

References

  1. Solomonoff, R. J. (1964). A formal theory of inductive inference. Part I. Information and Control, 7(1), 1–22. https://doi.org/10.1016/S0019-9958(64)90223-2
  2. Kolmogorov, A. N. (1965). Three approaches to the quantitative definition of information. Problems of Information Transmission, 1(1), 1–7.
  3. Chaitin, G. J. (1966). On the length of programs for computing finite binary sequences. Journal of the ACM, 13(4), 547–569. https://doi.org/10.1145/321356.321363
  4. Li, M., & Vitányi, P. (2019). An introduction to Kolmogorov complexity and its applications (4th ed.). Springer. https://doi.org/10.1007/978-3-030-11298-1

Cited on this page?

Confirm your construct, or correct us.

If your work is cited behind one of these entries, you know better than we do whether we captured the meaning right. Confirm it, suggest an edit, or dispute it, and your name goes on the entry as an author who has checked it, linked to your ORCID.

Claim your construct