A connected graph
is said to be
-tough
if, for every integer
,
cannot be split into
different connected components by the removal of fewer than
vertices. The toughness
of a graph
is then defined as the largest real number such that deletion
of any
vertices from
results in a graph which is either connected or else has at most
components. Toughness can be also be simply defined as
where
is the number of connected components and the minimum is taken over all vertex
cuts
of
(Chvátal 1973).
This property was termed "toughness" because it measures how tightly various pieces of a graph "hold together" (Chvátal 1973). In particular,
every -tough
graph is also
-vertex-connected.
A graph is complete iff (Chvátal 1973).
While Chvátal (1973) defines for disconnected graphs, using the definition of vertex
cuts as cuts that increase the number of connected components, the definition can
be applied to give well-defined toughnesses for disconnected graphs.
An edge cut analog of toughness is known as graph strength.
Recognizing a graph as being 1-tough is NP-hard (Bauer et al. 1990).
Note that all (not just minimum vertex cuts) must be considered. For example, in the case of the 3-gear
graph,
is a minimum vertex cut of size 2 whose removal
leaves two components giving a ratio
, while removing the vertex cut
of size 3 leaves 4 components
giving a ratio 3/4, which is the minimum possible.
Chvátal (1973) showed that the toughness of a complete bipartite graph
with
is
,
and the toughness of a rook graph
is
.
Every Hamiltonian graph is 1-tough (i.e., has toughness ),
but counterexamples exist, the smallest being on 7 vertices, for which a nonhamiltonian
graph has toughness 1. Chvátal (1973) conjectured that all graphs which
are more than 3/2-tough are Hamiltonian, but this was disproved by Bauer et al.
(2000), who showed that not every 2-tough graph is Hamiltonian. Chvátal's
toughness conjecture posits that there exists a toughness threshold
above which
-tough graphs are always Hamiltonian; its truth remains unresolved
(Bauer et al. 2000).
Small nonhamiltonian graphs with toughness greater than 1 are summarized in the table below.
nonhamiltonian graph with toughness | |
(1,1)-Blanusa snark | 8/7 |
various
| 7/6 |
Sousselier
graph, 16-Lindgren-Sousselier graph, various | 6/5 |
(13,1)-hypohamiltonian graphs, Tietze's graph | 5/4 |
(1,2)-Blanusa snark, various | 9/7 |
Petersen
graph | 4/3 |