Regev's Quantum Algorithm