Statements (18)
Predicate | Object |
---|---|
gptkbp:instanceOf |
gptkb:algorithm
|
gptkbp:advantage |
faster than deterministic verification
|
gptkbp:can_be_repeated |
to reduce error probability
|
gptkbp:category |
gptkb:algorithm
|
gptkbp:complexity |
O(n^2)
|
gptkbp:error_probability |
at most 1/2 per run
|
gptkbp:field |
gptkb:mathematics
computer science |
https://www.w3.org/2000/01/rdf-schema#label |
Freivalds' algorithm
|
gptkbp:input |
matrices A, B, C
|
gptkbp:namedAfter |
gptkb:Rusins_Freivalds
|
gptkbp:proposedBy |
gptkb:Rusins_Freivalds
|
gptkbp:type |
randomized algorithm
|
gptkbp:usedFor |
matrix multiplication verification
|
gptkbp:verdict |
whether AB = C
|
gptkbp:yearProposed |
1977
|
gptkbp:bfsParent |
gptkb:Anna_Freivalds
|
gptkbp:bfsLayer |
7
|