scholarly journals Probabilistically checkable proofs

2004 ◽  
pp. 349-389
Author(s):  
Madhu Sudan
Keyword(s):  
Probabilistically Checkable Proofs

Review of Introduction To Property Testing by Oded Goldreich

2021 ◽  
Vol 51 (4) ◽  
pp. 6-10
Author(s):  
Sarvagya Upadhyay
Keyword(s):  
Decision Making ◽  
Lower Bound ◽  
Computer Science ◽  
Property Testing ◽  
Probabilistically Checkable Proofs ◽  
Graph Properties ◽  
Locally Testable Codes ◽  
Entire Object ◽  
Functions And Graphs ◽  
Distribution Testing

The area of property testing is concerned with designing methods to decide whether an input object possesses a certain property or not. Usually the problem is described as a promise problem: either the input object has the property or the input object is far from possessing the property. Here, the meaning of object being far from possessing the property is based on a specified and meaningful notion of distance. The main objective of property testing is accomplishing this decision making by developing a super efficient tester. A tester that reads through the entire object can easily determine whether the property is satisfied or not. However, one wishes the tester to probe the input at very few random locations and determine whether the property is satisfied. As such, randomness is a necessary ingredient for testing and having the tester erring on few instances is a necessary price to pay for designing highly efficient methodologies. Much of the literature on property testing has focused on two types of objects: functions and graphs. Naturally they form the major portion of the book: functions are discussed from Chapters 2 to 6 and graph properties are discussed from Chapters 8 to 10. The final three chapters focus on distribution testing, probabilistically checkable proofs (PCPs) and locally testable codes, and ramifications of property testing on other related topics in Computer Science and Statistics. A separate chapter is devoted to query lower bound techniques.

Sign in / Sign up

Export Citation Format

Share Document