Levin's universal search

GPTKB entity

Statements (24)
Predicate Object
gptkbp:instanceOf gptkb:algorithm
gptkbp:alsoKnownAs gptkb:Levin_search
gptkbp:category gptkb:search_engine
meta-algorithm
gptkbp:describes A theoretically optimal algorithm for searching for solutions to computational problems
gptkbp:field gptkb:artificial_intelligence
computer science
algorithmic information theory
https://www.w3.org/2000/01/rdf-schema#label Levin's universal search
gptkbp:influenced gptkb:AIXI
universal artificial intelligence
gptkbp:inventedBy gptkb:Leonid_Levin
gptkbp:limitation large constant factor makes it impractical for most real-world problems
gptkbp:notablePublication Universal Search Problems (1973) by Leonid Levin
gptkbp:property guarantees finding a solution if one exists
runs in time at most a constant factor slower than the fastest algorithm for the problem
gptkbp:purpose solve search problems efficiently
gptkbp:relatedTo gptkb:Kolmogorov_complexity
gptkb:universal_Turing_machine
gptkb:Solomonoff_induction
algorithmic probability
gptkbp:yearProposed 1973
gptkbp:bfsParent gptkb:Algorithmic_Information_Theory
gptkbp:bfsLayer 7