Carlos Alegría, Manuel Borrazzo, Giordano Da Lozzo, Giuseppe Di Battista, Fabrizio Frati, Maurizio Patrignani
{"title":"测试具有规定边长的 2 树的平面直线可实现性","authors":"Carlos Alegría, Manuel Borrazzo, Giordano Da Lozzo, Giuseppe Di Battista, Fabrizio Frati, 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, Manuel Borrazzo, Giordano Da Lozzo, Giuseppe Di Battista, Fabrizio Frati, 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}
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 be a weighted planar graph, where is a length function. The Fixed Edge-Length Planar Realization problem (FEPR for short) asks whether there exists a planar straight-line realization of , i.e., a planar straight-line drawing of where the Euclidean length of each edge is .
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 -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.
期刊介绍:
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.