Let on the input register and let on the target register. Both are fixed unitary operators independent of . Conjugating the query by the input shift givesbecause the intermediate query is made at . Conjugating by target negation givessince . Each construction uses exactly once.
Articles by others on the same topic
There are currently no matching articles.