Reasoning about Grover's Quantum Search Algorithm using Probabilistic wp
Quantum Physics
2007-05-23 v1
Abstract
Grover's search algorithm is designed to be executed on a quantum mechanical computer. In this paper, the probabilistic wp-calculus is used to model and reason about Grover's algorithm. It is demonstrated that the calculus provides a rigorous programming notation for modelling this and other quantum algorithms and that it also provides a systematic framework of analysing such algorithms.
Cite
@article{arxiv.quant-ph/9810066,
title = {Reasoning about Grover's Quantum Search Algorithm using Probabilistic wp},
author = {Michael Butler and Pieter Hartel},
journal= {arXiv preprint arXiv:quant-ph/9810066},
year = {2007}
}
Comments
11 pages, 5 Postscript figures