The complexity of recognizing minimally tough graphs
Abstract
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. A graph is minimally $t$-tough if the toughness of the graph is $t$ and the deletion of any edge from the graph decreases the toughness. The complexity class DP is the set of all languages that can be expressed as the intersection of a language in NP and a language in coNP. In this paper, we prove that recognizing minimally $t$-tough graphs is DP-complete for any positive rational number $t$. We introduce a new notion called weighted toughness, which has a key role in our proof.
- Publication:
-
arXiv e-prints
- Pub Date:
- May 2017
- DOI:
- 10.48550/arXiv.1705.10570
- arXiv:
- arXiv:1705.10570
- Bibcode:
- 2017arXiv170510570Y
- Keywords:
-
- Computer Science - Discrete Mathematics;
- Mathematics - Combinatorics;
- G.2.2;
- F.1.3;
- G.2.2;
- F.1.3
- E-Print:
- Discrete Applied Mathematics Volume 294, 15 May 2021, Pages 55-84