verifier

related words
interactive
prover
polylog
gilles
goldreich
speedup
oracles
wolfram
subroutine
merlin
weaknesses
pspace
certificate
aaronson
vazirani
buhrman
dihedral
queried
membership
sipser
related documents
Quantum algorithms for a set of group theoretic problems [0408150v2]
Quantum NP - A Survey [0210077v1]
Limits on Efficient Computation in the Physical World [0412143v2]
QMA/qpoly Is Contained In PSPACE/poly: De-Merlinizing Quantum Protocols [0510230v3]
N-representability is QMA-complete [0609125v1]
Adiabatic Quantum State Generation and Statistical Zero Knowledge [0301023v2]
Experimental Realization of Teleporting an Unknown Pure Quantum State via Dual Classical and Einstein-Podolski-Rosen Channels [9710013v1]
Quantum seals [0410017v2]
About the quantum mechanical speeding up of classical algorithms [9706003v4]
The Quantum Fourier Transform and Extensions of the Abelian Hidden Subgroup Problem [0212002v1]
Quantum Computing and Hidden Variables II: The Complexity of Sampling Histories [0408119v1]
Fidelity and information in the quantum teleportation of continuous variables [0003053v3]
Anonymous-key quantum cryptography and unconditionally secure quantum bit commitment [0009113v1]
Experimental distillation of squeezing from non-Gaussian quantum states [0602077v2]
related topics
{algorithm, log, probability}
{state, algorithm, problem}
{alice, bob, state}
{key, protocol, security}
{state, states, coherent}
{photon, photons, single}
{light, field, probe}
{let, theorem, proof}
{state, states, entangled}
{measurement, state, measurements}
{error, code, errors}
{states, state, optimal}
{time, systems, information}
{bell, inequality, local}
{qubit, qubits, gate}
{state, phys, rev}
{group, space, representation}
{operator, operators, space}
{vol, operators, histories}
{theory, mechanics, state}