ausblenden:
Schlagwörter:
-
Zusammenfassung:
We study the \tlpp s that have applications in Automatic Graph Drawing.
We are searching for a two-layer planar subgraph of maximum weight in a
given two-layer graph. Depending on the number of layers in which the vertices
can be permuted freely, that is, zero, one or two, different versions of the
problems arise. The latter problem was already investigated in \cite{Mut97}
using polyhedral combinatorics. Here, we study the remaining two cases and the
relationships between the associated polytopes.
In particular, we investigate the polytope $\calp _1$ associated with the
two-layer {\em
planarization} problem with one fixed layer. We provide an overview on the
relationships between
$\calp _1$ and the polytope $\calq _1$ associated with the two-layer {\em
crossing minimization}
problem with one fixed layer, the linear ordering polytope, the \tlpp\ with
zero and two layers
fixed. We will see that all facet-defining inequalities in $\calq _1$ are also
facet-defining for
$\calp _1$. Furthermore, we give some new classes of facet-defining
inequalities and show how the
separation problems can be solved. First computational results are presented
using a branch-and-cut
algorithm. For the case when both layers are fixed, the \tlpp\ can be solved in
polynomial time by a
transformation to the heaviest increasing subsequence problem. Moreover, we
give a complete
description of the associated polytope $\calp _2$, which is useful in our
branch-and-cut algorithm
for the one-layer fixed case.
