Statements (18)
Predicate | Object |
---|---|
gptkbp:instanceOf |
gptkb:algorithm
|
gptkbp:complexity |
O(n^2.81)
|
gptkbp:field |
computer science
theoretical computer science formal languages |
gptkbp:generalizes |
gptkb:CYK_algorithm
|
https://www.w3.org/2000/01/rdf-schema#label |
Valiant's algorithm
|
gptkbp:input |
context-free grammar
string |
gptkbp:namedAfter |
gptkb:Leslie_Valiant
|
gptkbp:output |
whether string is in language
|
gptkbp:publicationYear |
1975
|
gptkbp:publishedIn |
gptkb:Journal_of_Computer_and_System_Sciences
|
gptkbp:significance |
first sub-cubic time context-free recognition algorithm
|
gptkbp:solvedBy |
context-free grammar recognition
|
gptkbp:uses |
fast matrix multiplication
|
gptkbp:bfsParent |
gptkb:Leslie_Valiant
|
gptkbp:bfsLayer |
5
|