Abstract
Given a positive integer \(k\) and a graph \(G\), a \(k\)-limited packing in \(G\) (2010) is a subset \(B\) of its vertex set such that each closed neighborhood has at most \(k\) vertices of \(B\). As a variation, we introduce the notion of a \(\{k\}\)-packing function \(f\) of \(G\) which assigns a non-negative integer to the vertices of \(G\) in such a way that the sum of \(f(v)\) over each closed neighborhood is at most \(k\). For fixed \(k\), we prove that the problem of finding a \(\{k\}\)-packing function of maximum weight (\(\{k\)}PF) can be reduced linearly to the problem of finding a \(k\)-limited packing of maximum cardinality (\(k\)LP). We present an \(O(|V(G)|+|E(G)|)\) time algorithm to solve \(\{k\)}PF on strongly chordal graphs. We also use monadic second-order logic to prove that both problems are linear time solvable for graphs with clique-width bounded by a constant.
Partially supported by grantsPICT ANPCyT 0482 (2011–2013) and 1ING 391 (2012–2014).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Courcelle, B.: The monadic second-order logic of graphs. I. Recognizable sets of nite graphs. Inf. Comput. 85(1), 12–75 (1990)
Courcelle, B., Mosbah, M.: Monadic second-order evaluation on tree-decomposable graphs. Theoret. Comput. Sci. 109, 49–82 (1993)
Courcelle, B., Engelfriet, J., Rozenberg, G.: Handle-rewriting hypergraph grammars. J. Comput. Syst. Sci. 46, 218–270 (1993)
Courcelle, B., Makowsky, J.A., Rotics, U.: Linear time solvable optimization problems on graphs of bounded clique width. Theory Comput. Syst. 33, 125–150 (2000)
Dobson, M.P., Leoni, V., Nasini, G.: The \(k\)-limited packing and \(k\)-tuple domination problems in strongly chordal, \(P_4\)-tidy and split graphs. Electron. Notes Discrete Math. 36, 559–566 (2010)
Dobson, M.P., Leoni, V., Nasini, G.: The multiple domination and limited packing problems in graphs. Inf. Process. Lett. 111, 1108–1113 (2011)
Ebbinghaus, H., Flum, J.: Finite Model Theory. Perspectives in Mathematical Logic. Springer, Berlin (1995)
Fagin, R.: Generalized RST-order spectra and polynomial-time recognizable sets. In: Karp, R. (ed.) Complexity of Computation. SIAM-AMS Proceedings, vol. 7, pp. 27–41. SIAM, Philadelphia (1974)
Farber, M.: Characterizations of strongly chordal graphs. Discrete Math. 43, 173–189 (1983)
Gallant, R., Gunther, G., Hartnell, B., Rall, D.: Limited packings in graphs. Discrete Appl. Math. 158(12), 1357–1364 (2010)
Lee, C.M., Chang, M.S.: Variations of \(Y\)-dominating functions on graphs. Discrete Math. 308, 4185–4204 (2008)
Oum, S., Seymour, P.: Approximating clique-width and branch-width. J. Combinat. Theory Ser. B 96, 514–528 (2006)
Papadimitriou, C.H.: Computational Complexity. Addison Wesley Longman, Reading (1994)
Acknowledgments
We are grateful to H. Freytes for the discussions held with us around first- and second-order logics.
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
Leoni, V.A., Hinrichsen, E.G. (2014). \(\{k\}\)-Packing Functions of Graphs. In: Fouilhoux, P., Gouveia, L., Mahjoub, A., Paschos, V. (eds) Combinatorial Optimization. ISCO 2014. Lecture Notes in Computer Science(), vol 8596. Springer, Cham. https://doi.org/10.1007/978-3-319-09174-7_28
Download citation
DOI: https://doi.org/10.1007/978-3-319-09174-7_28
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-09173-0
Online ISBN: 978-3-319-09174-7
eBook Packages: Computer ScienceComputer Science (R0)