Levin's optimality theorem

GPTKB entity

Statements (13)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
gptkbp:alsoKnownAs Levin's universal search theorem
gptkbp:appliesTo prefix-free machines
gptkbp:field algorithmic information theory
https://www.w3.org/2000/01/rdf-schema#label Levin's optimality theorem
gptkbp:implies existence of optimal descriptional systems
gptkbp:namedAfter gptkb:Leonid_Levin
gptkbp:relatedTo gptkb:Kolmogorov_complexity
gptkb:universal_Turing_machine
gptkbp:state There exists an optimal universal Turing machine for prefix Kolmogorov complexity up to an additive constant.
gptkbp:yearProposed 1973
gptkbp:bfsParent gptkb:Levin's_theorem
gptkbp:bfsLayer 6