Irredundant set faster than O(2n)

  • Authors:

  • Marek Cygan;Marcin Pilipczuk;Jakub Onufry Wojtaszczyk

  • Affiliations:

  • Dept. of Mathematics, Computer Science and Mechanics, University of Warsaw, Poland;Dept. of Mathematics, Computer Science and Mechanics, University of Warsaw, Poland;Institute of Mathematics, Polish Academy of Sciences

  • Venue:
  • CIAC'10 Proceedings of the 7th international conference on Algorithms and Complexity
  • Year:
  • 2010

Quantified Score

Hi-index 0.00

Visualization

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.