RSS

Kol­mogorov Complexity

TagLast edit: Apr 21, 2022, 10:22 PM by Alex_Altair

The Kolmogorov Complexity (sometimes called Algorithmic Complexity) of a set of data is the size of the shortest possible description of the data.

See also: Solomonoff Induction, AIXI

Algorithmic complexity is an inverse measure of compressibility. If the data is complex and random, the shortest possible description of it becomes longer. This is also one of the best definitions of randomness so far1. If the data has few regular patterns, it is difficult to compress it or describe it shortly, giving it a high Kolmogorov complexity and randomness. If there isn’t any way to describe the data so that the description is shorter than the data itself, the data is incompressible. 2

More formally, the Kolmogorov complexity C(x) of a set x, is the size in bits of the shortest binary program (in a fixed programming language) that prints the set x as its only output. If C(x) is equal or greater than the size of x in bits, x is incompressible. 3

This notion can be used to state many important results in computational theory. Possibly the most famous is Chaitin’s incompleteness theorem, a version of Gödel’s incompleteness theorem.

References

  1. SIPSER, M. (1983) “A complexity theoretic approach to randomness”. In Proceedings of the 15th ACM Symposium on the Theory of Computing, pages 330{335. ACM, New York.

  2. FORTNOW, Lance. “Kolmogorov Complexity” Available at: http://​​citeseerx.ist.psu.edu/​​viewdoc/​​download?doi=10.1.1.120.4949&rep=rep1&type=pdf

  3. LI, Ming. & VITANY, Paul. “Algorithmic Complexity”. Available at: http://​​homepages.cwi.nl/​​~paulv/​​papers/​​020608isb.pdf

Com­plex­ity and Intelligence

Eliezer YudkowskyNov 3, 2008, 8:27 PM
34 points
78 comments11 min readLW link

K-com­plex­ity is silly; use cross-en­tropy instead

So8resDec 20, 2022, 11:06 PM
147 points
54 comments14 min readLW link2 reviews

A Can­di­date Com­plex­ity Measure

intersticeDec 31, 2017, 8:15 PM
16 points
8 comments3 min readLW link

Does Check­ers have sim­pler rules than Go?

jefftkAug 13, 2013, 2:09 AM
23 points
47 comments1 min readLW link

Hilbert’s Triumph, Church and Tur­ing’s failure, and what it means (Post #2)

Noosphere89Jul 30, 2023, 2:33 PM
−5 points
16 comments15 min readLW link

Al­gorith­mic Mea­sure of Emer­gence v2.0

intersticeMar 10, 2022, 8:26 PM
15 points
2 comments4 min readLW link

Beyond Kol­mogorov and Shannon

Oct 25, 2022, 3:13 PM
63 points
22 comments5 min readLW link

[Question] Take over my pro­ject: do com­putable agents plan against the uni­ver­sal dis­tri­bu­tion pes­simisti­cally?

Cole WyethFeb 19, 2025, 8:17 PM
25 points
3 comments3 min readLW link

[Question] Mea­sure of com­plex­ity al­lowed by the laws of the uni­verse and rel­a­tive the­ory?

dr_sSep 7, 2023, 12:21 PM
8 points
22 comments1 min readLW link

Kol­mogorov Com­plex­ity and Si­mu­la­tion Hypothesis

False NameDec 14, 2022, 10:01 PM
−3 points
0 comments7 min readLW link

[Question] What’s the min­i­mal ad­di­tive con­stant for Kol­mogorov Com­plex­ity that a pro­gram­ming lan­guage can achieve?

Noosphere89Dec 20, 2023, 3:36 PM
11 points
15 comments1 min readLW link

Con­tra An­ton 🏴‍☠️ on Kol­mogorov com­plex­ity and re­cur­sive self improvement

DaemonicSigilJun 30, 2023, 5:15 AM
25 points
12 comments2 min readLW link

Why you can’t treat de­cid­abil­ity and com­plex­ity as a con­stant (Post #1)

Noosphere89Jul 26, 2023, 5:54 PM
6 points
13 comments5 min readLW link

Kol­mogorov com­plex­ity makes re­ward learn­ing worse

Stuart_ArmstrongNov 6, 2017, 8:08 PM
0 points
0 comments1 min readLW link

Hu­mans can be as­signed any val­ues what­so­ever...

Stuart_ArmstrongOct 13, 2017, 11:29 AM
16 points
6 comments4 min readLW link

Does Kol­mogorov com­plex­ity im­ply a bound on self-im­prov­ing AI?

contravariantFeb 14, 2016, 8:38 AM
7 points
14 comments1 min readLW link

The Kol­mogorov com­plex­ity of a su­per­in­tel­li­gence

ThomasJun 26, 2011, 12:11 PM
4 points
30 comments1 min readLW link

Es­ti­mat­ing the kol­mogorov com­plex­ity of the known laws of physics?

StrilancJul 8, 2013, 4:30 AM
26 points
51 comments1 min readLW link

Help re­quest: What is the Kol­mogorov com­plex­ity of com­putable ap­prox­i­ma­tions to AIXI?

AnnaSalamonDec 5, 2010, 10:23 AM
9 points
9 comments1 min readLW link

What is the ad­van­tage of the Kol­mogorov com­plex­ity prior?

skepsciFeb 16, 2012, 1:51 AM
18 points
29 comments2 min readLW link

Hu­mans can be as­signed any val­ues what­so­ever…

Stuart_ArmstrongNov 5, 2018, 2:26 PM
54 points
27 comments4 min readLW link

Oc­cam’s Ra­zor and the Univer­sal Prior

Peter ChatainOct 3, 2021, 3:23 AM
29 points
5 comments21 min readLW link

Are the fun­da­men­tal phys­i­cal con­stants com­putable?

Yair HalberstadtApr 5, 2022, 3:05 PM
15 points
6 comments2 min readLW link

From the “weird math ques­tions” de­part­ment...

CronoDASAug 9, 2012, 7:19 AM
7 points
50 comments1 min readLW link

Hu­mans can be as­signed any val­ues what­so­ever...

Stuart_ArmstrongOct 13, 2017, 11:32 AM
7 points
36 comments4 min readLW link

Hu­mans can be as­signed any val­ues what­so­ever...

Stuart_ArmstrongOct 24, 2017, 12:03 PM
3 points
1 comment4 min readLW link

My (Mis)Ad­ven­tures With Al­gorith­mic Ma­chine Learning

AHartNtknSep 20, 2020, 5:31 AM
16 points
4 comments41 min readLW link

Are Mag­i­cal Cat­e­gories Rel­a­tively Sim­ple?

jacobtApr 14, 2012, 8:59 PM
5 points
2 comments4 min readLW link

Thought ex­per­i­ments on sim­plic­ity in log­i­cal probability

ManfredAug 20, 2014, 5:25 PM
8 points
16 comments3 min readLW link

Devel­op­ment of Com­pres­sion Rate Method

Daniel_BurfootMay 20, 2010, 5:11 PM
12 points
21 comments12 min readLW link

Pars­ing Chris Min­gard on Neu­ral Networks

Alex FlintMay 6, 2021, 10:16 PM
69 points
26 comments6 min readLW link

Be­hav­ioral Suffi­cient Statis­tics for Goal-Directedness

adamShimiMar 11, 2021, 3:01 PM
21 points
12 comments9 min readLW link

The Sim­ple World Hypothesis

DragonGodJun 5, 2017, 7:34 PM
4 points
15 comments8 min readLW link

Just How Hard a Prob­lem is Align­ment?

Roger DearnaleyFeb 25, 2023, 9:00 AM
3 points
1 comment21 min readLW link

Take­aways from a Mechanis­tic In­ter­pretabil­ity pro­ject on “For­bid­den Facts”

Dec 15, 2023, 11:05 AM
33 points
8 comments10 min readLW link

Ther­mo­dy­namic en­tropy = Kol­mogorov complexity

Aram EbtekarFeb 17, 2025, 5:56 AM
70 points
12 comments1 min readLW link
(doi.org)

Vari­ably com­press­ibly stud­ies are fun

dkl9Dec 16, 2024, 4:00 PM
0 points
0 comments2 min readLW link
(dkl9.net)

What if Be­ing Less Wrong is at the Base of the Uni­verse?

Aldo CernutoMar 13, 2025, 8:11 AM
1 point
0 comments3 min readLW link

Kol­mogorov’s the­ory of Al­gorith­mic Probability

Aidan RockeAug 3, 2023, 12:58 AM
5 points
2 comments2 min readLW link
(keplerlounge.com)

Causal­ity and a Cost Se­man­tics for Neu­ral Networks

scottviteriAug 21, 2023, 9:02 PM
22 points
1 comment1 min readLW link

Erdős Prob­lems in Al­gorith­mic Probability

Aidan RockeSep 11, 2023, 4:44 PM
13 points
4 comments2 min readLW link

Re­vis­it­ing the Man­i­fold Hypothesis

Aidan RockeOct 1, 2023, 11:55 PM
13 points
19 comments4 min readLW link

Goal-di­rect­ed­ness: tack­ling complexity

Morgan_RogersJul 2, 2022, 1:51 PM
8 points
0 comments38 min readLW link

An at­tempt to un­der­stand the Com­plex­ity of Values

Dalton MaberyAug 5, 2022, 4:43 AM
3 points
0 comments5 min readLW link

Goal-di­rect­ed­ness: rel­a­tivis­ing complexity

Morgan_RogersAug 18, 2022, 9:48 AM
3 points
0 comments11 min readLW link

Mean­ingful things are those the uni­verse pos­sesses a se­man­tics for

Abhimanyu Pallavi SudhirDec 12, 2022, 4:03 PM
16 points
14 comments14 min readLW link
No comments.