4 research outputs found
Recognizing Graphs Close to Bipartite Graphs with an Application to Colouring Reconfiguration
We continue research into a well-studied family of problems that ask whether
the vertices of a graph can be partitioned into sets and~, where is
an independent set and induces a graph from some specified graph class
. We let be the class of -degenerate graphs. This
problem is known to be polynomial-time solvable if (bipartite graphs) and
NP-complete if (near-bipartite graphs) even for graphs of maximum degree
. Yang and Yuan [DM, 2006] showed that the case is polynomial-time
solvable for graphs of maximum degree . This also follows from a result of
Catlin and Lai [DM, 1995]. We consider graphs of maximum degree on
vertices. We show how to find and in time for , and in
time for . Together, these results provide an algorithmic
version of a result of Catlin [JCTB, 1979] and also provide an algorithmic
version of a generalization of Brook's Theorem, which was proven in a more
general way by Borodin, Kostochka and Toft [DM, 2000] and Matamala [JGT, 2007].
Moreover, the two results enable us to complete the complexity classification
of an open problem of Feghali et al. [JGT, 2016]: finding a path in the vertex
colouring reconfiguration graph between two given -colourings of a graph
of maximum degree
Independent feedback vertex sets for graphs of bounded diameter
The Near-Bipartiteness problem is that of deciding whether or not the vertices of a graph can be partitioned into sets A and B, where A is an independent set and B induces a forest. The set A in such a partition is said to be an independent feedback vertex set. Yang and Yuan proved that Near-Bipartiteness is polynomial-time solvable for graphs of diameter 2 and NP-complete for graphs of diameter 4. We show that Near-Bipartiteness is NP-complete for graphs of diameter 3, resolving their open problem. We also generalise their result for diameter 2 by proving that even the problem of computing a minimum independent feedback vertex is polynomial-time solvable for graphs of diameter 2