Abstract
Suppose a graph G is given with two vertex-disjoint sets of vertices Z 1 and Z 2. Can we partition the remaining vertices of G such that we obtain two connected vertex-disjoint subgraphs of G that contain Z 1 and Z 2, respectively? This problem is known as the 2-Disjoint Connected Subgraphs problem. It is already NP-complete for the class of n-vertex graphs G = (V,E) in which Z 1 and Z 2 each contain a connected set that dominates all vertices in V\(Z 1 ∪ Z 2). We present an \({\mathcal O}^*(1.2051^n)\) time algorithm that solves it for this graph class. As a consequence, we can also solve this problem in \({\mathcal O}^*(1.2051^n)\) time for the classes of n-vertex P 6-free graphs and split graphs. This is an improvement upon a recent \({\mathcal O}^*(1.5790^n)\) time algorithm for these two classes. Our approach translates the problem to a generalized version of hypergraph 2-coloring and combines inclusion/exclusion with measure and conquer.
This work has been supported by EPSRC (EP/D053633/1).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bax, E.T.: Inclusion and exclusion algorithm for the hamiltonian path problem. Inform. Process. Lett. 47, 203–207 (1993)
Björklund, A., Husfeldt, T., Koivisto, M.: Set partitioning via inclusion-exclusion. SIAM J. Comput. 39, 546–563 (2009)
Ellis, J.A., Sudborough, I.H., Turner, J.: The vertex separation and search number of a graph. Inform. and Comput. 113, 50–79 (1994)
Fomin, F.V., Gaspers, S., Saurabh, S., Stepanov, A.A.: On two techniques of combining branching and treewidth. Algorithmica 54, 181–207 (2009)
Fomin, F.V., Grandoni, F., Kratsch, D.: Measure and conquer: Domination - a case study. In: Caires, L., Italiano, G.F., Monteiro, L., Palamidessi, C., Yung, M. (eds.) ICALP 2005. LNCS, vol. 3580, pp. 191–203. Springer, Heidelberg (2005)
Fomin, F.V., Grandoni, F., Kratsch, D.: Solving connected dominating set faster than 2n. Algorithmica 52, 153–166 (2008)
Fomin, F.V., Grandoni, F., Pyatkin, A.V., Stepanov, A.A.: Combinatorial bounds via measure and conquer: Bounding minimal dominating sets and applications. ACM Trans. Algorithms 5(1) (2008)
van ’t Hof, P., Paulusma, D., Woeginger, G.J.: Partitioning graphs in connected parts. Theoret. Comput. Sci. (to appear) doi:doi:10.1016/j.tcs.2009.06.028
Garey, M.R., Johnson, D.S.: Computers and Intractability. W. H. Freeman and Co., New York (1979)
Karp, R.M.: Dynamic programming meets the principle of inclusion-exclusion. Oper. Res. Lett. 1, 49–51 (1982)
Robertson, N., Seymour, P.D.: Graph minors. XIII. The disjoint paths problem. J. Combin. Theory Ser. B63, 65–110 (1995)
van Rooij, J.M.M., Nederlof, J., van Dijk, T.C.: Inclusion/exclusion meets measure and conquer: Exact algorithms for counting dominating set. In: Fiat, A., Sanders, P. (eds.) ESA 2009. LNCS, vol. 5757, pp. 554–565. Springer, Heidelberg (2009)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Paulusma, D., van Rooij, J.M.M. (2009). On Partitioning a Graph into Two Connected Subgraphs. In: Dong, Y., Du, DZ., Ibarra, O. (eds) Algorithms and Computation. ISAAC 2009. Lecture Notes in Computer Science, vol 5878. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-10631-6_122
Download citation
DOI: https://doi.org/10.1007/978-3-642-10631-6_122
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-10630-9
Online ISBN: 978-3-642-10631-6
eBook Packages: Computer ScienceComputer Science (R0)