Fast quantum verification for the formulas of predicate calculus
Abstract
Quantum algorithm is constructed which verifies the formulas of predicate calculus in time $O(\sqrt N)$ with bounded error probability, where $N$ is the time required for classical algorithms. This algorithm uses the polynomial number of simultaneous oracle queries. This is a modification of the result of Buhrman, Cleve and Wigderson quant-ph/9802040.
- Publication:
-
arXiv e-prints
- Pub Date:
- September 1998
- DOI:
- arXiv:
- arXiv:quant-ph/9809015
- Bibcode:
- 1998quant.ph..9015O
- Keywords:
-
- Quantum Physics
- E-Print:
- Reference to the work quant-ph/9802040 with the similar result is added