5.2 Grover算法