Videos

Introductory Workshop - Graph Theory: Extremal, Probabilistic and Structural: Smoothed analysis for graph isomorphism

Presenter
February 13, 2025
Keywords:
  • extremal graph theory
  • random graphs
  • probabilistic methods
  • structural graph theory
  • Ramsey theory
MSC:
  • 05C35 - Extremal problems in graph theory [See also 90C35]
  • 05C55 - Generalized Ramsey theory [See also 05D10]
  • 05C75 - Structural characterization of families of graphs
  • 05C80 - Random graphs (graph-theoretic aspects) [See also 60B20]
  • 05D40 - Probabilistic methods in extremal combinatorics
  • including polynomial methods (combinatorial Nullstellensatz
  • etc.)
Abstract
From a theoretical point of view, graph isomorphism testing is a notoriously difficult problem, with no known polynomial-time algorithm. However, from a practical point of view, the problem is essentially solved: various elementary combinatorial “refinement” algorithms seem to be very efficient in practice. Some philosophical justification for this phenomenon is provided by a classical theorem of Babai, Erdős and Selkow, which shows that one of the simplest imaginable algorithms (underpinning all algorithms used in practice) is very effective "on average", in the sense that it can be used to distinguish a typical outcome of a random graph G(n,1/2) from any other graph. We improve the Babai-Erdős-Selkow theorem in a few directions. In particular, in accordance with the smoothed analysis philosophy of Spielman and Teng, one of our main results is that for any graph G, simple combinatorial algorithms become effective after a tiny random perturbation to G (specifically, the addition and removal of about n random edges). Joint work with Michael Anastos and Benjamin Moore.