편집
905
번
| 10번째 줄: | 10번째 줄: | ||
<math> U_f </math> 의 연산자에 | <math> U_f </math> 의 연산자에 | ||
<math> H \otimes | <math> H \otimes 1 U_f H \otimes H X \otimes X </math> | ||
를 하고, 첫번째 bit를 재면, 상수 함수 여부를 알 수 있다고 했다. | |||
<math> H \otimes H U_f H \otimes H </math> | |||
를 생각해 보자 | |||
위와 다른 점은 아래 비트에 <math> H </math>를 더 곱하는 것인데, 이는 위 비트에는 영향을 미치지 않는다. | |||