Numerical evaluation of algorithmic complexity for short strings: A glance into the innermost structure of randomness

作者:

Highlights:

摘要

We describe an alternative method (to compression) that combines several theoretical and experimental results to numerically approximate the algorithmic Kolmogorov–Chaitin complexity of all ∑n=182n bit strings up to 8 bits long, and for some between 9 and 16 bits long. This is done by an exhaustive execution of all deterministic 2-symbol Turing machines with up to four states for which the halting times are known thanks to the Busy Beaver problem, that is 11 019 960 576 machines. An output frequency distribution is then computed, from which the algorithmic probability is calculated and the algorithmic complexity evaluated by way of the Levin–Chaitin coding theorem.

论文关键词:Algorithmic probability,Algorithmic (program-size) complexity,Halting probability,Chaitin’s Ω,Levin’s universal distribution,Levin–Chaitin coding theorem,Busy Beaver problem,Kolmogorov–Chaitin complexity

论文评审过程:Available online 13 November 2011.

论文官网地址:https://doi.org/10.1016/j.amc.2011.10.006