• 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