使用概率 wp 演算推理 Grover 量子搜索算法
量子物理
2007-05-23 v1
摘要
Grover 搜索算法 designed 用于在量子力学计算机上执行。本文中，使用概率 wp-演算对 Grover 算法进行建模与推理。我们证明了该演算为建模此算法及其他量子算法提供了一种严谨的编程记号，并且也为分析此类算法提供了系统性的框架。
引用
@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}
}
备注
11 pages, 5 Postscript figures