1985 Paper
U f {\displaystyle U_{f}} 를 한 번만 act해서 f가 상수함수인지 알 수 있나? 할 수 있다.
Mermin Fig 2.3 의 이해
U f {\displaystyle U_{f}} 의 연산자에
H ⊗ 1 U f H ⊗ H X ⊗ X {\displaystyle H\otimes 1U_{f}H\otimes HX\otimes X}
를 하고, 첫번째 bit를 재면, 상수 함수 여부를 알 수 있다고 했다.
H ⊗ H U f H ⊗ H {\displaystyle H\otimes HU_{f}H\otimes H}
를 생각해 보자
위와 다른 점은 아래 비트에 H {\displaystyle H} 를 더 곱하는 것인데, 이는 위 비트에는 영향을 미치지 않는다.