L Grover 1996 sqrt(N) unstructured-search; modern QAOA + amplitude-estimation extensions; quadratic speedup vs classical.