Breaking the $2^n$-barrier for Irredundance: Two lines of attack

Abstract : The lower and the upper irredundance numbers of a graph G, denoted ir(G) and IR(G), respectively, are conceptually linked to the domination and independence numbers and have numerous relations to other graph parameters. It has been an open question whether determining these numbers for a graph G on n vertices admits exact algorithms running in time faster than the trivial $\Theta(2^n * poly(n))$ enumeration, also called the $2^n$-barrier. The main contributions of this article are exact exponential-time algorithms breaking the $2^n$-barrier for irredundance. We establish algorithms with running times of $O*(1.99914^n)$ for computing ir(G) and $O*(1.9369^n)$ for computing IR(G). Both algorithms use polynomial space. The first algorithm uses a parameterized approach to obtain (faster) exact algorithms. The second one is based, in addition, on a reduction to the Maximum Induced Matching problem providing a branch-and-reduce algorithm to solve it.
Document type :
Journal articles
Complete list of metadatas
Contributor : Mathieu Liedloff <>
Submitted on : Thursday, July 7, 2011 - 11:53:43 PM
Last modification on : Thursday, October 3, 2019 - 4:34:01 PM


  • HAL Id : hal-00607123, version 1


Daniel Binkele-Raible, Ljiljana Brankovic, Marek Cygan, Henning Fernau, Joachim Kneis, et al.. Breaking the $2^n$-barrier for Irredundance: Two lines of attack. Journal of Discrete Algorithms, Elsevier, 2011, 9 (3), pp.214-230. ⟨hal-00607123⟩



Record views