Parameterized Algorithms for the Steiner Tree Problem on a Directed Hypercube

10/06/2021
by   Sugyani Mahapatra, et al.
0

We address the problem of computing a Steiner Arborescence on a directed hypercube. The directed hypercube enjoys a special connectivity structure among its node set {0,1}^m, but its exponential in m size renders traditional Steiner tree algorithms inefficient. Even though the problem was known to be NP-complete, parameterized complexity of the problem was unknown. With applications in evolutionary tree reconstruction algorithms and incremental algorithms for computing a property on multiple input graphs, any algorithm for this problem would open up new ways to study these applications. In this paper, we present the first algorithms, to the best our knowledge, that prove the problem to be fixed parameter tractable (FPT) wrt two natural parameters – number of input terminals and penalty of the arborescence. Given any directed m-dimensional hypercube, rooted at the zero node, and a set of input terminals R that needs to be spanned by the Steiner arborescence, we prove that the problem is FPT wrt the penalty parameter q, by providing a randomized algorithm that computes an optimal arborescence T in O(q^44^q(q+1)+q|R|m^2) with probability at least 4^-q. If we trade-off exact solution for an additive approximate one, then we can design a parameterized approximation algorithm with better running time - computing an arborescence T with cost at most OPT+(|R|-4)(q_opt-1) in time O(|R|m^2+1.2738^q_opt). We also present a dynamic programming algorithm that computes an optimal arborescence in O(3^|R||R|m) time, thus proving that the problem is FPT on the parameter |R|.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
07/05/2017

On Directed Feedback Vertex Set parameterized by treewidth

We study the Directed Feedback Vertex Set problem parameterized by the t...
research
10/02/2017

Parameterized Approximation Schemes for Steiner Trees with Small Number of Steiner Vertices

We study the Steiner Tree problem, in which a set of terminal vertices n...
research
03/05/2020

Parameterized Algorithms for Generalizations of Directed Feedback Vertex Set

The Directed Feedback Vertex Set (DFVS) problem takes as input a directe...
research
03/10/2022

Parameterized Algorithms for Upward Planarity

We obtain new parameterized algorithms for the classical problem of dete...
research
09/10/2018

Computational Aspects of Optimal Strategic Network Diffusion

The diffusion of information has been widely modeled as stochastic diffu...
research
02/16/2018

Parameterized Algorithms for Zero Extension and Metric Labelling Problems

We consider the problems ZERO EXTENSION and METRIC LABELLING under the p...
research
12/30/2019

Exact exponential algorithms for two poset problems

Partially ordered sets (posets) are fundamental combinatorial objects wi...

Please sign up or login with your details

Forgot password? Click here to reset