The binding number of a simple graph with at least one graph vertex
is
|
(1)
|
where
is the union of the open graph neighborhoods.
In particular,
can intersect
.
Woodall (1973) introduced this measure of vertex
expansion.
The binding number is 0 iff the graph has an isolated vertex. For , a complete graph
satisfies
.
For positive
,
a complete bipartite graph satisfies
|
(2)
|
For a noncomplete graph , its graph toughness satisfies
whenever
(Goddard and Swart 1990).
Liu et al. (2026) prove that, for integers and
, an
-vertex simple graph with no
isolated vertex and
has
|
(3)
|
Equality holds precisely for , where
denotes the graph join and
the graph
disjoint union. The exclusion of isolated vertices
is essential.
The Brandt conjecture predicts for every simple graph
with no complete graph
as a subgraph, when
is sufficiently large. Lin and Yang (2026) proved the sharp
bound for every
.