233 search results - page 5 / 47 » Interactive Proofs For Quantum Computations |
94
Voted
FOCS
2000
IEEE
15 years 1 months ago
2000
IEEE
In this paper we consider a quantum computational variant of nondeterminism based on the notion of a quantum proof, which is a quantum state that plays a role similar to a certifi...
CORR
2004
Springer
14 years 9 months ago
2004
Springer
I study the class of problems efficiently solvable by a quantum computer, given the ability to "postselect" on the outcomes of measurements. I prove that this class coin...
STOC
2000
ACM
2000
ACM
Parallelization, amplification, and exponential time simulation of quantum interactive proof systems
15 years 1 months ago
COCO
2008
Springer
14 years 11 months ago
2008
Springer
68
Voted
MSCS
2006
14 years 9 months ago
2006
We develop a notion of predicate transformer and, in particular, the weakest precondition, appropriate for quantum computation. We show that there is a Stone-type duality between ...