Two relations between the parameters of independence and irredundance
Discrete Mathematics
SIAM Journal on Discrete Mathematics
Vertex partitioning problems: characterization, complexity and algorithms on partial K-trees
Vertex partitioning problems: characterization, complexity and algorithms on partial K-trees
Weighted irredundance of interval graphs
Information Processing Letters
Discrete Mathematics
Complexity of domination-type problems in graphs
Nordic Journal of Computing
Concurrent Transmissions in Broadcast Networks
Proceedings of the 11th Colloquium on Automata, Languages and Programming
Parameterized algorithms for feedback set problems and their duals in tournaments
Theoretical Computer Science - Parameterized and exact computation
A measure & conquer approach for the analysis of exact algorithms
Journal of the ACM (JACM)
Linear kernels in linear time, or how to save k colors in O(n2) steps
WG'04 Proceedings of the 30th international conference on Graph-Theoretic Concepts in Computer Science
An exact exponential-time algorithm for the Directed Maximum Leaf Spanning Tree problem
Journal of Discrete Algorithms
Hi-index | 0.00 |
The lower and the upper irredundance numbers of a graph G, denoted ir(G) and IR(G) respectively, are conceptually linked to domination and independence numbers and have numerous relations to other graph parameters. It is a long-standing open question whether determining these numbers for a graph G on n vertices admits exact algorithms running in time less than the trivial Ω(2n) enumeration barrier. We solve this open problem by devising parameterized algorithms for the duals of the natural parameterizations of the problems with running times faster than $\mathcal{O}^*(4^{k})$. For example, we present an algorithm running in time $\mathcal{O}^*(3.069^{k}))$ for determining whether IR(G) is at least n−k. Although the corresponding problem has been shown to be in FPT by kernelization techniques, this paper offers the first parameterized algorithms with an exponential dependency on the parameter in the running time. Furthermore, these seem to be the first examples of a parameterized approach leading to a solution to a problem in exponential time algorithmics where the natural interpretation as exact exponential-time algorithms fails.