Integer and combinatorial optimization
Integer and combinatorial optimization
Combinatorial algorithms for integrated circuit layout
Combinatorial algorithms for integrated circuit layout
Packing Steiner trees: polyhedral investigations
Mathematical Programming: Series A and B
Packing Steiner trees: a cutting plane algorithm and computational results
Mathematical Programming: Series A and B
A Polynomial Solution to the Undirected Two Paths Problem
Journal of the ACM (JACM)
Hi-index | 0.02 |
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 depart from facet-defining inequalities for a vertex-weighted Steiner tree polyhedra. Some of these inequalities are proven to also define facets for the packing polyhedra, while others are lifted to derive new important families of inequalities, including proven facets. Separation algorithms are also presented. The resulting branch-and-cut code has an excellent performance and is capable of solving problems on grid graphs with up to 10000 vertices and 5000 terminals in a few minutes.