Write, autoreview, editor, reviewer
3,129
edits
Verification of Universal Quantum Computation: Difference between revisions
Jump to navigation
Jump to search
Verification of Universal Quantum Computation (edit)
Revision as of 23:20, 11 June 2019
, 11 June 2019→Properties
| Line 21: | Line 21: | ||
==Properties== | ==Properties== | ||
*'''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? | *'''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]''' | ||