Reasoning about Grover's quantum search algorithm using probabilistic wp

ACM Transactions on Programming Languages and Systems

Volumn 21, Issue 3, 1999, Pages 417-429

  Butler, Michael ^a   Hartel, Pieter ^a  

^a UNIVERSITY OF SOUTHAMPTON   (United Kingdom)

Author keywords

Quantum computation; Quantum mechanics

Indexed keywords

ALGORITHMS; COMPUTATIONAL METHODS; COMPUTER PROGRAM LISTINGS; COMPUTER SIMULATION; PARALLEL PROCESSING SYSTEMS; PROBABILITY; SEARCH ENGINES; STATISTICAL METHODS;

QUANTUM COMPUTATION; QUANTUM SEARCH ALGORITHMS;

COMPUTER PROGRAMMING LANGUAGES;

EID: 0041412799     PISSN: 01640925     EISSN: None     Source Type: Journal    
DOI: 10.1145/319301.319303     Document Type: Article

References (14)

1. ABRAMOWITZ, M. AND STEGUN, I. A. 1964. Handbook of mathematical functions. Number 55 in Applied Mathematics Series. U. S. Dept. of Commerce, National Bureau of Standards.
2. BENIOFF, P. 1980. The computer as a physical system: a microscopic quantum mechanical Hamiltonian model of computers as represented by Turing machines. Journal of Statistical Physics 22, 563-591.
3. BERNSTEIN, E. AND VAZIRANI, U. 1993. Quantum complexity theory. In 25th ACM Annual Symposium on Theory of Computing. 11-20.
4. BERTHIAUME, A. 1996. Quantum computation. In Complexity Theory Retrospective II. Springer-Verlag. Available from http://andre.cs.depaul.edu/Andre/publicat.htm.
5. BOYER, M., BRASSARD, G., HØYER, P., AND TAPP, A. 1998. Tight bounds on quantum searching. Fortschritte Der Physik 46, 4-5, 493-505. Available from http://xxx.lanl.gov/abs/quant-ph/9605034.
6. DEUTSCH, D. 1985. Quantum theory, the Church-Turing principle and the universal quantum computer. In Royal Society London A 400. 96-117.
7. DEUTSCH, D. AND EKERT, A. 1998. Quantum computation. Physics World 11, 3, 47-52. Available from http://www.qubit.org/.
8. DIJKSTRA, E. 1976. A Discipline of Programming. Prentice-Hall.
9. GROVER, L. 1997. Quantum mechanics helps in searching for a needle in a haystack. Physical Review Letters 79, 2, 325-328.
10. KNUTH, D. 1973. The Art of Computer Programming - Volume 1: Fundamental Algorithms, second ed. Addison-Wesley, Reading, Mass.
11. KOZEN, D. 1985. A probabilistic PDL. J. Comput. Syst. Sci. 30, 162-178.
12. MORGAN, C. 1994. Programming from Specifications, Second ed. Prentice-Hall.
13. MORGAN, C. 1996. Proof rules for probabilistic loops. In BCS-FACS Refinement Workshop, H. Jifeng, J. Cooke, and P. Wallis, Eds. Electronic Workshops in Computing. Springer-Verlag. Available from http://www.comlab.ox.ac.uk/oucl/publications/tr/TR-25-95.html.
14. MORGAN, C., MCIVER, A., AND SEIDEL, K. 1996. Probabilistic predicate transformers. ACM Trans. Program. Lang. Syst. 18, 3, 325-353.