Tolerant property testing and distance approximation

In this paper we study a generalization of standard property testing where the algorithms are required to be more tolerant with respect to objects that do not have, but are close to having, the property. Specifically, a tolerant property testing algorithm is required to accept objects that are ϵ 1 -...

Full description

Saved in:
Bibliographic Details
Published in:Journal of computer and system sciences Vol. 72; no. 6; pp. 1012 - 1042
Main Authors: Parnas, Michal, Ron, Dana, Rubinfeld, Ronitt
Format: Journal Article
Language:English
Published: Elsevier Inc 01.09.2006
Subjects:
ISSN:0022-0000, 1090-2724
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:In this paper we study a generalization of standard property testing where the algorithms are required to be more tolerant with respect to objects that do not have, but are close to having, the property. Specifically, a tolerant property testing algorithm is required to accept objects that are ϵ 1 -close to having a given property P and reject objects that are ϵ 2 -far from having P , for some parameters 0 ⩽ ϵ 1 < ϵ 2 ⩽ 1 . Another related natural extension of standard property testing that we study, is distance approximation. Here the algorithm should output an estimate ϵ ˆ of the distance of the object to P , where this estimate is sufficiently close to the true distance of the object to P . We first formalize the notions of tolerant property testing and distance approximation and discuss the relationship between the two tasks, as well as their relationship to standard property testing. We then apply these new notions to the study of two problems: tolerant testing of clustering and distance approximation for monotonicity. We present and analyze algorithms whose query complexity is either polylogarithmic or independent of the size of the input.
ISSN:0022-0000
1090-2724
DOI:10.1016/j.jcss.2006.03.002