Le lemme de régularité de Szemeredi dit que chaque graphe dense peut être approché comme une union de nombreux graphes expanseurs bipartis. Plus précisément, il existe une partition de la plupart des sommets en ensembles sorte que la plupart des paires d'ensembles forment des expanseurs bipartites...