We study a classic problem introduced thirty years ago by Eades and Wormald. Let G=(V,E,λ) be a weighted planar graph, where λ:E→R+ 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 e∈E 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.
Alegría, C., Borrazzo, M., Da Lozzo, G., Di Battista, G., Frati, F., Patrignani, M. (2024). Testing the planar straight-line realizability of 2-trees with prescribed edge lengths. EUROPEAN JOURNAL OF COMBINATORICS, 119 [10.1016/j.ejc.2023.103806].
Testing the planar straight-line realizability of 2-trees with prescribed edge lengths
Borrazzo, Manuel;Da Lozzo, Giordano;Di Battista, Giuseppe;Frati, Fabrizio;Patrignani, Maurizio
2024-01-01
Abstract
We study a classic problem introduced thirty years ago by Eades and Wormald. Let G=(V,E,λ) be a weighted planar graph, where λ:E→R+ 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 e∈E 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.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.