Episode 13.32: The Grover Comparator and Uncomputing

How does a Grover oracle test whether a solution is a solution without measuring the state vector it is assessing and so destroying it? Invisible operators and hidden manipulation. Uncomputing as a road from the depths of the enigma back to somewhere closer to where we can obtain the answer.