On the 3-tree core of plane graphs

IF 0.5 4区 计算机科学 Q4 COMPUTER SCIENCE, INFORMATION SYSTEMS
Debajyoti Mondal, Md. Saidur Rahman
{"title":"On the 3-tree core of plane graphs","authors":"Debajyoti Mondal,&nbsp;Md. Saidur Rahman","doi":"10.1007/s00236-025-00503-0","DOIUrl":null,"url":null,"abstract":"<div><p>A drawing of a graph is a geometric representation of its vertices and edges. Plane 3-trees have been well studied in graph drawing literature. For many graph drawing styles, the aesthetic qualities achieved for plane 3-trees are much better than the ones known for general plane graphs. This motivates us to investigate whether one can find a large plane 3-tree type structure in a general plane graph, and if so, whether it can be leveraged to obtain a better drawing for the graph. We thus introduce the concept of a 3-tree core <i>H</i> of a 3-connected plane graph <i>G</i>. Here, <i>H</i> is an edge-labeled plane 3-tree that represents <i>G</i>, and the distance <i>d</i> between <i>H</i> and <i>G</i> is the number of vertices of <i>G</i> that are missing in <i>H</i>. As an application of this concept, we consider the planar ortho-path visibility drawing, where each vertex is drawn as an orthogonal polygonal chain on an integer grid and each edge is drawn as an orthogonal line segment between the paths corresponding to its end vertices. We show that if <i>H</i> has a flat visibility drawing (i.e., each ortho-path is a horizontal line segment) with height <i>k</i>, then <i>G</i> has an ortho-path visibility drawing with height <span>\\(O(k2^d)\\)</span>. In particular, if <i>G</i> is a planar triangulation and not too distant from a 3-tree core, i.e., <span>\\(d=O(1)\\)</span>, then <i>G</i> can be drawn with height <span>\\(4n/9+O(1)\\)</span> by choosing an appropriate planar embedding. This bound is interesting as it is significantly smaller than the lower bound of <span>\\(2n/3+O(1)\\)</span> when the ortho-path visibility drawing must respect the input embedding.</p></div>","PeriodicalId":7189,"journal":{"name":"Acta Informatica","volume":"62 3","pages":""},"PeriodicalIF":0.5000,"publicationDate":"2025-08-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Acta Informatica","FirstCategoryId":"94","ListUrlMain":"https://link.springer.com/article/10.1007/s00236-025-00503-0","RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q4","JCRName":"COMPUTER SCIENCE, INFORMATION SYSTEMS","Score":null,"Total":0}
引用次数: 0

Abstract

A drawing of a graph is a geometric representation of its vertices and edges. Plane 3-trees have been well studied in graph drawing literature. For many graph drawing styles, the aesthetic qualities achieved for plane 3-trees are much better than the ones known for general plane graphs. This motivates us to investigate whether one can find a large plane 3-tree type structure in a general plane graph, and if so, whether it can be leveraged to obtain a better drawing for the graph. We thus introduce the concept of a 3-tree core H of a 3-connected plane graph G. Here, H is an edge-labeled plane 3-tree that represents G, and the distance d between H and G is the number of vertices of G that are missing in H. As an application of this concept, we consider the planar ortho-path visibility drawing, where each vertex is drawn as an orthogonal polygonal chain on an integer grid and each edge is drawn as an orthogonal line segment between the paths corresponding to its end vertices. We show that if H has a flat visibility drawing (i.e., each ortho-path is a horizontal line segment) with height k, then G has an ortho-path visibility drawing with height \(O(k2^d)\). In particular, if G is a planar triangulation and not too distant from a 3-tree core, i.e., \(d=O(1)\), then G can be drawn with height \(4n/9+O(1)\) by choosing an appropriate planar embedding. This bound is interesting as it is significantly smaller than the lower bound of \(2n/3+O(1)\) when the ortho-path visibility drawing must respect the input embedding.

关于平面图的三树核
图形的绘图是其顶点和边的几何表示。平面3树在图形绘制文献中得到了很好的研究。对于许多图形绘制风格,平面3-tree所获得的美学质量比一般平面图形所获得的美学质量要好得多。这促使我们研究是否可以在一般平面图中找到一个大的平面3-tree型结构,如果可以,是否可以利用它来获得更好的图形绘制。因此,我们引入了3连通平面图G的3树核心H的概念,其中H是表示G的一棵带边标记的平面3树,H与G之间的距离d是H中缺少的G的顶点数。作为这一概念的应用,我们考虑平面正交路径可见性图,其中每个顶点绘制为整数网格上的正交多边形链,每个边绘制为与其端点对应的路径之间的正交线段。我们证明,如果H具有高度为k的平面可见性图(即,每个正交路径都是水平线段),则G具有高度为\(O(k2^d)\)的正交路径可见性图。特别是,如果G是平面三角剖分,并且距离3树核心不太远,即\(d=O(1)\),则可以通过选择合适的平面嵌入来绘制高度为\(4n/9+O(1)\)的G。这个边界很有趣,因为当正交路径可见性绘图必须尊重输入嵌入时,它明显小于\(2n/3+O(1)\)的下界。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 求助全文
来源期刊
Acta Informatica
Acta Informatica 工程技术-计算机:信息系统
CiteScore
2.40
自引率
16.70%
发文量
24
审稿时长
>12 weeks
期刊介绍: Acta Informatica provides international dissemination of articles on formal methods for the design and analysis of programs, computing systems and information structures, as well as related fields of Theoretical Computer Science such as Automata Theory, Logic in Computer Science, and Algorithmics. Topics of interest include: • semantics of programming languages • models and modeling languages for concurrent, distributed, reactive and mobile systems • models and modeling languages for timed, hybrid and probabilistic systems • specification, program analysis and verification • model checking and theorem proving • modal, temporal, first- and higher-order logics, and their variants • constraint logic, SAT/SMT-solving techniques • theoretical aspects of databases, semi-structured data and finite model theory • theoretical aspects of artificial intelligence, knowledge representation, description logic • automata theory, formal languages, term and graph rewriting • game-based models, synthesis • type theory, typed calculi • algebraic, coalgebraic and categorical methods • formal aspects of performance, dependability and reliability analysis • foundations of information and network security • parallel, distributed and randomized algorithms • design and analysis of algorithms • foundations of network and communication protocols.
×
引用
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学术文献互助群
群 号:604180095
Book学术官方微信