Statements (21)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:algorithm
|
| gptkbp:alsoKnownAs |
Universal search
|
| gptkbp:characteristic |
allocates computational resources proportionally
enumerates all possible programs |
| gptkbp:complexity |
NP-complete
|
| gptkbp:describedBy |
gptkb:Journal_of_Soviet_Mathematics
gptkb:Universal_Search_Problems_(1973) |
| gptkbp:field |
gptkb:artificial_intelligence
computer science algorithmic information theory |
| https://www.w3.org/2000/01/rdf-schema#label |
Levin search
|
| gptkbp:introducedIn |
1973
|
| gptkbp:inventedBy |
gptkb:Leonid_Levin
|
| gptkbp:limitation |
impractical due to large constant factors
|
| gptkbp:purpose |
find solutions to search problems efficiently
|
| gptkbp:relatedTo |
gptkb:Kolmogorov_complexity
gptkb:universal_Turing_machine gptkb:Solomonoff_induction algorithmic probability |
| gptkbp:bfsParent |
gptkb:Leonid_Levin
|
| gptkbp:bfsLayer |
5
|