Epistemic motion in quantum searching
Keye Martin
Abstract
We formalize elementary kinematics of motion on domains with measurements, and then use these ideas to calculate the complexity of Grover's algorithm for quantum searching. In particular, it is now possible to analyze classical and quantum searching in a single semantic framework.
Institution
Oxford University Computing Laboratory
Month
March
Number
RR−03−06
Year
2003