An algorithmic hypergraph regularity lemma

Abstract

Szemeredi's Regularity Lemma [22, 23] is a powerful tool in graph theory. It asserts that all large graphs G admit a bounded partition of E(G), most classes of which are bipartite subgraphs with uniformly distributed edges. The original proof of this result was non-constructive. A constructive proof was given by Alon, Duke, Lefmann, Rodl and Yuster [1], which allows one to efficiently construct a regular partition for any large graph. Szemeredi's Regularity Lemma was extended to hypergraphs by various authors. Frankl and Rodl [3] gave one such extension to 3-uniform hypergraphs, and Rodl and Skokan [19] extended this result to fc-uniform hypergraphs. W.T. Gow-ers [4, 5] gave another such extension. Similarly to the graph case, all of these proofs are non-constructive. We present an efficient algorithmic version of the Hypergraph Regularity Lemma for fc-uniform hypergraphs.