On the strength of comparisons in property testing

  • Authors:
  • Eldar Fischer

  • Affiliations:
  • Faculty of Computer Science, Technion--Israel, Institute of technology, Technion City, Haifa 32000, Israel and NEC Research Institute, 4 Independence Way, Princeton, NJ, DIMACS

  • Venue:
  • Information and Computation
  • Year:
  • 2004

Quantified Score

Hi-index 0.00

Visualization

Abstract

An ε-test for a property P of functions from D = {1,..., d} to the positive integers is a randomized algorithm, which makes queries on the value of an input function at specified locations, and distinguishes with high probability, between the case of the function satisfying P, and the case that it has to be modified in more than εd places to make it satisfy P. We prove that an ε-test for a property of integer sequences, such as the property of the sequence being a monotone non-decreasing sequence, that depends (in a strict sense) only on the order relations between the sequence members, cannot perform less queries (in the worst case) than the best ε-test which uses only comparisons between the queried values. In addition, we show that an adaptive algorithm for testing that a sequence is monotone non-decreasing performs no better than the best non-adaptive one, with respect to query complexity. From this follows a tight lower bound on tests for this property.