Abstract
Inclusion/exclusion branching is a way to branch on requirements imposed on problems, in contrast to the classical branching on parts of the solution. The technique turned out to be useful for finding and counting (minimum) dominating sets (van Rooij et al., ESA 2009). In this paper, we extend the technique to the setting where one is given a set of properties and seeks (or wants to count) solutions that have at least a given number of these properties. Using this extension, we obtain new algorithms for Partial Dominating Set and the parameterised problem k -Set Splitting. In particular, we apply the new idea to the fastest polynomial space algorithm for counting dominating sets, and directly obtain a polynomial space algorithm for Partial Dominating Set with the same running time (up to a linear factor). Combining the new idea with some previous work, we also give a polynomial space algorithm for k -Set Splitting that improves the fastest known result significantly.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Amini, O., Fomin, F.V., Saurabh, S.: Implicit branching and parameterized partial cover problems. In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2008. LIPIcs, vol. 2, pp. 1–12 (2008)
Bax, E.: Recurrence-based reductions for inclusion and exclusion algorithms applied to #\(\mathcal{P}\) problems. Technical report, California Institute of Technology (1996)
Björklund, A., Husfeldt, T., Kaski, P., Koivisto, M.: Fourier meets möbius: fast subset convolution. In: 39th Annual ACM Symposium on Theory of Computing, STOC 2007, pp. 67–74 (2007)
Björklund, A., Husfeldt, T., Kaski, P., Koivisto, M.: The travelling salesman problem in bounded degree graphs. In: Aceto, L., Damgård, I., Goldberg, L.A., Halldórsson, M.M., Ingólfsdóttir, A., Walukiewicz, I. (eds.) ICALP 2008, Part I. LNCS, vol. 5125, pp. 198–209. Springer, Heidelberg (2008)
Björklund, A., Husfeldt, T., Kaski, P., Koivisto, M.: Trimmed moebius inversion and graphs of bounded degree. In: 25th Symposium on Theoretical Aspects of Computer Science, STACS 2008. LIPIcs, vol. 1, pp. 85–96 (2008)
Björklund, A., Husfeldt, T., Koivisto, M.: Set partitioning via inclusion-exclusion. SIAM Journal on Computing 39(2), 546–563 (2009)
Chen, J., Lu, S.: Improved parameterized set splitting algorithms: A probabilistic approach. Algorithmica 54(4), 472–489 (2009)
Dehne, F.K.H.A., Fellows, M.R., Rosamond, F.A.: An FPT algorithm for set splitting. In: Bodlaender, H.L. (ed.) WG 2003. LNCS, vol. 2880, pp. 180–191. Springer, Heidelberg (2003)
Dehne, F.K.H.A., Fellows, M.R., Rosamond, F.A., Shaw, P.: Greedy localization, iterative compression, modeled crown reductions: New FPT techniques, an improved algorithm for set splitting, and a novel 2k kernelization for vertex cover. In: Downey, R.G., Fellows, M.R., Dehne, F. (eds.) IWPEC 2004. LNCS, vol. 3162, pp. 271–280. Springer, Heidelberg (2004)
Fomin, F.V., Gaspers, S., Saurabh, S., Stepanov, A.A.: On two techniques of combining branching and treewidth. Algorithmica 54(2), 181–207 (2009)
Fomin, F.V., Grandoni, F., Kratsch, D.: A measure & conquer approach for the analysis of exact algorithms. Journal of the ACM 56(5) (2009)
Fomin, F.V., Lokshtanov, D., Raman, V., Saurabh, S.: Subexponential algorithms for partial cover problems. In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2009. LIPIcs, vol. 4, pp. 193–201 (2009)
Impagliazzo, R., Paturi, R.: On the complexity of k-sat. Journal of Computer and System Sciences 62(2), 367–375 (2001)
Kneis, J., Mölle, D., Rossmanith, P.: Partial vs. complete domination: t-dominating set. In: van Leeuwen, J., Italiano, G.F., van der Hoek, W., Meinel, C., Sack, H., Plášil, F. (eds.) SOFSEM 2007. LNCS, vol. 4362, pp. 367–376. Springer, Heidelberg (2007)
Koutis, I., Williams, R.: Limits and applications of group algebras for parameterized problems. In: 36th International Colloquium on Automata, Languages and Programming, ICALP 2009. LNCS, vol. 5555, pp. 653–664. Springer, Heidelberg (2009)
Liedloff, M.: Algorithmes exacts et exponentiels pour les problèmes NP-difficiles: domination, variantes et généralisation, PhD thesis (2007)
Lokshtanov, D., Saurabh, S.: Even faster algorithm for set splitting! In: 4th International Workshop on Parameterized and Exact Computation, IWPEC 2009. LNCS, vol. 5917, pp. 288–299. Springer, Heidelberg (2009)
Lokshtanov, D., Sloper, C.: Fixed parameter set splitting, linear kernel and improved running time. In: 1th Algorithms and Complexity in Durham Workshop, ACiD 2005. Texts in Algorithmics, vol. 4, pp. 105–113 (2005)
Nederlof, J.: Fast polynomial-space algorithms using möbius inversion: Improving on steiner tree and related problems. In: 36th International Colloquium on Automata, Languages and Programming, ICALP 2009. LNCS, vol. 5555, pp. 713–725. Springer, Heidelberg (2009)
van Rooij, J.M.M.: Polynomial space algorithms for counting dominating sets and the domatic number. In: Calamoneri, T., Diaz, J. (eds.) Algorithms and Complexity. LNCS, vol. 6078, pp. 73–84. Springer, Heidelberg (2010)
van Rooij, J.M.M., Bodlaender, H.L.: Design by measure and conquer, a faster exact algorithm for dominating set. In: 25th Annual Symposium on Theoretical Aspects of Computer Science, STACS 2008. LIPIcs, vol. 1, pp. 657–668 (2008)
van Rooij, J.M.M., Nederlof, J., van Dijk, T.C.: Inclusion/exclusion meets measure and conquer. In: Fiat, A., Sanders, P. (eds.) ESA 2009. LNCS, vol. 5757, pp. 554–565. Springer, Heidelberg (2009)
Woeginger, G.J.: Exact algorithms for np-hard problems: a survey. In: Combinatorial optimization - Eureka, you shrink!, pp. 185–207 (2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Nederlof, J., van Rooij, J.M.M. (2010). Inclusion/Exclusion Branching for Partial Dominating Set and Set Splitting. In: Raman, V., Saurabh, S. (eds) Parameterized and Exact Computation. IPEC 2010. Lecture Notes in Computer Science, vol 6478. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-17493-3_20
Download citation
DOI: https://doi.org/10.1007/978-3-642-17493-3_20
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-17492-6
Online ISBN: 978-3-642-17493-3
eBook Packages: Computer ScienceComputer Science (R0)