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:18, 11 June 2019
, 11 June 2019→Properties
| Line 21: | Line 21: | ||
==Properties== | ==Properties== | ||
*'''Problem | *'''Problem (Verifiability of BQP computations) statement if formally defined in the following question''' 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]''' | ||