<--- Back to Details
First PageDocument Content
Probabilistic complexity theory / Mathematical optimization / Probabilistically checkable proof / Sanjeev Arora / PCP theorem / Complexity classes / MAX-3SAT / Hardness of approximation / NP / Theoretical computer science / Applied mathematics / Computational complexity theory
Date: 2005-03-10 11:31:01
Probabilistic complexity theory
Mathematical optimization
Probabilistically checkable proof
Sanjeev Arora
PCP theorem
Complexity classes
MAX-3SAT
Hardness of approximation
NP
Theoretical computer science
Applied mathematics
Computational complexity theory

Probabilistic Checking of Proofs and Hardness of Approximation Problems

Add to Reading List

Source URL: www.cs.princeton.edu

Download Document from Source Website

File Size: 949,44 KB

Share Document on Facebook

Similar Documents

Theoretical computer science / Lance Fortnow / Probabilistic complexity theory / Carsten Lund / Computer science / IP / BPP / Probabilistically checkable proof / Symposium on Foundations of Computer Science / Mathematics

Randomization, random walks, derandomization, expansion April 12, L´ aszl´ o Babai. Monte Carlo algorithms in graph isomorphism testing.

DocID: 1rgOi - View Document

Neurochemistry / Nervous system / Probabilistic complexity theory / General anesthetics / Piperidines / Biochemistry / Probabilistically checkable proof / Phencyclidine

SelectNet_Manual_v2_April_2012.pdf

DocID: 1qMoc - View Document

Health care / Neurochemistry / Health / Dissociative drugs / NMDA receptor antagonists / Piperidines / Family medicine / Phencyclidine / Primary care physician / Probabilistically checkable proof

WV Public Employees Insurance Agency Frequently Asked Questions on Picking a Primary Care Provider Q. Why is PEIA making me pick a physician?

DocID: 1qjEP - View Document

Lance Fortnow / Probabilistic complexity theory / BPP / Probabilistically checkable proof / Carsten Lund / Computational complexity theory

Interactive proofs April 12, L´ aszl´ o Babai. Trading group theory for randomness. In Proc. 17th STOC, pages 421–429. ACM Press, 1985. doi:22192.

DocID: 1oP1q - View Document

Computational complexity theory / Theory of computation / Complexity classes / NP-complete problems / Mathematical optimization / NP-hard problems / MAX-3SAT / NP / Approximation algorithm / Probabilistically checkable proof / PCP theorem / APX

Inapproximability of Combinatorial Optimization Problems Luca Trevisan∗ arXiv:cs/0409043v1 [cs.CC] 24 SepJuly 27, 2004

DocID: 1mroB - View Document