DocumentCode
3379623
Title
Tolerant versus intolerant testing for Boolean properties
Author
Fischer, Eldar ; Fortnow, Lance
Author_Institution
Fac. of Comput. Sci., Technion - Israel Inst. of Technol., Haifa, Israel
fYear
2005
fDate
11-15 June 2005
Firstpage
135
Lastpage
140
Abstract
A property tester with high probability accepts inputs satisfying a given property and rejects inputs that are far from satisfying it. A tolerant property tester, as defined by Parnas, Ron and Rubinfeld, must also accept inputs that are close enough to satisfying the property. We construct two properties of binary functions for which there exists a test making a constant number of queries, but yet there exists no such tolerant test. The first construction uses Hadamard codes and long codes. Then, using probabilistically checkable proofs of proximity as constructed by Ben-Sasson et. al., we exhibit a property which has constant query intolerant testers but for which any tolerant tester requires nΩ(1) queries.
Keywords
Boolean functions; Hadamard codes; combinatorial mathematics; computational complexity; probability; Boolean property; Hadamard codes; binary functions; long codes; probabilistically checkable proof; probability; proximity proof; query intolerant testing; tolerant property testing; Cities and towns; Computational complexity; Computer science; Error correction; Error correction codes; Length measurement; Testing;
fLanguage
English
Publisher
ieee
Conference_Titel
Computational Complexity, 2005. Proceedings. Twentieth Annual IEEE Conference on
ISSN
1093-0159
Print_ISBN
0-7695-2364-1
Type
conf
DOI
10.1109/CCC.2005.30
Filename
1443080
Link To Document