Marked-state phase oracle (source code)

= Marked-state phase oracle

= Boolean phase oracle
{c}
{synonym}

If $f$ marks only $x_0$, phase kickback realizes $I_{x_0}=I-2|x_0\rangle\langle x_0|$ on the search register.