TY - JOUR

T1 - Property Testing and Its Connection to Learning and Approximation

AU - Goldreich, Oded

AU - Goldwasser, Shafi

AU - Ron, Dana

PY - 1998/7

Y1 - 1998/7

N2 - In this paper, we consider the question of determining whether a function f has property P or is ∈-far from any function with property P. A property testing algorithm is given a sample of the value of f on instances drawn according to some distribution. In some cases, it is also allowed to query f on instances of its choice. We study this question for different properties and establish some connections to problems in learning theory and approximation. In particular, we focus our attention on testing graph properties. Given access to a graph G in the form of being able to query whether an edge exists or not between a pair of vertices, we devise algorithms to test whether the underlying graph has properties such as being bipartite, k-Colorable, or having a ρ-Clique (clique of density p with respect to the vertex set). Our graph property testing algorithms are probabilistic and make assertions that are correct with high probability, while making a number of queries that is independent of the size of the graph. Moreover, the property testing algorithms can be used to efficiently (i.e., in time linear in the number of vertices) construct partitions of the graph that correspond to the property being tested, if it holds for the input graph.

AB - In this paper, we consider the question of determining whether a function f has property P or is ∈-far from any function with property P. A property testing algorithm is given a sample of the value of f on instances drawn according to some distribution. In some cases, it is also allowed to query f on instances of its choice. We study this question for different properties and establish some connections to problems in learning theory and approximation. In particular, we focus our attention on testing graph properties. Given access to a graph G in the form of being able to query whether an edge exists or not between a pair of vertices, we devise algorithms to test whether the underlying graph has properties such as being bipartite, k-Colorable, or having a ρ-Clique (clique of density p with respect to the vertex set). Our graph property testing algorithms are probabilistic and make assertions that are correct with high probability, while making a number of queries that is independent of the size of the graph. Moreover, the property testing algorithms can be used to efficiently (i.e., in time linear in the number of vertices) construct partitions of the graph that correspond to the property being tested, if it holds for the input graph.

UR - http://www.scopus.com/inward/record.url?scp=0032108275&partnerID=8YFLogxK

U2 - 10.1145/285055.285060

DO - 10.1145/285055.285060

M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???

AN - SCOPUS:0032108275

VL - 45

SP - 653

EP - 750

JO - Journal of the ACM

JF - Journal of the ACM

SN - 0004-5411

IS - 4

ER -