Simultaneous PQ-Ordering with Applications to Constrained Embedding Problems

Author:

Bläsius Thomas1,Rutter Ignaz1

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.

Funder

GRADR -- EUROGIGA

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篇论文的施引文献,订阅后可以查看论文全部施引文献

1. Partial and Simultaneous Transitive Orientations via Modular Decompositions;Algorithmica;2023-12-14

2. Experimental Comparison of PC-Trees and PQ-Trees;ACM Journal of Experimental Algorithmics;2023-10-14

3. Synchronized Planarity with Applications to Constrained Planarity Problems;ACM Transactions on Algorithms;2023-09-26

4. Parameterized complexity of graph planarity with restricted cyclic orders;Journal of Computer and System Sciences;2023-08

5. Hanani-Tutte for Radial Planarity II;The Electronic Journal of Combinatorics;2023-01-27

同舟云学术

1.学者识别学者识别

2.学术分析学术分析

3.人才评估人才评估

"同舟云学术"是以全球学者为主线,采集、加工和组织学术论文而形成的新型学术文献查询和分析系统,可以对全球学者进行文献检索和人才价值评估。用户可以通过关注某些学科领域的顶尖人物而持续追踪该领域的学科进展和研究前沿。经过近期的数据扩容,当前同舟云学术共收录了国内外主流学术期刊6万余种,收集的期刊论文及会议论文总量共计约1.5亿篇,并以每天添加12000余篇中外论文的速度递增。我们也可以为用户提供个性化、定制化的学者数据。欢迎来电咨询!咨询电话:010-8811{复制后删除}0370

www.globalauthorid.com

TOP

Copyright © 2019-2024 北京同舟云网络信息技术有限公司
京公网安备11010802033243号  京ICP备18003416号-3