Write, autoreview, editor, reviewer
3,129
edits
Verification of Universal Quantum Computation: Difference between revisions
Verification of Universal Quantum Computation (edit)
Revision as of 23:19, 11 June 2019
, 11 June 2019→Properties
| Line 21: | Line 21: | ||
==Properties== | ==Properties== | ||
*'''Problem (Verifiability of BQP computations) | *'''Problem Definition(Verifiability of BQP computations)''': Does every problem in BQP admit an interactive-proof system in which the prover is restricted to BQP computations? | ||
*'''[https://complexityzoo.uwaterloo.ca/Complexity_Zoo Complexity Classes]''' | *'''[https://complexityzoo.uwaterloo.ca/Complexity_Zoo Complexity Classes]''' | ||