论图的向上平面l图

Patrizio Angelini, S. Chaplick, Sabine Cornelsen, G. D. Lozzo
{"title":"论图的向上平面l图","authors":"Patrizio Angelini, S. Chaplick, Sabine Cornelsen, G. D. Lozzo","doi":"10.48550/arXiv.2205.05627","DOIUrl":null,"url":null,"abstract":"In an upward-planar L-drawing of a directed acyclic graph (DAG) each edge e is represented as a polyline composed of a vertical segment with its lowest endpoint at the tail of e and of a horizontal segment ending at the head of e . Distinct edges may overlap, but not cross. Recently, upward-planar L-drawings have been studied for st -graphs, i.e., planar DAGs with a single source s and a single sink t containing an edge directed from s to t . It is known that a plane st-graph , i.e., an embedded st -graph in which the edge ( s, t ) is incident to the outer face, admits an upward-planar L-drawing if and only if it admits a bitonic st-ordering, which can be tested in linear time. We study upward-planar L-drawings of DAGs that are not necessarily st-graphs. On the combinatorial side, we show that a plane DAG admits an upward-planar L-drawing if and only if it is a subgraph of a plane st-graph admitting a bitonic st-ordering. This allows us to show that not every tree with a fixed bimodal embedding admits an upward-planar L-drawing. Moreover, we prove that any acyclic cactus with a single source (or a single sink) admits an upward-planar L-drawing, which respects a given outerplanar embedding if there are no transitive edges. On the algorithmic side, we consider DAGs with a single source (or a single sink). We give linear-time testing algorithms for these DAGs in two cases: (i) when the drawing must respect a prescribed embedding and (ii) when no restriction is given on the embedding, but it is biconnected and series-parallel.","PeriodicalId":369104,"journal":{"name":"International Symposium on Mathematical Foundations of Computer Science","volume":"1 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2022-05-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"3","resultStr":"{\"title\":\"On Upward-Planar L-Drawings of Graphs\",\"authors\":\"Patrizio Angelini, S. Chaplick, Sabine Cornelsen, G. D. Lozzo\",\"doi\":\"10.48550/arXiv.2205.05627\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"In an upward-planar L-drawing of a directed acyclic graph (DAG) each edge e is represented as a polyline composed of a vertical segment with its lowest endpoint at the tail of e and of a horizontal segment ending at the head of e . Distinct edges may overlap, but not cross. Recently, upward-planar L-drawings have been studied for st -graphs, i.e., planar DAGs with a single source s and a single sink t containing an edge directed from s to t . It is known that a plane st-graph , i.e., an embedded st -graph in which the edge ( s, t ) is incident to the outer face, admits an upward-planar L-drawing if and only if it admits a bitonic st-ordering, which can be tested in linear time. We study upward-planar L-drawings of DAGs that are not necessarily st-graphs. On the combinatorial side, we show that a plane DAG admits an upward-planar L-drawing if and only if it is a subgraph of a plane st-graph admitting a bitonic st-ordering. This allows us to show that not every tree with a fixed bimodal embedding admits an upward-planar L-drawing. Moreover, we prove that any acyclic cactus with a single source (or a single sink) admits an upward-planar L-drawing, which respects a given outerplanar embedding if there are no transitive edges. On the algorithmic side, we consider DAGs with a single source (or a single sink). We give linear-time testing algorithms for these DAGs in two cases: (i) when the drawing must respect a prescribed embedding and (ii) when no restriction is given on the embedding, but it is biconnected and series-parallel.\",\"PeriodicalId\":369104,\"journal\":{\"name\":\"International Symposium on Mathematical Foundations of Computer Science\",\"volume\":\"1 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2022-05-11\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"3\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"International Symposium on Mathematical Foundations of Computer Science\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.48550/arXiv.2205.05627\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"International Symposium on Mathematical Foundations of Computer Science","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.48550/arXiv.2205.05627","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 3

摘要

在有向无环图(DAG)的向上平面l形图中,每条边e都表示为一条折线,折线由最低点在e尾部的垂直线段和终点在e头部的水平线段组成。明显的边缘可以重叠,但不能交叉。最近,研究了st -图的向上平面l图,即具有单个源s和单个汇t的平面dag,其中包含一条从s到t的边。已知一个平面st图,即边(s, t)与外表面相关联的嵌入st图,当且仅当其允许双阶st排序时允许平面上的l -绘制,且可在线性时间内检验。我们研究了不一定是st图的dag的向上平面l图。在组合方面,我们证明了平面DAG是平面st-图的子图,当且仅当它是平面st-图的子图,允许bitonic st-序。这使我们能够证明,并非每个具有固定双峰嵌入的树都允许一个向上平面的l图。此外,我们证明了任何具有单一源(或单一汇)的无环仙人掌都承认一个向上平面的l图,如果没有传递边,它尊重给定的外平面嵌入。在算法方面,我们考虑具有单个源(或单个接收器)的dag。我们在两种情况下给出了这些dag的线性时间测试算法:(i)当绘图必须遵守规定的嵌入时,以及(ii)当嵌入没有给定限制,但它是双连接和串并联时。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
On Upward-Planar L-Drawings of Graphs
In an upward-planar L-drawing of a directed acyclic graph (DAG) each edge e is represented as a polyline composed of a vertical segment with its lowest endpoint at the tail of e and of a horizontal segment ending at the head of e . Distinct edges may overlap, but not cross. Recently, upward-planar L-drawings have been studied for st -graphs, i.e., planar DAGs with a single source s and a single sink t containing an edge directed from s to t . It is known that a plane st-graph , i.e., an embedded st -graph in which the edge ( s, t ) is incident to the outer face, admits an upward-planar L-drawing if and only if it admits a bitonic st-ordering, which can be tested in linear time. We study upward-planar L-drawings of DAGs that are not necessarily st-graphs. On the combinatorial side, we show that a plane DAG admits an upward-planar L-drawing if and only if it is a subgraph of a plane st-graph admitting a bitonic st-ordering. This allows us to show that not every tree with a fixed bimodal embedding admits an upward-planar L-drawing. Moreover, we prove that any acyclic cactus with a single source (or a single sink) admits an upward-planar L-drawing, which respects a given outerplanar embedding if there are no transitive edges. On the algorithmic side, we consider DAGs with a single source (or a single sink). We give linear-time testing algorithms for these DAGs in two cases: (i) when the drawing must respect a prescribed embedding and (ii) when no restriction is given on the embedding, but it is biconnected and series-parallel.
求助全文
通过发布文献求助,成功后即可免费获取论文全文。 去求助
来源期刊
自引率
0.00%
发文量
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信