Daniel Raible
University of Trier
Network
Latest external collaboration on country level. Dive into details by clicking on the dots.
Publication
Featured researches published by Daniel Raible.
Theoretical Computer Science | 2011
Henning Fernau; Joachim Kneis; Dieter Kratsch; Alexander Langer; Mathieu Liedloff; Daniel Raible; Peter Rossmanith
Given an undirected graph with n vertices, the Maximum Leaf Spanning Tree problem is to find a spanning tree with as many leaves as possible. When parameterized in the number of leaves k, this problem can be solved in time O(4kpoly(n)) using a simple branching algorithm introduced by a subset of the authors (Kneis et al. 2008 16). Daligault et al. (2010) 6 improved the branching and obtained a running time of O(3.72kpoly(n)). In this paper, we study the problem from an exponential time viewpoint, where it is equivalent to the Connected Dominating Set problem. Here, Fomin, Grandoni, and Kratsch showed how to break the ?(2n) barrier and proposed an O(1.9407n)-time algorithm (Fomin et al. 2008 11). Based on some useful properties of Kneis et al. (2008) 16 and Daligault et al. (2010) 6, we present a branching algorithm whose running time of O(1.8966n) has been analyzed using the Measure-and-Conquer technique. Finally, we provide a lower bound of ?(1.4422n) for the worst case running time of our algorithm.
Journal of Combinatorial Optimization | 2009
Henning Fernau; Daniel Raible
AbstractWe study (vertex-disjoint) packings of paths of length two (i.e., of P2’s) in graphs under a parameterized perspective. Starting from a maximal P2-packing ℘ of size j we use extremal combinatorial arguments for determining how many vertices of ℘ appear in some P2-packing of size (j+1) (if such a packing exists). We prove that one can ‘reuse’ 2.5j vertices. We also show that this bound is asymptotically sharp. Based on a WIN-WIN approach, we build an algorithm which decides, given a graph, if a P2-packing of size at least k exists in time
Parameterized and Exact Computation | 2009
Henning Fernau; Joachim Kneis; Dieter Kratsch; Alexander Langer; Mathieu Liedloff; Daniel Raible; Peter Rossmanith
\mathcal{O}^{*}(2.448^{3k})
conference on current trends in theory and practice of informatics | 2009
Daniel Raible; Henning Fernau
.
workshop on graph-theoretic concepts in computer science | 2009
Henning Fernau; Serge Gaspers; Daniel Raible
Given an undirected graph G with n nodes, the Maximum Leaf Spanning Tree problem asks to find a spanning tree of G with as many leaves as possible. When parameterized in the number of leaves k, this problem can be solved in time O(4 k poly(n)) using a simple branching algorithm introduced by a subset of the authors [13]. Daligault, Gutin, Kim, and Yeo [6] improved this branching algorithm and obtained a running time of O(3.72 k poly(n)). In this paper, we study the problem from an exact exponential time point of view, where it is equivalent to the Connected Dominating Set problem. For this problem Fomin, Grandoni, and Kratsch showed how to break the ?(2 n ) barrier and proposed an O(1.9407 n ) time algorithm [10]. Based on some properties of [6] and [13], we establish a branching algorithm whose running time of O(1.8966 n ) has been analyzed using the Measure-and-Conquer technique. Finally we provide a lower bound of ?(1.4422 n ) for the worst case running time of our algorithm.
fundamentals of computation theory | 2005
Jiong Guo; Rolf Niedermeier; Daniel Raible
The problem of finding a spanning tree in an undirected graph with a maximum number of leaves is known to be
theory and applications of models of computation | 2009
Henning Fernau; Daniel Raible
\mathcal{NP}
mathematical foundations of computer science | 2008
Daniel Raible; Henning Fernau
-hard. We present an algorithm which finds a spanning tree with at least k leaves in time O *(3.4575 k ) which improves the currently best algorithm. The estimation of the running time is done by using a non-standard measure. The present paper is one of the few examples that employ the Measure & Conquer paradigm of algorithm analysis, developed within the field of Exact Exponential-Time Algorithmics, within the area of Parameterized Algorithmics.
international symposium on algorithms and computation | 2008
Henning Fernau; Daniel Raible
We consider the
international symposium on algorithms and computation | 2008
Daniel Raible; Henning Fernau
\mathcal{NP}