User contributions
Jump to navigation
Jump to search
- 15:23, 30 May 2014 diff hist +14 Complexity Zoo:Q →QIP: Quantum IP: added the 'single-prover' qualifier
- 19:34, 12 July 2013 diff hist +86 Complexity Zoo:Q →QMIP: Quantum Multi-Prover Interactive Proofs: Added classical leash result that QMIP = MIP*
- 19:31, 12 July 2013 diff hist +26 Complexity Zoo:M →MIP*: MIP With Quantum Provers
- 19:31, 12 July 2013 diff hist +64 Complexity Zoo:M →MIP*: MIP With Quantum Provers
- 19:30, 12 July 2013 diff hist +230 Complexity Zoo References →R
- 19:43, 28 March 2013 diff hist +71 Complexity Zoo:Q →QMA1: One Sided QMA: Added recent result on quantum 3-SAT completeness
- 19:35, 28 March 2013 diff hist +161 Complexity Zoo References →G: Added reference for QMA_1 completeness of quantum 3-SAT
- 19:29, 28 March 2013 diff hist -9 m Complexity Zoo:Q →QMA(2): Quantum MA With Multiple Certificates: Minor rewording
- 19:27, 28 March 2013 diff hist -140 Complexity Zoo:Q →QMA(2): Quantum MA With Multiple Certificates: Added QMA(k) = QMA(2) result.
- 19:24, 28 March 2013 diff hist +209 Complexity Zoo References →H: Added reference for QMA(k) = QMA(2).
- 18:59, 28 March 2013 diff hist -1 Complexity Zoo:I →IP: Interactive Proof Systems: Fixed typo