Download:
|
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
|