ePrints.FRI - University of Ljubljana, Faculty of Computer and Information Science

The PCP theorem

Ambrož Homar (2011) The PCP theorem. EngD thesis.

Download (1088Kb)


    Solutions to NP-problems are deterministically verifiable in polynomial time. But the classic verification process has a drawback - typically we need to (at least) read the entire proof to decide whether the proof is correct or incorrect. In the thesis we present the PCP theorem which claims that solutions to NP- problems can be checked by only a small number of queries to bits in their corresponding proof strings. We describe the equivalent version of the theorem which is at the heart of many approximation results for NP-hard problems. We illustrate this on two well-known problems, the maximum independent set problem and the minimum vertex cover problem. We present the main ideas of both versions of the PCP theorem proof: the original algebraic proof and later combinatorial version. In the last chapter we list some exciting discoveries related to the probabilistic checking of proofs.

    Item Type: Thesis (EngD thesis)
    Keywords: computational complexity, probabilistic checking of proofs, hardness of approximation, approximation algorithms
    Number of Pages: 40
    Language of Content: Slovenian
    Mentor / Comentors:
    Name and SurnameIDFunction
    prof. dr. Borut Robič28Mentor
    Link to COBISS: http://www.cobiss.si/scripts/cobiss?command=search&base=50070&select=(ID=00008611412)
    Institution: University of Ljubljana
    Department: Faculty of Computer and Information Science
    Item ID: 1503
    Date Deposited: 15 Sep 2011 11:36
    Last Modified: 21 Sep 2011 09:47
    URI: http://eprints.fri.uni-lj.si/id/eprint/1503

    Actions (login required)

    View Item