The monadic second-order logic of graphs. I. recognizable sets of finite graphs
Information and Computation
A linear time algorithm for finding tree-decompositions of small treewidth
STOC '93 Proceedings of the twenty-fifth annual ACM symposium on Theory of computing
Discrete Applied Mathematics
Computers and Intractability: A Guide to the Theory of NP-Completeness
Computers and Intractability: A Guide to the Theory of NP-Completeness
Computational Complexity of Compaction to Reflexive Cycles
SIAM Journal on Computing
SIAM Journal on Discrete Mathematics
The Complexity of the List Partition Problem for Graphs
SIAM Journal on Discrete Mathematics
Covering graphs with few complete bipartite subgraphs
Theoretical Computer Science
Parameterizing Cut Sets in a Graph by the Number of Their Components
ISAAC '09 Proceedings of the 20th International Symposium on Algorithms and Computation
Contraction obstructions for treewidth
Journal of Combinatorial Theory Series B
The computational complexity of disconnected cut and 2K2-partition
CP'11 Proceedings of the 17th international conference on Principles and practice of constraint programming
Graph minors and parameterized algorithm design
The Multivariate Algorithmic Revolution and Beyond
Hi-index | 5.23 |
For a connected graph G=(V,E), a subset U@?V is a disconnected cut if U disconnects G and the subgraph G[U] induced by U is disconnected as well. A cut U is a k-cut if G[U] contains exactly k(=1) components. More specifically, a k-cut U is a (k,@?)-cut if V@?U induces a subgraph with exactly @?(=2) components. The Disconnected Cut problem is to test whether a graph has a disconnected cut and is known to be NP-complete. The problems k-Cut and (k,@?)-Cut are to test whether a graph has a k-cut or (k,@?)-cut, respectively. By pinpointing a close relationship to graph contractibility problems we show that (k,@?)-Cut is in P for k=1 and any fixed constant @?=2, while it is NP-complete for any fixed pair k,@?=2. We then prove that k-Cut is in P for k=1 and NP-complete for any fixed k=2. On the other hand, for every fixed integer g=0, we present an FPT algorithm that solves (k,@?)-Cut on graphs of Euler genus at most g when parameterized by k+@?. By modifying this algorithm we can also show that k-Cut is in FPT for this graph class when parameterized by k. Finally, we show that Disconnected Cut is solvable in polynomial time for minor-closed classes of graphs excluding some apex graph.