
Randomized Algorithms: Freivalds’ algorithm
Poll (Q9): You have repeated Freivalds’ algorithm 1000 times, and it outputs YES 998
times and NO 2 times. Select the correct statement.
A. It must be the case that AB = C .
B. It must be the case that AB = C . ✓
C. It’s possible that AB = C or AB = C .
D. Contradiction: This outcome is impossible to attain.
Solution.
When AB = C , algorithm always output YES (we should not see any NO).
When AB = C , the algorithm can output anything.
18 / 19