Vertex-Disjoint Packing of Two Steiner Trees: polyhedra and branch-and-cut

  title={Vertex-Disjoint Packing of Two Steiner Trees: polyhedra and branch-and-cut},
  author={Eduardo Uchoa and Marcus Poggi de Arag{\~a}o},
  journal={Mathematical Programming},
Abstract.Consider the problem of routing the electrical connections among two large terminal sets in circuit layout. A realistic model for this problem is given by the vertex-disjoint packing of two Steiner trees (2VPST), which is known to be NP-complete. This work presents an investigation on the 2VPST polyhedra. The main idea is to start from facet-defining inequalities for a vertex-weighted Steiner tree polyhedra. Some of these inequalities are proven to also define facets for the packing… 
Rectilinear group Steiner trees and applications in VLSI design
This work presents a first (tailored) exact algorithm for solving the rectilinear group Steiner tree problem (and related variants of the problem) and experimental results for real-world VLSI instances with up to 100 groups are presented.
An approximate max-Steiner-tree-packing min-Steiner-cut theorem
  • L. Lau
  • Mathematics, Computer Science
    45th Annual IEEE Symposium on Foundations of Computer Science
  • 2004
It is proved that if the minimum S-cut in G has 26k edges, then G has at least k edge-disjoint S-trees; this answers Kriesell's conjecture affirmatively up to a constant multiple.
An Approximate Max-Steiner-Tree-Packing Min-Steiner-Cut Theorem*
  • L. Lau
  • Mathematics, Computer Science
  • 2007
The main theorem is an approximate min-max relation between the maximum number of edge-disjoint trees that each connects S (S-trees) and the minimum size of an edge-cut that disconnects some pair of vertices in S (s-cut).
On approximate min-max theorems for graph connectivity problems
Given an undirected graph G and a subset of vertices S ⊆ V(G), we call the vertices in S the terminal vertices and the vertices in V (G) - S the Steiner vertices. In this thesis, we study two
Preprocessing Steiner problems from VLSI layout
A new preprocessing procedure is proposed, extending earlier ideas from the literature and improving their application, so as to make them effective for VLSI problems, and significant reductions within reasonable computational times are reported.


Packing Steiner trees: polyhedral investigations
It turns out that, under mild assumptions, each inequality that defines a facet for the (single) Steiner tree polyhedron can be lifted to a facet-defining inequality for the Steiner family of inequalities.
The Steiner tree polytope and related polyhedra
This work considers the vertex-weighted version of the undirected Steiner tree problem, and obtains some very large classes of facet-defining valid inequalities for the Steiners tree polytope.
Solving Steiner tree problems in graphs to optimality
The implementation of a branch-and-cut algorithm for solving Steiner tree problems in graphs based on an integer programming formulation for directed graphs and comprises preprocessing, separation algorithms, and primal heuristics is presented.
The gamma-connected assignment problem
A Polynomial Solution to the Undirected Two Paths Problem
If G is 4-connected and nonplanar, then such paths P, and P2 exist for any choice of s,, s2, h, and t2 (as conjectured by Watkins).
Minimum s-t Cut of a Planar Undirected Network in O(n log2(n)) Time
  • J. Reif
  • Computer Science
    SIAM J. Comput.
  • 1983
An algorithm for computing a minimum (cost) s-t cut of N, a planar undirected network with distinguished vertices s, t, a total of n vertices, and each edge labeled with a positive real from a set L, which runs in time $O(n\log ^2 (n) $.
Computers and Intractability: A Guide to the Theory of NP-Completeness
Horn formulae play a prominent role in artificial intelligence and logic programming. In this paper we investigate the problem of optimal compression of propositional Horn production rule knowledge
Combinatorial algorithms for integrated circuit layout
This paper will concern you to try reading combinatorial algorithms for integrated circuit layout as one of the reading material to finish quickly.
ABACUS - a branch-and-CUt system
Packing Steiner trees: a cutting plane algorithm and computational results
This paper uses a cutting plane algorithm based on the polyhedral theory for the Steiner tree packing polyhedron to solve some switchbox routing problems of VLSI-design and reports on the computational experience.