Quantum amplitude amplifica-tion and estimation
Tight Bounds on Quantum Searching