Abstract
In this paper we provide algorithms faster than O(2n) for two variants of the Irredundant Set problem. More precisely, we give:
-
a branch-and-reduce algorithm solving Largest Irredundant Set in \(\mathcal{O}(1.9657^{n})\) time and polynomial space; the time complexity can be reduced using memoization to \(\mathcal{O}(1.8475^{n})\) at the cost of using exponential space,
-
and a simple iterative-DFS algorithm for Smallest Inclusion-Maximal Irredundant Set that solves it in \(\mathcal{O}(1.999956^{n})\) time and polynomial space.
Inside the second algorithm time complexity analysis we use a structural approach which allows us to break the O(2n) barrier. We find this structural approach more interesting than the algorithm itself. Despite the fact that the discussed problems are quite similar to the Dominating Set problem solving them faster than the obvious O(2n) solution seemed harder; that is why they were posted as an open problems at the Dagstuhl seminar in 2008.
This work was partially supported by the Polish Ministry of Science grants N206 491038 and N206 491238.
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
Amini, O., Fomin, F.V., Saurabh, S.: Counting subgraphs via homomorphisms. In: Albers, S., Marchetti-Spaccamela, A., Matias, Y., Nikoletseas, S., Thomas, W. (eds.) ICALP 2009. LNCS, vol. 5555, pp. 71–82. Springer, Heidelberg (2009)
Björklund, A., Husfeldt, T.: Inclusion–exclusion algorithms for counting set partitions. In: Proc. FOCS 2006, pp. 575–582 (2006)
Andreas, B., Thore, H., Petteri, K., Mikko, K.: Fourier meets möbius: fast subset convolution. In: Proc. STOC 2007, San Diego, California, USA, 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: STACS 2008, pp. 85–96 (2008)
Brankovic, L., Fernau, H., Kneis, J., Kratsch, D., Langer, A., Liedloff, M., Raible, D., Rossmanith, P.: Breaking the 2n-barrier for irredundance: A parameterized route to solving exact puzzles. CoRR abs/0909.4224 (2009)
Chartrand, G., Lesniak, L.: Graphs and Digraphs. CRC Press, Boca Raton (2004)
Cygan, M., Pilipczuk, M.: Faster exact bandwidth. In: Broersma, H., Erlebach, T., Friedetzky, T., Paulusma, D. (eds.) WG 2008. LNCS, vol. 5344, pp. 101–109. Springer, Heidelberg (2008)
Downey, R.G., Fellows, M.R., Raman, V.: The complexity of irredundant sets parameterized by size. Discrete Applied Mathematics 100(3), 155–167 (2000)
Feige, U.: Coping with the NP-hardness of the graph bandwidth problem. In: Halldórsson, M.M. (ed.) SWAT 2000. LNCS, vol. 1851, pp. 10–19. Springer, Heidelberg (2000)
Fomin, F.V., Grandoni, F., Kratsch, D.: A measure & conquer approach for the analysis of exact algorithms. J. ACM 56(5), 1–32 (2009)
Fomin, F.V., Iwama, K., Kratsch, D.: Moderately exponential time algorithms, Dagstuhl seminar (2008)
Nederlof, J.: Fast polynomial-space algorithms using möbius inversion: Improving on steiner tree and related problems. In: Albers, S., Marchetti-Spaccamela, A., Matias, Y., Nikoletseas, S., Thomas, W. (eds.) ICALP 2009. LNCS, vol. 5556, pp. 713–725. Springer, Heidelberg (2009)
Raman, V., Saurabh, S.: Short cycles make W[1]-hard problems hard: FPT algorithms for W[1]-hard problems in graphs with no short cycles. Algorithmica 52(2), 203–225 (2008)
van Rooij, J.M.M., Nederlof, J., van Dijk, T.C.: Inclusion/exclusion meets measure and conquer: Exact algorithms for counting dominating sets. 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: Jünger, M., Reinelt, G., Rinaldi, G. (eds.) Combinatorial Optimization - Eureka, You Shrink! LNCS, vol. 2570, pp. 185–208. Springer, Heidelberg (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
Cygan, M., Pilipczuk, M., Wojtaszczyk, J.O. (2010). Irredundant Set Faster Than O(2n) . In: Calamoneri, T., Diaz, J. (eds) Algorithms and Complexity. CIAC 2010. Lecture Notes in Computer Science, vol 6078. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-13073-1_26
Download citation
DOI: https://doi.org/10.1007/978-3-642-13073-1_26
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-13072-4
Online ISBN: 978-3-642-13073-1
eBook Packages: Computer ScienceComputer Science (R0)