Reasoning about Grover's Quantum Search Algorithm using Probabilistic wp
Grover's search algorithm is designed to be executed on a quantum-mechanical computer. In this article, 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 modeling this and ot...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
1999-05.
|
| Subjects: | |
| Online Access: | Get fulltext |