4.1.6 Grover算法