Proof verification and the hardness of approximation problems.

Autor: Arora, Sanjeev, Lund, Carsten, Motwani, Rajeev, Sudan, Madhu, Szegedy, Mario
Zdroj: Journal of the ACM. May98, Vol. 45 Issue 3, p501. 55p. 1 Diagram, 2 Charts.
Databáze: Business Source Ultimate