Algorithmic aspects of regularity

Abstract

Szemerédi's celebrated regularity lemma proved to be a fundamental result in graph theory. Roughly speaking, his lemma states that any graph may be approximated by a union of a bounded number of bipartite graphs, each of which is 'pseudorandom'. As later proved by Alon, Duke, Lefmann, Rödl, and Yuster, there is a fast deterministic algorithm for finding such an approximation, and therefore many of the existential results based on the regularity lemma could be turned into constructive results. In this survey, we discuss some recent developments concerning the algorithmic aspects of the regularity lemma. © Springer-Verlag Berlin Heidelberg 2000.