• Corpus ID: 15379542

# Directed Steiner Tree and the Lasserre Hierarchy

@article{Rothvoss2011DirectedST,
title={Directed Steiner Tree and the Lasserre Hierarchy},
author={Thomas Rothvoss},
journal={ArXiv},
year={2011},
volume={abs/1111.5473}
}
• T. Rothvoss
• Published 23 November 2011
• Computer Science, Mathematics
• ArXiv
The goal for the Directed Steiner Tree problem is to find a minimum cost tree in a directed graph G=(V,E) that connects all terminals X to a given root r. It is well known that modulo a logarithmic factor it suffices to consider acyclic graphs where the nodes are arranged in L <= log |X| levels. Unfortunately the natural LP formulation has a |X|^(1/2) integrality gap already for 5 levels. We show that for every L, the O(L)-round Lasserre Strengthening of this LP has integrality gap O(L log |X…

## Figures from this paper

On the Integrality Gap of Directed Steiner Tree Problem
A polynomial-time O(log |X|)-approximation for quasi-bipartite instances of Directed Steiner Tree is presented and bounds the integrality gap of the natural LP relaxation by the same quantity.
Polynomial Integrality Gap of Flow LP for Directed Steiner Tree
• Mathematics, Computer Science
SODA
• 2022
The result gives the first known lower bound on the integrality gap of this standard LP that is polynomial in n, the number of vertices, and rule out the possibility of developing a poly-logarithmic approximation algorithm for the problem based on the flow LP relaxation.
Multi-rooted Greedy Approximation of Directed Steiner Trees with Applications
• Mathematics, Computer Science
Algorithmica
• 2015
It is derived that DST for a class of graphs, including quasi-bipartite graphs, in which the length of paths induced by Steiner vertices is bounded by some constant can be approximated within a factor of $$O(\log n)$$O(logn), and the tree cover problem on directed graphs can also be approximating within a factors of$$O(\ log n)$$O( logn).
Polylogarithmic Approximation Algorithm for k-Connected Directed Steiner Tree on Quasi-Bipartite Graphs
• Mathematics
APPROX-RANDOM
• 2020
This algorithm is the only known non-trivial approximation algorithm for k-DST, for k >= 3, that runs in polynomial-time regardless of the structure of the optimal solution, and is tight for every constant k, due to the hardness result inherited from the Set Cover problem.
O(log2 k / log log k)-approximation algorithm for directed Steiner tree: a tight quasi-polynomial-time algorithm
• Computer Science
STOC
• 2019
An approximation preserving reduction to the Group Steiner Tree on Trees with Dependency Constraint (GSTTD) problem is derived, inspired by the framework developed by [Rothvob, Preprint’11; Friggstad et al., IPCO’14].
Lehman's Theorem and the Directed Steiner Tree Problem
• Mathematics
SIAM J. Discret. Math.
• 2016
This paper demonstrates how the celebrated theorem of Lehman on minimally nonideal clutters provides a framework for deriving answers to the questions of directed cut linear programming and yields short proofs of the optimum arborescences theorem and the integrality result for series-parallel digraphs.
Approximating Directed Steiner Problems via Tree Embedding
An O(D k^{D-1} log n)-approximation algorithm for k-DST on directed acyclic graphs (DAGs) with D layers is presented, which can be extended to a special case of k- DST on "general graphs" when an instance has a D-shallow optimal solution, i.e., there exist k edge-disjoint r,t-paths for every terminal t.
Surviving in Directed Graphs: A Polylogarithmic Approximation for Two-Connected Directed Steiner Tree
• Mathematics, Computer Science
ArXiv
• 2016
An algorithm with the same approximation guarantee for the 2-Connected Directed Steiner Subgraph problem, where the goal is to find a min-cost subgraph such that every pair of terminals are $2$-edge/vertex connected.
Tree Embedding and Directed Steiner Problems
Tree-Embedding is a powerful technique in the area of approximation algorithms as it reduces many diffcult problems like {\em group Steiner tree} (GST) on general graphs into amenable tree intances.
Steiner Problems with Limited Number of Branching Nodes
• Computer Science, Mathematics
SIROCCO
• 2013
A polynomial algorithm when the input graph is acyclic and an other algorithm when k is fixed in an input graph of bounded treewidth are proposed, and an n e -inapproximability proof is provided, for any e < 1.

## References

SHOWING 1-10 OF 49 REFERENCES
Integrality ratio for group Steiner trees and directed steiner trees
• Computer Science, Mathematics
SODA '03
• 2003
An Ω(log2k) lower bound on the integrality ratio of the flow-based relaxation for the Group Steiner Tree problem is presented, where k denotes the number of groups; this holds even for input graphs that are Hierarchically Well-Separated Trees, in which case this lower bound is tight.
Approximation algorithms for directed Steiner problems
• Mathematics, Computer Science
SODA '98
• 1998
We obtain the first non-trivial approximation algorithms for the Steiner Tree problem and the Generalized Steiner Tree problem in general directed graphs. Essentially no approximation algorithms were
The Polymatroid Steiner Problems
• Mathematics
J. Comb. Optim.
• 2005
The Polymatroid Steiner Problem, in which a polymatroid P = P(V) is defined on V and the Steiner tree is required to span at least one base of P, is considered, which can be approximately solved by algorithms generalizing methods of Chekuri et al. (2002).
A series of approximation algorithms for the acyclic directed steiner tree problem
This paper gives anO(kε)-approximation algorithm for any ε>0.1, which improves the previously knownk-approximating.
A polylogarithmic approximation algorithm for the group Steiner tree problem
• Mathematics, Computer Science
SODA '98
• 1998
A randomized algorithm with a polylogarithmic approximation guarantee for the group Steiner tree problem is given and improves existing approximation results for network design problems with location-based constraints and for the symmetric generalized traveling salesman problem.
Nearly complete graphs decomposable into large induced matchings and their applications
• Mathematics
STOC '12
• 2012
Two constructions of (very) dense graphs which are edge disjoint unions of large induced matchings are described, which disproves (in a strong form) a conjecture of Meshulam, substantially improves a result of Birk, Linial andMeshulam on communicating over a shared channel, and extends the analysis of Hastad and Wigderson of the graph test of Samorodnitsky and Trevisan for linearity.
Polylogarithmic inapproximability
• Computer Science, Mathematics
STOC '03
• 2003
It is shown that for every fixed ε>0, the GROUP-STEINER-TREE problem admits no efficient log2-ε k approximation, where k denotes the number of groups (or, alternatively, the input size), unless NP has quasi polynomial Las-Vegas algorithms.
New Tools for Graph Coloring
• Computer Science
APPROX-RANDOM
• 2011
This algorithm is inspired by recent work of Barak, Raghavendra, and Steurer on using Lasserre Hierarchy for unique games and can be used to show that known integrality gap instances for SDP relaxations like strict vector chromatic number cannot survive a few rounds of Lasserr lifting.
Linear Level Lasserre Lower Bounds for Certain k-CSPs
• G. Schoenebeck
• Mathematics, Computer Science
2008 49th Annual IEEE Symposium on Foundations of Computer Science
• 2008
We show that for kges3 even the Omega(n) level of the Lasserre hierarchy cannot disprove a random k-CSP instance over any predicate type implied by k-XOR constraints, for example k-SAT or k-XOR. (One
Lasserre Hierarchy, Higher Eigenvalues, and Approximation Schemes for Graph Partitioning and Quadratic Integer Programming with PSD Objectives
• Computer Science, Mathematics
2011 IEEE 52nd Annual Symposium on Foundations of Computer Science
• 2011
An approximation scheme for optimizing certain Quadratic Integer Programming problems with positive semi definite objective functions and global linear constraints is presented, and an algorithm for independent sets in graphs that performs well when the Laplacian does not have too many eigenvalues bigger than \$1+o(1).