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
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;
Conference_Titel :
Computational Complexity, 2005. Proceedings. Twentieth Annual IEEE Conference on
Print_ISBN :
0-7695-2364-1
DOI :
10.1109/CCC.2005.30