Results 1  10
of
107
A combinatorial characterization of the testable graph properties: it’s all about regularity
 Proc. of STOC 2006
, 2006
"... A common thread in all the recent results concerning testing dense graphs is the use of Szemerédi’s regularity lemma. In this paper we show that in some sense this is not a coincidence. Our first result is that the property defined by having any given Szemerédipartition is testable with a constant ..."
Abstract

Cited by 83 (15 self)
 Add to MetaCart
A common thread in all the recent results concerning testing dense graphs is the use of Szemerédi’s regularity lemma. In this paper we show that in some sense this is not a coincidence. Our first result is that the property defined by having any given Szemerédipartition is testable with a constant number of queries. Our second and main result is a purely combinatorial characterization of the graph properties that are testable with a constant number of queries. This characterization (roughly) says that a graph property P can be tested with a constant number of queries if and only if testing P can be reduced to testing the property of satisfying one of finitely many Szemerédipartitions. This means that in some sense, testing for Szemerédipartitions is as hard as testing any testable graph property. We thus resolve one of the main open problems in the area of propertytesting, which was first raised in the 1996 paper of Goldreich, Goldwasser and Ron [24] that initiated the study of graph propertytesting. This characterization also gives an intuitive explanation as to what makes a graph property testable.
Every monotone graph property is testable
 Proc. of STOC 2005
, 2005
"... A graph property is called monotone if it is closed under removal of edges and vertices. Many monotone graph properties are some of the most wellstudied properties in graph theory, and the abstract family of all monotone graph properties was also extensively studied. Our main result in this paper i ..."
Abstract

Cited by 52 (9 self)
 Add to MetaCart
(Show Context)
A graph property is called monotone if it is closed under removal of edges and vertices. Many monotone graph properties are some of the most wellstudied properties in graph theory, and the abstract family of all monotone graph properties was also extensively studied. Our main result in this paper is that any monotone graph property can be tested with onesided error, and with query complexity depending only on ɛ. This result unifies several previous results in the area of property testing, and also implies the testability of wellstudied graph properties that were previously not known to be testable. At the heart of the proof is an application of a variant of Szemerédi’s Regularity Lemma. The main ideas behind this application may be useful in characterizing all testable graph properties, and in generally studying graph property testing. As a byproduct of our techniques we also obtain additional results in graph theory and property testing, which are of independent interest. One of these results is that the query complexity of testing testable graph properties with onesided error may be arbitrarily large. Another result, which significantly extends previous results in extremal graphtheory, is that for any monotone graph property P, any graph that is ɛfar from satisfying P, contains a subgraph of size depending on ɛ only, which does not satisfy P. Finally, we prove the following compactness statement: If a graph G is ɛfar from satisfying a (possibly infinite) set of monotone graph properties P, then it is at least δP(ɛ)far from satisfying one of the properties.
Property Testing: A Learning Theory Perspective
, 2008
"... Property testing deals with tasks where the goal is to distinguish between the case that an object (e.g., function or graph) has a prespecified property (e.g., the function is linear or the graph is bipartite) and the case that it differs significantly from any such object. The task should be perfor ..."
Abstract

Cited by 48 (10 self)
 Add to MetaCart
Property testing deals with tasks where the goal is to distinguish between the case that an object (e.g., function or graph) has a prespecified property (e.g., the function is linear or the graph is bipartite) and the case that it differs significantly from any such object. The task should be performed by observing only a very small part of the object, in particular by querying the object, and the algorithm is allowed a small failure probability. One view of property testing is as a relaxation of learning the object (obtaining an approximate representation of the object). Thus property testing algorithms can serve as a preliminary step to learning. That is, they can be applied in order to select, very efficiently, what hypothesis class to use for learning. This survey takes the learningtheory point of view and focuses on results for testing properties of functions that are of interest to the learning theory community. In particular, we cover results for testing algebraic properties of functions such as linearity, testing properties defined by concise representations, such as having a small DNF representation, and more.
Algorithmic and Analysis Techniques in Property Testing
"... 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 ..."
Abstract

Cited by 47 (8 self)
 Add to MetaCart
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 concern 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 article we survey results in property testing, where our emphasis is on common analysis and algorithmic techniques. Among the techniques surveyed are the following: • The selfcorrecting 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 densegraphs model), as well as in other contexts;
Graph limits and parameter testing
, 2006
"... We define a distance of two graphs that reflects the closeness of both local and global properties. We also define convergence of a sequence of graphs, and show that a graph sequence is convergent if and only if it is Cauchy in this distance. Every convergent graph sequence has a limit in the form o ..."
Abstract

Cited by 43 (1 self)
 Add to MetaCart
We define a distance of two graphs that reflects the closeness of both local and global properties. We also define convergence of a sequence of graphs, and show that a graph sequence is convergent if and only if it is Cauchy in this distance. Every convergent graph sequence has a limit in the form of a symmetric measurable function in two variables. We use these notions of distance and graph limits to give a general theory for parameter testing. As examples, we provide short proofs of the testability of MaxCut and the recent result of Alon and Shapira about the testability of hereditary graph properties.
On exchangeable random variables and the statistics of large graphs and hypergraphs
, 2008
"... ..."
Testing versus estimation of graph properties
 Proc. of STOC 2005
, 2005
"... In the course of the proof we develop a framework for extending Szemer'edi's Regularity Lemma, both as a prerequisite for formulating what kind of information about the input graph will provide us with the correct estimation, and as the means for efficiently gathering this information. In ..."
Abstract

Cited by 35 (8 self)
 Add to MetaCart
(Show Context)
In the course of the proof we develop a framework for extending Szemer'edi's Regularity Lemma, both as a prerequisite for formulating what kind of information about the input graph will provide us with the correct estimation, and as the means for efficiently gathering this information. In particular, we construct a probabilistic algorithm that finds the parameters of a regular partition of an input graph using a constant number of queries, and an algorithm to find a regular partition of a graph using a TC0 circuit. This, in some ways, strengthens the results of [1].
A correspondence principle between (hyper)graph theory and probability theory, and the (hyper)graph removal lemma
, 2006
"... We introduce a correspondence principle (analogous to the Furstenberg correspondence principle) that allows one to extract an infinite random graph or hypergraph from a sequence of increasingly large deterministic graphs or hypergraphs. As an application we present a new (infinitary) proof of the hy ..."
Abstract

Cited by 34 (8 self)
 Add to MetaCart
We introduce a correspondence principle (analogous to the Furstenberg correspondence principle) that allows one to extract an infinite random graph or hypergraph from a sequence of increasingly large deterministic graphs or hypergraphs. As an application we present a new (infinitary) proof of the hypergraph removal lemma of NagleSchachtRödlSkokan and Gowers, which does not require the hypergraph regularity lemma and requires significantly less computation. This in turn gives new proofs of several corollaries of the hypergraph removal lemma, such as Szemerédi’s theorem on arithmetic progressions.