Foundations and Trends® in Theoretical Computer Science > Vol 5 > Issue 2

Algorithmic and Analysis Techniques in Property Testing

By Dana Ron, School of EE, Tel-Aviv University, Israel, danar@eng.tau.ac.il

 
Suggested Citation
Dana Ron (2010), "Algorithmic and Analysis Techniques in Property Testing", Foundations and Trends® in Theoretical Computer Science: Vol. 5: No. 2, pp 73-205. http://dx.doi.org/10.1561/0400000029

Publication Date: 08 Feb 2010
© 2010 D. Ron
 
Subjects
Computational learning
 

Free Preview:

Download extract

Share

Download article
In this article:
1 Introduction 
2 Preliminaries 
3 The Self-correcting Approach 
4 The Enforce-and-Test Approach 
5 Testing by Implicit Learning 
6 The Regularity Lemma 
7 Local-Search Algorithms 
8 Random Walks Algorithms 
9 Lower Bounds 
10 Other Results 
11 Extensions, Generalizations, and Related Problems 
Acknowledgments 
References 

Abstract

Property testing algorithms are "ultra"-efficient algorithms that decide whether a given object (e.g., a graph) has a certain property (e.g., bipartiteness), or is significantly different from any object that has the property. To this end property testing algorithms are given the ability to perform (local) queries to the input, though the decision they need to make usually concerns properties with a global nature. In the last two decades, property testing algorithms have been designed for many types of objects and properties, amongst them, graph properties, algebraic properties, geometric properties, and more.

In this monograph we survey results in property testing, where our emphasis is on common analysis and algorithmic techniques. Among the techniques surveyed are the following:

  • The self-correcting approach, which was mainly applied in the study of property testing of algebraic properties;
  • The enforce-and-test approach, which was applied quite extensively in the analysis of algorithms for testing graph properties (in the dense-graphs model), as well as in other contexts;
  • Szemerédi's Regularity Lemma, which plays a very important role in the analysis of algorithms for testing graph properties (in the dense-graphs model);
  • The approach of Testing by implicit learning, which implies efficient testability of membership in many functions classes; and
  • Algorithmic techniques for testing properties of sparse graphs, which include local search and random walks.

DOI:10.1561/0400000029
ISBN: 978-1-60198-318-3
146 pp. $99.00
Buy book (pb)
 
ISBN: 978-1-60198-319-0
146 pp. $125.00
Buy E-book (.pdf)
Table of contents:
1: Introduction
2: Preliminaries
3: The Self-Correcting Approach
4: The Enforce-and-Test Approach
5: Testing by Implicit Learning
6: The Regularity Lemma
7: Local-Search Algorithms
8: Random Walks Algorithms
9: Lower Bounds
10: Other Results
11: Extensions, Generalizations, and Related Problems
Acknowledgements
References

Algorithmic and Analysis Techniques in Property Testing

Property testing algorithms exhibit a fascinating connection between global properties of objects and small, local views. Such algorithms are "ultra"-efficient to the extent that they only read a tiny portion of their input, and yet they decide whether a given object has a certain property or is significantly different from any object that has the property. To this end, property testing algorithms are given the ability to perform (local) queries to the input, though the decisions they need to make usually concern properties of a global nature. In the last two decades, property testing algorithms have been designed for a large variety of objects and properties, amongst them, graph properties, algebraic properties, geometric properties, and more. Algorithmic and Analysis Techniques in Property Testing is arranged around design principles and analysis techniques in property testing. Among the themes surveyed are: the self-correcting approach, the enforce and test approach, Szemerédi's Regularity Lemma, the approach of Testing by implicit learning, and algorithmic techniques for testing properties of sparse graphs, which include local search and random walks.

 
TCS-029