Minimum projective linearizations of trees in linear time

TL;DR

This paper develops and clarifies linear-time algorithms for constrained tree arrangements, specifically for projective and planar cases, correcting previous errors and establishing definitive linear-time complexity.

Contribution

The paper provides corrected and simplified linear-time algorithms for projective and planar tree arrangements, resolving ambiguities and errors in prior algorithms.

Findings

Corrected an error in Hochberg and Stallmann's algorithm.

Established that algorithms for projective and planar cases run in O(n) time.

Clarified the relationship between projective and planar arrangements.

Abstract

The Minimum Linear Arrangement problem (MLA) consists of finding a mapping $\pi$ from vertices of a graph to distinct integers that minimizes $\sum_{\{u,v\}\in E}|\pi(u) - \pi(v)|$. In that setting, vertices are often assumed to lie on a horizontal line and edges are drawn as semicircles above said line. For trees, various algorithms are available to solve the problem in polynomial time in $n=|V|$. There exist variants of the MLA in which the arrangements are constrained. Iordanskii, and later Hochberg and Stallmann (HS), put forward $O(n)$-time algorithms that solve the problem when arrangements are constrained to be planar (also known as one-page book embeddings). We also consider linear arrangements of rooted trees that are constrained to be projective (planar embeddings where the root is not covered by any edge). Gildea and Temperley (GT) sketched an algorithm for projective arrangements which they claimed runs in $O(n)$ but did not provide any justification of its cost. In contrast, Park and Levy claimed that GT's algorithm runs in $O(n \log d_{max})$ where $d_{max}$ is the maximum degree but did not provide sufficient detail. Here we correct an error in HS's algorithm for the planar case, show its relationship with the projective case, and derive simple algorithms for the projective and planar cases that run without a doubt in $O(n)$ time.