On Regularity Lemmas and their Algorithmic Applications
- 28 March 2017
- journal article
- research article
- Published by Cambridge University Press (CUP) in Combinatorics, Probability and Computing
- Vol. 26 (4) , 481-505
Abstract
Szemerédi's regularity lemma and its variants are some of the most powerful tools in combinatorics. In this paper, we establish several results around the regularity lemma. First, we prove that whether or not we include the condition that the desired vertex partition in the regularity lemma is equitable has a minimal effect on the number of parts of the partition. Second, we use an algorithmic version of the (weak) Frieze–Kannan regularity lemma to give a substantially faster deterministic approximation algorithm for counting subgraphs in a graph. Previously, only an exponential dependence for the running time on the error parameter was known, and we improve it to a polynomial dependence. Third, we revisit the problem of finding an algorithmic regularity lemma, giving approximation algorithms for several co-NP-complete problems. We show how to use the weak Frieze–Kannan regularity lemma to approximate the regularity of a pair of vertex subsets. We also show how to quickly find, for each ε′>ε, an ε′-regular partition withkparts if there exists an ε-regular partition withkparts. Finally, we give a simple proof of the permutation regularity lemma which improves the tower-type bound on the number of parts in the previous proofs to a single exponential bound.Keywords
All Related Versions
This publication has 20 references indexed in Scilit:
- A note on permutation regularityDiscrete Applied Mathematics, 2012
- A Deterministic Algorithm for the Frieze–Kannan Regularity LemmaSIAM Journal on Discrete Mathematics, 2012
- Approximate Hypergraph Partitioning and ApplicationsSIAM Journal on Computing, 2010
- Convergent sequences of dense graphs I: Subgraph frequencies, metric properties and testingAdvances in Mathematics, 2008
- Approximating the Cut-Norm via Grothendieck's InequalitySIAM Journal on Computing, 2006
- An Optimal Algorithm for Checking RegularitySIAM Journal on Computing, 2003
- Quick Approximation to Matrices and ApplicationsCombinatorica, 1999
- A Fast Approximation Algorithm for Computing the Frequencies of Subgraphs in a Given GraphSIAM Journal on Computing, 1995
- The Algorithmic Aspects of the Regularity LemmaJournal of Algorithms, 1994
- Matrix multiplication via arithmetic progressionsJournal of Symbolic Computation, 1990