Expander graph
= Expander graph
{wiki}
For a finite graph $G=(V,E)$, its edge-expansion constant is
$$
h(G)=\min_{0<|A|\leq|V|/2}\frac{|\partial_EA|}{|A|}.
$$
An expander family has uniformly bounded degrees, orders tending to infinity, and expansion constants bounded below by a positive constant.
= Expander family
{synonym}