Why it matters
Monte Carlo trades correctness for speed. Understanding shapes classes.
Advertisement
The architecture
Randomize checks.
Fixed / poly runtime.
Error probability bounded.
Amplify via reps.
Advertisement
How it works end to end
Miller-Rabin primality.
Freivalds' matrix multiplication check.
Polynomial identity testing.
Error < 1/4^k.