Szemeredi's regularity lemma is a cornerstone result in extremal combinatorics. It (roughly) asserts that any dense graph is composed of a finite number of pseudorandom graphs. The regularity lemma has found many applications in theoretical computer science, and thus a lot of attention was given to designing algorithmic versions of this lemma. Our main results in this paper are the following: (i) We introduce a new approach to the problem of constructing regular partitions of graphs, which results in a surprisingly simple $O(n)$ time algorithmic version of the regularity lemma, thus improving over the previous $O(n^2)$ time algorithms. Furthermore, unlike all the previous approaches for this problem (see [N. Alon and A. Naor, SIAM J. Comput., 35 (2006), pp. 787-803], [R. A. Duke, H. Lefmann, and V. Rodl, SIAM J. Comput., 24 (1995), pp. 598-620], [A. Frieze and R. Kannan, Electron. J. Combin., 6 (1999), article 17], [A. Frieze and R. Kannan, “The regularity lemma and approximation schemes for dense problems,” in Proceedings of the 37th Annual Symposium on Foundations of Computer Science (Burlington, VT, 1996), IEEE Computer Society Press, Los Alamitos, CA, 1996, pp. 12-20], and [Y. Kohayakawa, V. Rodl, and L. Thoma, SIAM J. Comput., 32 (2003), pp. 1210-1235]), which only guaranteed to find tower-size partitions, our algorithm will find a small regular partition, if one exists in the graph. (ii) For any constant $r\geq3$ we give an $O(n)$ time randomized algorithm for constructing regular partitions of $r$-uniform hypergraphs, thus improving the previous $O(n^{2r-1})$ time (deterministic) algorithms [A. Czygrinow and V. Rodl, SIAM J. Comput., 30 (2000), pp. 1041-1066], [A. Frieze and R. Kannan, “The regularity lemma and approximation schemes for dense problems,” in Proceedings of the 37th Annual Symposium on Foundations of Computer Science (Burlington, VT, 1996), IEEE Computer Society Press, Los Alamitos, CA, 1996, pp. 12-20]. These two results are obtained as an application of an efficient algorithm for approximating partition problems of hypergraphs which we obtain here: Given a (directed) hypergraph with bounded edge arities, a set of constraints on the set sizes and densities of a possible partition of its vertex set, and an approximation parameter, we provide in $O(n)$ time a partition approximating the constraints if a partition satisfying them exists. We can also test in $O(1)$ time for the existence of such a partition given the approximation parameter. This algorithm extends the result of Goldreich, Goldwasser, and Ron for graph partition problems [O. Goldreich, S. Goldwasser, and D. Ron, J. ACM, 45 (1998), pp. 653-750] and encompasses more recent hypergraph-related results such as the maximal constraint satisfaction approximation of [G. Andersson and L. Engebretsen, Random Structures Algorithms, 21 (2002), pp. 14-32].
[1]
Artur Czumaj,et al.
Testing hypergraph colorability
,
2005,
Theor. Comput. Sci..
[2]
Michael Langberg.
Testing the Independence Number of Hypergraphs
,
2004,
APPROX-RANDOM.
[3]
Noga Alon,et al.
Random sampling and approximation of MAX-CSP problems
,
2002,
STOC '02.
[4]
W. Vega.
MAX-CUT has a randomized approximation scheme in dense graphs
,
1996,
Random Struct. Algorithms.
[5]
V. Rödl,et al.
The counting lemma for regular k-uniform hypergraphs
,
2006
.
[6]
Vojtech Rödl,et al.
Regularity Lemma for k‐uniform hypergraphs
,
2004,
Random Struct. Algorithms.
[7]
Noga Alon,et al.
The Probabilistic Method
,
2015,
Fundamentals of Ramsey Theory.
[8]
M. Simonovits,et al.
Szemeredi''s Regularity Lemma and its applications in graph theory
,
1995
.
[9]
Terence Tao.
A variant of the hypergraph removal lemma
,
2006,
J. Comb. Theory, Ser. A.
[10]
Vojtech Rödl,et al.
The Algorithmic Aspects of the Regularity Lemma
,
1994,
J. Algorithms.
[11]
Marek Karpinski,et al.
Polynomial Time Approximation Schemes for Dense Instances of NP-Hard Problems
,
1999,
J. Comput. Syst. Sci..
[12]
E. Szemerédi.
Regular Partitions of Graphs
,
1975
.
[13]
W. T. Gowers,et al.
Hypergraph regularity and the multidimensional Szemerédi theorem
,
2007,
0710.3032.
[14]
Yoshiharu Kohayakawa,et al.
An Optimal Algorithm for Checking Regularity
,
2003,
SIAM J. Comput..
[15]
Dana Ron,et al.
Property testing and its connection to learning and approximation
,
1998,
JACM.
[16]
Vojtech Rödl,et al.
An algorithmic version of the hypergraph regularity method
,
2005,
46th Annual IEEE Symposium on Foundations of Computer Science (FOCS'05).
[17]
Reinhard Diestel,et al.
Graph Theory
,
1997
.
[18]
Fan Chung.
Regularity lemmas for hypergraphs and quasi-randomness
,
1991
.
[19]
Alan M. Frieze,et al.
Quick Approximation to Matrices and Applications
,
1999,
Comb..
[20]
Yoshiharu Kohayakawa,et al.
Hypergraphs, Quasi-randomness, and Conditions for Regularity
,
2002,
J. Comb. Theory, Ser. A.
[21]
Vojtech Rödl,et al.
An Algorithmic Regularity Lemma for Hypergraphs
,
2000,
SIAM J. Comput..
[22]
Vojtech Rödl,et al.
A Fast Approximation Algorithm for Computing the Frequencies of Subgraphs in a Given Graph
,
1995,
SIAM J. Comput..
[23]
Alan M. Frieze,et al.
The regularity lemma and approximation schemes for dense problems
,
1996,
Proceedings of 37th Conference on Foundations of Computer Science.
[24]
Eldar Fischer,et al.
Testing versus estimation of graph properties
,
2005,
STOC '05.
[25]
Noga Alon,et al.
Approximating the Cut-Norm via Grothendieck's Inequality
,
2006,
SIAM J. Comput..