The study of such graphs is called graph theory. Engineers need to find planarity in a graph when, for example, they are designing a computer chip without a crossed wire.

Definitions of expander graphs (edge expansion and spectral expansion), equivalence of definitions, the Alon-Boppana theorem, expansion of random graphs, Margulis's construction, expansion in lifts of ...