TOPICS
Search

Graph Toughness


A connected graph G is said to be t-tough if, for every integer k>1, G cannot be split into k different connected components by the removal of fewer than tk vertices. The toughness t(G) of a graph G is then defined as the largest real number such that deletion of any s vertices from G results in a graph which is either connected or else has at most s/t components. Toughness can be also be simply defined as

 t(G)=min_(S)(|S|)/(c(G-S))

where c is the number of connected components and the minimum is taken over all vertex cuts S of G (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 t-tough graph is also 2t-vertex-connected.

A graph is complete iff t(G)=infty (Chvátal 1973).

While Chvátal (1973) defines t(G)=0 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).

ToughnessCuts

Note that all (not just minimum vertex cuts) must be considered. For example, in the case of the 3-gear graph, {2,3} is a minimum vertex cut of size 2 whose removal leaves two components giving a ratio 2/2=1, while removing the vertex cut {2,3,4} 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 K_(m,n) with m<=n is m/n, and the toughness of a rook graph K_m×K_n is (m+n)/2-1.

Every Hamiltonian graph is 1-tough (i.e., has toughness t>=1), 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 t_0 above which t_0-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 tt
(1,1)-Blanusa snark8/7
various (18,k)-hypohamiltonian graphs7/6
Sousselier graph, 16-Lindgren-Sousselier graph, various (18,k)-hypohamiltonian graphs6/5
(13,1)-hypohamiltonian graphs, Tietze's graph5/4
(1,2)-Blanusa snark, various (18,k)-hypohamiltonian graphs9/7
Petersen graph P4/3

See also

Graph Strength, Vertex Cut

Explore with Wolfram|Alpha

References

Bauer, D.; Broersma, H.; and Schmeichel, E. "Toughness in Graphs--A Survey." Graphs and Combinatorics 22, 1-35, 2006.Bauer, D.; Broersma, H. J.; and Veldman, H. J. "Not Every 2-Tough Graph Is Hamiltonian." Disc. Appl. Math. 99, 317-321, 2000.Bauer, D.; Hakimi, S. L.; and Schmeichel, E. "Recognizing Tough Graphs Is NP-Hard." Disc. Appl. Math. 28, 191-195, 1990.Chvátal, V. "Tough Graphs and Hamiltonian Circuits." Disc. Math. 5, 215-228, 1973.Cunningham, W. H. "Optimal Attack and Reinforcement of a Network." J. Assoc. Comput. Mach. 32, 549-561, 1985.

Cite this as:

Weisstein, Eric W. "Graph Toughness." From MathWorld--A Wolfram Web Resource. https://mathworld.wolfram.com/GraphToughness.html

Subject classifications