Let $t$ be a positive real number. A graph is called $t$-tough if the removal of any vertex set $S$ that disconnects the graph leaves at most $|S|/t$ components. The toughness of a graph is the largest $t$ for which the graph is $t$-tough.
The main results of this paper are the following. For any positive rational number $t \le 1$ and for any $k \ge 2$ and $r \ge 6$ integers recognizing $t$-tough bipartite graphs is coNP-complete (the case $t=1$ was already known), and this problem remains coNP-complete for $k$-connected bipartite graphs, and so does the problem of recognizing 1-tough r-regular bipartite graphs. To prove these statements we also deal with other related complexity problems on toughness. % In this paper we prove the following. For any positive rational number $t$, deciding whether $\tau(G)=t$ is DP-complete and if $t < 1$, this problem remains DP-complete for bipartite graphs. For any integer $k \ge 2$ and positive rational number $t \le 1$, recognizing $t$-tough $k$-connected bipartite graphs is coNP-complete. For any integer $r \ge 5$, recognizing $1/2$-tough $r$-regular graphs is coNP-complete. For any integer $r \ge 6$, recognizing 1-tough $r$-regular bipartite graphs is coNP-complete. For any positive rational number $t < 2/3$ we give a polynomial time algorithm for recognizing 3-regular graphs with toughness $t$. Finally, we prove that every connected 4-regular graph is 1/2-tough.
[1]
Mihalis Yannakakis,et al.
The complexity of facets (and some facets of complexity)
,
1982,
STOC '82.
[2]
S. Louis Hakimi,et al.
Recognizing tough graphs is NP-hard
,
1990,
Discret. Appl. Math..
[3]
D. Bauera,et al.
Not every 2-tough graph is Hamiltonian (
,
1999
.
[4]
Vasek Chvátal,et al.
Tough graphs and hamiltonian circuits
,
1973,
Discret. Math..
[5]
Dieter Kratsch,et al.
Toughness, hamiltonicity and split graphs
,
1996,
Discret. Math..
[6]
A. Morgana,et al.
The Complexity of Toughness in Regular Graphs
,
1998
.
[7]
G. G. Stokes.
"J."
,
1890,
The New Yale Book of Quotations.
[8]
Edward F. Schmeichel,et al.
The Complexity of Recognizing Tough Cubic Graphs
,
1997,
Discret. Appl. Math..
[9]
Edward F. Schmeichel,et al.
On the complexity of recognizing tough graphs
,
1994,
Discret. Math..