Divide-and-conquer approximation algorithms for vertex ordering problems partition the vertex set of graphs, compute recursively an ordering of each part, and “glue” the orderings of the parts together. The computed ordering is specified by a decomposition tree that describes the recursive partitioning of the subproblems. At each internal node of the decomposition tree, there is a degree of freedom regarding the order in which the parts are glued together. Approximation algorithms that use this technique ignore these degrees of freedom, and prove that the cost of every ordering that agrees with the computed decomposition tree is within the range specified by the approximation factor. We address the question of whether an optimal ordering can be efficiently computed among the exponentially many orderings induced by a binary decomposition tree. We present a polynomial time algorithm for computing an optimal ordering induced by a binary balanced decomposition tree with respect to two problems: Minimum Linear Arrangement (minla) and Minimum Cutwidth (mincw). For 1/3-balanced decomposition trees of bounded degree graphs, the time complexity of our algorithm is O(n), where n denotes the number of vertices. Additionally, we present experimental evidence that computing an optimal orientation of a decomposition tree is useful in practice. It is shown, through an implementation for minla, that optimal orientations of decomposition trees can produce arrangements of roughly the same quality as those produced by the best known heuristic, at a fraction of the running time. Communicated by T. Warnow; submitted July 1998; revised September 2000 and June 2001. Guy Even was supported in part by Intel Israel LTD and Intel Corp. under a grant awarded in 2000. Jon Feldman did part of this work while visiting Tel-Aviv University. Bar-Yehuda et al., Orientation of Decomposition Trees, JGAA, 5(4) 1–27 (2001)3
[1]
Frank Thomson Leighton,et al.
Multicommodity max-flow min-cut theorems and their use in designing approximation algorithms
,
1999,
JACM.
[2]
Sung-Woo Hur,et al.
Relaxation and clustering in a local search framework: application to linear placement
,
1999,
DAC '99.
[3]
Jordi Petit Silvestre,et al.
Approximation heuristics and benchmarkings for the MinLA problem
,
1997
.
[4]
R. Ravi,et al.
Ordering Problems Approximated: Single-Processor Scheduling and Interval Graph Completion
,
1991,
ICALP.
[5]
Frank Thomson Leighton,et al.
A Framework for Solving VLSI Graph Layout Problems
,
1983,
J. Comput. Syst. Sci..
[6]
Richard M. Karp,et al.
Mapping the genome: some combinatorial problems arising in molecular biology
,
1993,
STOC.
[7]
Joseph Naor,et al.
Divide-and-conquer approximation algorithms via spreading metrics
,
2000,
JACM.
[8]
Rina Dechter,et al.
Maintenance scheduling problems as benchmarks for constraint algorithms
,
1999,
Annals of Mathematics and Artificial Intelligence.
[9]
David S. Johnson,et al.
Computers and Intractability: A Guide to the Theory of NP-Completeness
,
1978
.
[10]
Joseph Naor,et al.
Fast approximate graph partitioning algorithms
,
1997,
SODA '97.
[11]
Mark D. Hansen.
Approximation algorithms for geometric embeddings in the plane with applications to parallel processing problems
,
1989,
30th Annual Symposium on Foundations of Computer Science.
[12]
Satish Rao,et al.
New approximation techniques for some ordering problems
,
1998,
SODA '98.
[13]
D. Rose.
Triangulated graphs and the elimination process
,
1970
.