Probabilistic checking of proofs
1998
We give a new characterization of NP: the class NP contains exactly those languages L for which membership proofs (a proof that an input x is in L) can be verified probabilistically in polynomial t...
Keywords:
- Correction
- Source
- Cite
- Save
- Machine Reading By IdeaReader
39
References
36
Citations
NaN
KQI