Abstract
The Weighted Vertex Integrity (wVI) problem takes as input an \(n\)-vertex graph \(G\), a weight function \(w:V(G)\rightarrow \mathbb {N}\), and an integer \(p\). The task is to decide if there exists a set \(X\subseteq V(G)\) such that the weight of \(X\) plus the weight of a heaviest component of \(G-X\) is at most \(p\). Among other results, we prove that:
-
(1)
wVI is NP-complete on co-comparability graphs, even if each vertex has weight \(1\);
-
(2)
wVI can be solved in \(O(p^{p+1}n)\) time;
-
(3)
wVI admits a kernel with at most \(p^3\) vertices.
Result (1) refutes a conjecture by Ray and Deogun (J. Combin. Math. Combin. Comput. 16: 65–73, 1994) and answers an open question by Ray et al. (Ars Comb. 79: 77–95, 2006). It also complements a result by Kratsch et al. (Discr. Appl. Math. 77: 259–270, 1997), stating that the unweighted version of the problem can be solved in polynomial time on co-comparability graphs of bounded dimension, provided that an intersection model of the input graph is given as part of the input.
An instance of the Weighted Component Order Connectivity (wCOC) problem consists of an \(n\)-vertex graph \(G\), a weight function \(w:V(G)\rightarrow \mathbb {N}\), and two integers \(k\) and \(\ell \), and the task is to decide if there exists a set \(X\subseteq V(G)\) such that the weight of \(X\) is at most \(k\) and the weight of a heaviest component of \(G-X\) is at most \(\ell \). In some sense, the wCOC problem can be seen as a refined version of the wVI problem. We obtain several classical and parameterized complexity results on the wCOC problem, uncovering interesting similarities and differences between wCOC and wVI. We prove, among other results, that:
-
(4)
wCOC can be solved in \(O(\min \{k,\ell \}\cdot n^3)\) time on interval graphs, while the unweighted version can be solved in \(O(n^2)\) time on this graph class;
-
(5)
wCOC is W[1]-hard on split graphs when parameterized by \(k\) or by \(\ell \);
-
(6)
wCOC can be solved in \(2^{O(k\log \ell )} n\) time;
-
(7)
wCOC admits a kernel with at most \(k\ell (k+\ell )+k\) vertices.
We also show that result (6) is essentially tight by proving that wCOC cannot be solved in \(2^{o(k \log \ell )}n^{O(1)}\) time, even when restricted to split graphs, unless the Exponential Time Hypothesis fails.
The research leading to these results has received funding from the Research Council of Norway, Bergen Research Foundation under the project Beating Hardness by Preprocessing and the European Research Council under the European Union’s Seventh Framework Programme (FP/2007-2013) / ERC Grant Agreement n. 267959.
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
Bagga, K.S., Beineke, L.W., Goddard, W., Lipman, M.J., Pippert, R.E.: A survey of integrity. Discr. Appl. Math. 37, 13–28 (1992)
Barefoot, C.A., Entringer, R., Swart, H.: Vulnerability in graphs–a comparative survey. J. Combin. Math. Combin. Comput. 1(38), 13–22 (1987)
Ben-Ameur, W., Mohamed-Sidi, M.-A., Neto, J.: The k-separator problem. In: Du, D.-Z., Zhang, G. (eds.) COCOON 2013. LNCS, vol. 7936, pp. 337–348. Springer, Heidelberg (2013)
Bodlaender, H.L., Fomin, F.V.: Equitable colorings of bounded treewidth graphs. Theor. Comput. Sci. 349(1), 22–30 (2005)
Booth, K.S., Lueker, G.S.: Testing for the consecutive ones property, interval graphs, and graph planarity using PQ-tree algorithms. J. Comput. Syst. Sci. 13(3), 335–379 (1976)
Clark, L.H., Entringer, R.C., Fellows, M.R.: Computational complexity of integrity. J. Combin. Math. Combin. Comput. 2, 179–191 (1987)
Drange, P.G., Dregi, M.S., van ’t Hof, P.: On the Computational Complexity of Vertex Integrity. CoRR, abs/1403.6331 (2014)
Fellows, M., Stueckle, S.: The immersion order, forbidden subgraphs and the complexity of network integrity. J. Combin. Math. Combin. Comput. 6, 23–32 (1989)
Garey, M.R., Johnson, D.S.: Computers and Intractability. W. H. Freeman, New York (1979)
Gross, D., Heinig, M., Iswara, L., Kazmierczak, L.W., Luttrell, K., Saccoman, J.T., Suffel, C.: A survey of component order connectivity models of graph theoretic networks. WSEAS Trans. Math. 12, 895–910 (2013)
Ho, C.W., Lee, R.C.T.: Counting clique trees and computing perfect elimination schemes in parallel. Inf. Process. Lett. 31(2), 61–68 (1989)
Kratsch, D., Kloks, T., Müller, H.: Measuring the vulnerability for classes of intersection graphs. Discr. Appl. Math. 77(3), 259–270 (1997)
Li, Y., Zhang, S., Zhang, Q.: Vulnerability parameters of split graphs. Int. J. Comput. Math. 85(1), 19–23 (2008)
Ray, S., Deogun, J.S.: Computational complexity of weighted integrity. J. Combin. Math. Combin. Comput. 16, 65–73 (1994)
Ray, S., Kannan, R., Zhang, D., Jiang, H.: The weighted integrity problem is polynomial for interval graphs. Ars Comb. 79, 77–95 (2006)
Woeginger, G.J.: The toughness of split graphs. Discr. Math. 190(1–3), 295–297 (1998)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Drange, P.G., Dregi, M.S., van ’t Hof, P. (2014). On the Computational Complexity of Vertex Integrity and Component Order Connectivity. In: Ahn, HK., Shin, CS. (eds) Algorithms and Computation. ISAAC 2014. Lecture Notes in Computer Science(), vol 8889. Springer, Cham. https://doi.org/10.1007/978-3-319-13075-0_23
Download citation
DOI: https://doi.org/10.1007/978-3-319-13075-0_23
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-13074-3
Online ISBN: 978-3-319-13075-0
eBook Packages: Computer ScienceComputer Science (R0)