Tolerant property testing and distance approximation

  • Authors:
  • Michal Parnas;Dana Ron;Ronitt Rubinfeld

  • Affiliations:
  • School of Computer Science, The Academic College of Tel Aviv-Yaffo, Tel Aviv, Israel;Department of EE-Systems, Tel Aviv University, Tel Aviv, Israel;CSAIL, MIT, Cambridge, MA and NEC Research Institute, Princeton, NJ

  • Venue:
  • Journal of Computer and System Sciences
  • Year:
  • 2006

Quantified Score

Hi-index 0.00

Visualization

Abstract

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.