Amplitude amplification for unstructured search: O(√N) oracle queries versus O(N) classical. Each Grover iteration applies the oracle O and diffusion operator D = 2|s⟩⟨s|−I to amplify the marked state.