Grover’s algorithm