Abstract
Alon et. al. [N. Alon, E. Fischer, M. Krivelevich, and M. Szegedy, Combinatorica, 20 (2000), pp. 451-476] showed that every property that is characterized by a finite collection of forbidden induced subgraphs is ε-testable. However, the complexity of the test is double-tower with respect to 1/ε, as the only tool known to construct such tests uses a variant of Szemerédi's regularity lemma. Here we show that any property of bipartite graphs that is characterized by a finite collection of forbidden induced subgraphs is ε-testable, with a number of queries that is polynomial in 1/ε. Our main tool is a new "conditional" version of the regularity lemma for binary matrices, which may be interesting on its own.
| Original language | English (US) |
|---|---|
| Pages (from-to) | 959-976 |
| Number of pages | 18 |
| Journal | SIAM Journal on Computing |
| Volume | 37 |
| Issue number | 3 |
| DOIs | |
| State | Published - 2007 |
| Externally published | Yes |
All Science Journal Classification (ASJC) codes
- General Computer Science
- General Mathematics
Keywords
- Approximation
- Graph algorithms
- Property testing
- Regularity lemma