Why it matters
Pollard's rho finds small factors. Understanding shapes factoring.
Advertisement
The architecture
Sequence x_{i+1} = x_i^2 + c mod n.
Cycle detection via Floyd or Brent.
gcd(x_i - x_j, n) may factor.
Advertisement
How it works end to end
Floyd's tortoise + hare cycle detection.
Brent's improved cycle detection.
May need retry with different c.