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 |
| gptkbp:input |
matrices A, B, C
|
| gptkbp:namedAfter |
gptkb:Rusins_Freivalds
|
| gptkbp:proposedBy |
gptkb:Rusins_Freivalds
|
| gptkbp:type |
gptkb:randomized_algorithm
|
| gptkbp:usedFor |
matrix multiplication verification
|
| gptkbp:verdict |
whether AB = C
|
| gptkbp:yearProposed |
1977
|
| gptkbp:bfsParent |
gptkb:Anna_Freivalds
|
| gptkbp:bfsLayer |
7
|
| https://www.w3.org/2000/01/rdf-schema#label |
Freivalds' algorithm
|