| SC 92-08 | Martin Grötschel, Alexander Martin, Robert Weismantel
Packing Steiner Trees: Polyhedral Investigations. Appeared in: Mathematical Programming 72 (1996) 101-123 |
Abstract: Let
be a graph and
be a node set. We call an edge set
a Steiner tree
with respect to
if
connects all pairs of nodes in
. In this paper we address the following problem, which
we call the weighted Steiner tree packing problem. Given a
graph
with edge weights
, edge capacities
and node sets
, find edge
sets
such that each
is a Steiner tree
with respect to
, at most
of these edge sets use
edge
for each
, and such that the sum of the
weights of the edge sets is minimal. Our motivation for
studying this problem arises from the routing problem in
VLSI-design, where given sets of points have to be connected
by wires. We consider the Steiner tree packing Problem from
a polyhedral point of view and define an appropriate
polyhedron, called the Steiner tree packing polyhedron. The
goal of this paper is to (partially) describe this
polyhedron by means of inequalities. 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 tree packing
polyhedron. The main emphasis of this paper lies on the
presentation of so-called joint inequalities that are valid
and facet-defining for this polyhedron. Inequalities of this
kind involve at least two Steiner trees. The classes of
inequalities we have found form the basis of a branch & cut
algorithm. This algorithm is described in our companion
paper SC 92-09.