测试具有规定边长的 2 树的平面直线可实现性

IF 1 3区 数学 Q1 MATHEMATICS European Journal of Combinatorics Pub Date : 2024-06-01 DOI:10.1016/j.ejc.2023.103806
Carlos Alegría, Manuel Borrazzo, Giordano Da Lozzo, Giuseppe Di Battista, Fabrizio Frati, Maurizio Patrignani
{"title":"测试具有规定边长的 2 树的平面直线可实现性","authors":"Carlos Alegría,&nbsp;Manuel Borrazzo,&nbsp;Giordano Da Lozzo,&nbsp;Giuseppe Di Battista,&nbsp;Fabrizio Frati,&nbsp;Maurizio Patrignani","doi":"10.1016/j.ejc.2023.103806","DOIUrl":null,"url":null,"abstract":"<div><p>We study a classic problem introduced thirty years ago by Eades and Wormald. Let <span><math><mrow><mi>G</mi><mo>=</mo><mrow><mo>(</mo><mi>V</mi><mo>,</mo><mi>E</mi><mo>,</mo><mi>λ</mi><mo>)</mo></mrow></mrow></math></span><span> be a weighted planar graph, where </span><span><math><mrow><mi>λ</mi><mo>:</mo><mi>E</mi><mo>→</mo><msup><mrow><mi>R</mi></mrow><mrow><mo>+</mo></mrow></msup></mrow></math></span> is a <em>length function</em>. The <span><span>Fixed Edge-Length Planar Realization</span></span> problem (<span>FEPR</span> for short) asks whether there exists a <em>planar straight-line realization</em> of <span><math><mi>G</mi></math></span>, i.e., a planar straight-line drawing of <span><math><mi>G</mi></math></span> where the Euclidean length of each edge <span><math><mrow><mi>e</mi><mo>∈</mo><mi>E</mi></mrow></math></span> is <span><math><mrow><mi>λ</mi><mrow><mo>(</mo><mi>e</mi><mo>)</mo></mrow></mrow></math></span>.</p><p>Cabello, Demaine, and Rote showed that the <span>FEPR</span> problem is <span>NP</span>-hard, even when <span><math><mi>λ</mi></math></span> assigns the same value to all the edges and the graph is triconnected. Since the existence of large triconnected minors is crucial to the known <span>NP</span>-hardness proofs, in this paper we investigate the computational complexity of the <span>FEPR</span> problem for weighted 2-trees, which are <span><math><msub><mrow><mi>K</mi></mrow><mrow><mn>4</mn></mrow></msub></math></span>-minor free. We show the <span>NP</span>-hardness of the problem, even when <span><math><mi>λ</mi></math></span> assigns to the edges only up to four distinct lengths. Conversely, we show that the <span>FEPR</span> problem is linear-time solvable when <span><math><mi>λ</mi></math></span> assigns to the edges up to two distinct lengths, or when the input has a prescribed embedding. Furthermore, we consider the <span>FEPR</span> problem for weighted maximal outerplanar graphs and prove it to be linear-time solvable if their dual tree is a path, and cubic-time solvable if their dual tree is a caterpillar. Finally, we prove that the <span>FEPR</span> problem for weighted 2-trees is slice-wise polynomial in the length of the large path.</p></div>","PeriodicalId":50490,"journal":{"name":"European Journal of Combinatorics","volume":null,"pages":null},"PeriodicalIF":1.0000,"publicationDate":"2024-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Testing the planar straight-line realizability of 2-trees with prescribed edge lengths\",\"authors\":\"Carlos Alegría,&nbsp;Manuel Borrazzo,&nbsp;Giordano Da Lozzo,&nbsp;Giuseppe Di Battista,&nbsp;Fabrizio Frati,&nbsp;Maurizio Patrignani\",\"doi\":\"10.1016/j.ejc.2023.103806\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<div><p>We study a classic problem introduced thirty years ago by Eades and Wormald. Let <span><math><mrow><mi>G</mi><mo>=</mo><mrow><mo>(</mo><mi>V</mi><mo>,</mo><mi>E</mi><mo>,</mo><mi>λ</mi><mo>)</mo></mrow></mrow></math></span><span> be a weighted planar graph, where </span><span><math><mrow><mi>λ</mi><mo>:</mo><mi>E</mi><mo>→</mo><msup><mrow><mi>R</mi></mrow><mrow><mo>+</mo></mrow></msup></mrow></math></span> is a <em>length function</em>. The <span><span>Fixed Edge-Length Planar Realization</span></span> problem (<span>FEPR</span> for short) asks whether there exists a <em>planar straight-line realization</em> of <span><math><mi>G</mi></math></span>, i.e., a planar straight-line drawing of <span><math><mi>G</mi></math></span> where the Euclidean length of each edge <span><math><mrow><mi>e</mi><mo>∈</mo><mi>E</mi></mrow></math></span> is <span><math><mrow><mi>λ</mi><mrow><mo>(</mo><mi>e</mi><mo>)</mo></mrow></mrow></math></span>.</p><p>Cabello, Demaine, and Rote showed that the <span>FEPR</span> problem is <span>NP</span>-hard, even when <span><math><mi>λ</mi></math></span> assigns the same value to all the edges and the graph is triconnected. Since the existence of large triconnected minors is crucial to the known <span>NP</span>-hardness proofs, in this paper we investigate the computational complexity of the <span>FEPR</span> problem for weighted 2-trees, which are <span><math><msub><mrow><mi>K</mi></mrow><mrow><mn>4</mn></mrow></msub></math></span>-minor free. We show the <span>NP</span>-hardness of the problem, even when <span><math><mi>λ</mi></math></span> assigns to the edges only up to four distinct lengths. Conversely, we show that the <span>FEPR</span> problem is linear-time solvable when <span><math><mi>λ</mi></math></span> assigns to the edges up to two distinct lengths, or when the input has a prescribed embedding. Furthermore, we consider the <span>FEPR</span> problem for weighted maximal outerplanar graphs and prove it to be linear-time solvable if their dual tree is a path, and cubic-time solvable if their dual tree is a caterpillar. Finally, we prove that the <span>FEPR</span> problem for weighted 2-trees is slice-wise polynomial in the length of the large path.</p></div>\",\"PeriodicalId\":50490,\"journal\":{\"name\":\"European Journal of Combinatorics\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":1.0000,\"publicationDate\":\"2024-06-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"European Journal of Combinatorics\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://www.sciencedirect.com/science/article/pii/S0195669823001233\",\"RegionNum\":3,\"RegionCategory\":\"数学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q1\",\"JCRName\":\"MATHEMATICS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"European Journal of Combinatorics","FirstCategoryId":"100","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/S0195669823001233","RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"MATHEMATICS","Score":null,"Total":0}
引用次数: 0

摘要

我们研究的是 Eades 和 Wormald 三十年前提出的一个经典问题。假设 G=(V,E,λ) 是一个加权平面图,其中 λ:E→R+ 是一个长度函数。固定边长平面实现问题(简称 FEPR)询问是否存在 G 的平面直线实现,即 G 的平面直线图,其中每条边 e∈E 的欧氏长度为 λ(e)。Cabello、Demaine 和 Rote 证明,即使 λ 对所有边赋以相同的值且图是三连接的,FEPR 问题也是 NP 难的。由于存在大的三连节点对于已知的 NP 难性证明至关重要,因此我们在本文中研究了加权 2 树的 FEPR 问题的计算复杂性,因为加权 2 树是无 K4 节点的。我们证明了该问题的 NP-困难性,即使 λ 只给边分配最多四个不同的长度。相反,我们证明当 λ 最多为两条不同长度的边赋值时,或者当输入具有规定的嵌入时,FEPR 问题是线性时间可解的。此外,我们还考虑了加权最大外平面图的 FEPR 问题,并证明如果它们的对树是一条路径,那么它是线性时间可解的;如果它们的对树是毛毛虫,那么它是立方时间可解的。最后,我们证明加权 2 树的 FEPR 问题与大路径的长度成片多项式关系。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
查看原文
分享 分享
微信好友 朋友圈 QQ好友 复制链接
本刊更多论文
Testing the planar straight-line realizability of 2-trees with prescribed edge lengths

We study a classic problem introduced thirty years ago by Eades and Wormald. Let G=(V,E,λ) be a weighted planar graph, where λ:ER+ is a length function. The Fixed Edge-Length Planar Realization problem (FEPR for short) asks whether there exists a planar straight-line realization of G, i.e., a planar straight-line drawing of G where the Euclidean length of each edge eE is λ(e).

Cabello, Demaine, and Rote showed that the FEPR problem is NP-hard, even when λ assigns the same value to all the edges and the graph is triconnected. Since the existence of large triconnected minors is crucial to the known NP-hardness proofs, in this paper we investigate the computational complexity of the FEPR problem for weighted 2-trees, which are K4-minor free. We show the NP-hardness of the problem, even when λ assigns to the edges only up to four distinct lengths. Conversely, we show that the FEPR problem is linear-time solvable when λ assigns to the edges up to two distinct lengths, or when the input has a prescribed embedding. Furthermore, we consider the FEPR problem for weighted maximal outerplanar graphs and prove it to be linear-time solvable if their dual tree is a path, and cubic-time solvable if their dual tree is a caterpillar. Finally, we prove that the FEPR problem for weighted 2-trees is slice-wise polynomial in the length of the large path.

求助全文
通过发布文献求助,成功后即可免费获取论文全文。 去求助
来源期刊
CiteScore
2.10
自引率
10.00%
发文量
124
审稿时长
4-8 weeks
期刊介绍: The European Journal of Combinatorics is a high standard, international, bimonthly journal of pure mathematics, specializing in theories arising from combinatorial problems. The journal is primarily open to papers dealing with mathematical structures within combinatorics and/or establishing direct links between combinatorics and other branches of mathematics and the theories of computing. The journal includes full-length research papers on important topics.
期刊最新文献
A combinatorial PROP for bialgebras Signed Mahonian polynomials on derangements in classical Weyl groups Degree conditions for Ramsey goodness of paths Bounded unique representation bases for the integers On the faces of unigraphic 3-polytopes
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
已复制链接
已复制链接
快去分享给好友吧!
我知道了
×
扫码分享
扫码分享
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1