MetaCartSign in to MyCiteSeer

Include Citations | Advanced Search | Help

Include Citations | Advanced Search | Help

  Property testing in bounded degree graphs (1997) [89 citations — 31 self]

Download:
Download as a PDF | Download as a PS
by Oded Goldreich, Dana Ron
Algorithmica
ftp://theory.lcs.mit.edu/pub/people/danar/test-bd-long.ps.gz
Add To MetaCart

Abstract:

We further develop the study of testing graph properties as initiated by Goldreich, Goldwasser and Ron. Whereas they view graphs as represented by their adjacency matrix and measure distance between graphs as a fraction of all possible vertex pairs, we view graphs as represented by bounded-length incidence lists and measure distance between graphs as a fraction of the maximum possible number of edges. Thus, while the previous model is most appropriate for the study of dense graphs, our model is most appropriate for the study of bounded-degree graphs. In particular, we present randomized algorithms for testing whether an unknown boundeddegree graph is connected, k-connected (for k? 1), planar, etc. Our algorithms work in time polynomial in 1=ffl, always accept the graph when it has the tested property, and reject with high probability if the graph is ffl-away from having the property. For example, the 2-Connectivity algorithm rejects (w.h.p.) any N-vertex d-degree graph for which more than ffldN edges need to be added to make the graph 2-edge-connected. In addition we prove lower bounds of \Omega\Gamma p N) on the query complexity of testing algorithms for the Bipartite and Expander properties.

Citations

503 Optimization, approximation, and complexity classes – Papadimitriou, Yannakakis - 1991
310 Nondeterministic exponential time has two-prover interactive protocols – Babai, Fortnow, et al. - 1991
301 Graph Algorithms – Even - 1979
271 Property testing and its connection to learning and approximation – Goldreich, Goldwasser, et al. - 1996
233 Self-testing/correcting with applications to numerical problems – Blum, Luby, et al. - 1993
200 Approximating clique is almost np-complete – Feige, Goldwasser, et al. - 1991
195 Free bits, PCPs, and nonapproximability-- towards tight results – Bellare, Goldreich, et al. - 1998
190 Robust characterization of polynomials with applications to program testing – Rubinfeld, Sudan - 1996
182 M.Szegedy. Proof verification and intractability of approximation problems – Arora, Lund, et al. - 1998
174 Checking computations in polylogarithmic time – Babai, Fortnow, et al. - 1991
106 Sur les problèmes des courbes gauches en Topologie – Kuratowski - 1930
62 Graph Algorithms. Computer Science – Even - 1979
61 Self-testing/correcting for polynomials and for approximate functions – Gemmell, Lipton, et al. - 1991
54 A matroid approach to finding edge connectivity and packing arborescences, STOC – Gabow - 1991
43 Probabilistic checkable proofs: A new characterization of NP – Arora, Safra - 1992
43 Global Min-cuts in RNC, and Other Ramifications of a Simple Min-Cut Algorithm – Karger - 1993
40 Edge-Connectivity Augmentation Problems – Watanabe, Nakamura - 1987
39 Selftesting /correcting for polynomials and for approximate functions – Gemmell, Lipton, et al. - 1991
37 Testing of the long code and hardness for clique – Hastad - 1996
28 Applications of a poset representation to edge connectivity and graph rigidity – Gabow - 1991
23 Random Sampling in Graph Optimization Problems – Karger - 1994
18 A fast algorithm for optimally increasing the edge-connectivity – Naor, Gusfield, et al. - 1990
10 Deterministic ~ O(nm) time edge-splitting in undirected graphs – Nagamochi, Ibaraki - 1997
9 Maintaining the Classes of 4-Edge-Connectivity in a Graph On-Line – Dinitz, Westbrook - 1998
6 A representation of cuts within 6/5 times the edge connectivity with applications – Benczur - 1995
5 On the structure of the system of minimum edge cuts in a graph – Dinic, Karazanov, et al. - 1976
5 Maintenance of triconnected components of graphs – Poutre - 1992
2 Property testing in bounded degree graphs. Available from http://www.eng.tau.ac.il/~danar – Goldreich, Ron - 1999
1 Maintaining the classes of 4edge -connectivity in a graph on-line – Dinitz, Westbrook - 1995