Simultaneous PQ-Ordering with Applications to Constrained Embedding Problems
Thomas Bläsius, Ignaz Rutter · ACM Transactions on Algorithms · 2015
In this article, we define and study the new problem of S imultaneous PQ-O rdering . Its input consists of a set of PQ-trees, which represent sets of circular orders of their leaves, together with a set of child-parent relations between these PQ-trees, such that the leaves of the child form a subset of the leaves of the parent. S imultaneous PQ-O rdering asks whether orders of the leaves of each of the trees can be chosen simultaneously ; that is, for every child-parent relation, the order chosen for the parent is an extension of the order chosen for the child. We show that S imultaneous PQ-O rdering is NP -complete in general, and we identify a family of instances that can be solved efficiently, the 2-fixed instances . We show that this result serves as a framework for several other problems that can be formulated as instances of S imultaneous PQ-O rdering . In particular, we give linear-time algorithms for recognizing simultaneous interval graphs and extending partial interval representations. Moreover, we obtain a linear-time algorithm for P artially PQ-C onstrained P lanarity for biconnected graphs, which asks for a planar embedding in the presence of PQ-trees that restrict the possible orderings of edges around vertices, and a quadratic-time algorithm for S imultaneous E mbedding with F ixed E dges for biconnected graphs with a connected intersection. Both results can be extended to the case where the input graphs are not necessarily biconnected but have the property that each cutvertex is contained in at most two nontrivial blocks. This includes, for example, the case where both graphs have a maximum degree of 5.