간단한 Grovers 알고리즘에서 피드백은 어떻게 작동합니까? $n=4$?
이 예제에서 Qiskit 교과서의 Grovers 알고리즘 구현에서는 $2\times 2$ 스도쿠 퍼즐 :
https://qiskit.org/textbook/ch-algorithms/grover.html
회로가 두 번 반복됩니다 (그림 참조).
내 질문은 :
의 데이터는 어떻습니까 $c_0 - c_3$ 사용 된 out0 큐 비트.
나에게 그것은 $c_0 - c_3$ 밖으로 다시 공급되지 않습니다 $v_0 - v_3$ 큐 비트 및 $v_0 - v_3$ 마지막에 측정되는 유일한 것입니다.
여기서 얽힘이 어떻게 작동하는지 또는 CX 게이트가 어떻게 작동하는지 잘못 해석했는지 확실하지 않습니다.

답변
양자 레지스터 c
는 ancilla로 간주 할 수 있습니다. 각 반복의 첫 번째 부분 (이전 CCCC-NOT
)에 대해 cx
두 큐 비트의 상태가 동일한 지 비교하고 그렇지 않은 경우 하나의 ancilla가 상태로 변환됩니다.$|1\rangle$. CCCC-NOT
검사는 네 ancillae 모두 여부$|1\rangle$, 그렇다면 위상 반전 작업이 구현됩니다.
각 반복의 두 번째 부분 ( CCCC-NOT
및 확산 단위 사이 )은 보조를 원래 상태로 변환합니다 ($|0000\rangle$, 가역성). 확산 통합의 행동은 당신에게 친숙해야합니다.
양자 회로에 ancilla를 도입하면 고전 시뮬레이션의 어려움이 확실히 증가하지만 알고리즘 설계의 어려움을 줄일 수 있습니다 (때로는 ancilla 없이는 목표를 달성 할 수 없음).