6.2 Grover 算法