Grover's algorithm can find with high probability the unique input to a black-box function that produces a particular output, using far fewer queries than any known classical algorithm.