@inbook{f4a265a0247b47ff8edc1aa9e28b294b,
title = "Short locally testable codes and proofs",
abstract = "We survey known results regarding locally testable codes and locally testable proofs (known as PCPs), with emphasis on the length of these constructs. Local testability refers to approximately testing large objects based on a very small number of probes, each retrieving a single bit in the representation of the object. This yields super-fast approximate-testing of the corresponding property (i.e., be a codeword or a valid proof). We also review the related concept of local decodable codes. The survey consists of two independent (i.e., self-contained) parts that cover the same material at different levels of rigor and detail. Still, in spite of the repetitions, there may be a benefit in reading both parts.",
author = "Oded Goldreich",
note = "We are grateful to Madhu Sudan, Luca Trevisan and Salil Vadhan for related discussions. We are also grateful to Omer Tamuz for useful comments and suggestions regarding this article.",
year = "2011",
doi = "10.1007/978-3-642-22670-0_25",
language = "الإنجليزيّة",
isbn = "9783642226694",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
pages = "333--372",
editor = "Oded Goldreich",
booktitle = "Studies in Complexity and Cryptography",
}