アイテム詳細

要旨

Combinations of graph drawing and map labeling problems yield challenging mathematical problems and have direct applications, \emph{e.g.}, in automation engineering. We call graph drawing problems in which subsets of vertices and edges need to be labeled \emph{graph labeling problems}. Unlike in map labeling where the position of the objects is specified in the input, the coordinates of vertices and edges in a graph drawing problem instance are yet to be determined and thus create additional degrees of freedom. We concentrate on the \emph{Compaction and Labeling (COLA) Problem}: Given an orthogonal representation---as produced by algorithms within the topology--shape--metrics paradigm---and some label information, the task is to generate a labeled orthogonal embedding with minimum weighted sum of edge length and perimeter. We characterize feasible solutions of the \emph{COLA} problem extending an existing framework for solving pure compaction problems. Based on the graph--theoretical characterization, we present a branch--and--cut algorithm which computes optimally labeled orthogonal drawings for given instances of the \emph{COLA} problem. Computational experiments on a benchmark set of practical instances show that our method is superior to the traditional approach of applying map labeling algorithms to graph drawings. To our knowledge, this is the first algorithm especially designed to solve graph labeling problems.