Probabilistic verification of proofs (Q1126840)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Probabilistic verification of proofs |
scientific article |
Statements
Probabilistic verification of proofs (English)
0 references
5 August 1998
0 references
This is a survey of probabilistic proof verification as proposed by \textit{S. Goldwasser}, \textit{S. Micali} and \textit{C. Rackoff} [SIAM J. Comput. 18, No. 1, 186-208 (1989; Zbl 0677.68062)] including descriptions of some of the methods used in the construction of probabilistically checkable proofs.
0 references
computational complexity
0 references
combinatorial optimization
0 references
