Affiliation:
1. Karlsruhe Institute of Technology (KIT)
Abstract
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.
Publisher
Association for Computing Machinery (ACM)
Subject
Mathematics (miscellaneous)
Reference33 articles.
1. Testing the simultaneous embeddability of two graphs whose intersection is a biconnected or a connected graph
2. A linear-time algorithm for testing the truth of certain quantified boolean formulas
3. Thomas Bläsius Stephen G. Kobourov and Ignaz Rutter. 2013. Handbook of Graph Drawing and Visualization. Chapman and Hall/CRC Chapter Simultaneous Embedding of Planar Graphs 349--381. Thomas Bläsius Stephen G. Kobourov and Ignaz Rutter. 2013. Handbook of Graph Drawing and Visualization. Chapman and Hall/CRC Chapter Simultaneous Embedding of Planar Graphs 349--381.
Cited by
31 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献