Planar Straight-line Realizations of 2-Trees with Prescribed Edge Lengths

08/28/2021 ∙ by Carlos Alegría, et al. ∙ Università Roma Tre 0

We study a classic problem introduced thirty years ago by Eades and Wormald. Let G=(V,E,λ) be a weighted planar graph, where λ: E →ℝ^+ 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 K_4-minor free. We show its NP-hardness, 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 longest path.

READ FULL TEXT VIEW PDF
POST COMMENT

Comments

There are no comments yet.

Authors

page 1

page 2

page 3

page 4

This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.

1 Introduction and Preliminary Results

The problem of producing drawings of graphs with geometric constraints is a core topic for Graph Drawing [3, 4, 5, 11, 14, 23, 24, 27, 34, 43, 45]. In this context, a classic question is the one of testing if a planar graph can be drawn planarly and straight-line with prescribed edge lengths. The study of such a question is related to several topics in computational geometry [17, 41, 47], rigidity theory [16, 30, 32], structural analysis of molecules [8, 31], and sensor networks [13, 38, 40]. Formally, given a weighted planar graph , i.e., a planar graph equipped with a length function , the Fixed Edge-Length Planar Realization problem (FEPR for short) asks whether there exists a planar straight-line realization of (PR for short), i.e., a planar straight-line drawing of where the Euclidean length of each edge is . The FEPR problem was first studied by Eades and Wormald [26], who showed its -hardness for triconnected planar graphs and for biconnected planar graphs with unit lengths. Cabello, Demaine, and Rote strengthened this result by proving -hardness for triconnected planar graphs with unit lengths [12]. Abel et al. [1] proved the -completeness of the FEPR problem with unit lengths, solving a problem posed by Schaefer [42].

Figure 1: A planar and a non-planar straight-line realization of the same -tree.

Since large triconnected minors are essential in the known -hardness proofs of the FEPR problem, we study its complexity for -trees, which are the maximal graphs with no K-minor. A -tree is a graph composed of -cycles glued together along edges in a tree-like fashion; see Fig. 1, where we show a planar and a non-planar realization of a weighted -tree. Every -tree is planar and biconnected, and the class of -trees is the class of maximal series-parallel graphs. There is a vast amount of research on -trees in Graph Drawing (e.g., in [18, 25, 28, 33, 39]). The edge lengths of -trees have been studied in [9, 10].

In this paper, we first show that the FEPR problem can be solved in linear time for -trees with prescribed embedding111As in [12], our algorithms adopt the real RAM model, which is customary in computational geometry and supports standard arithmetic operations in constant time.. We note the FEPR problem is -hard for general planar graphs with a prescribed embedding [12]. Second, we show that, in the variable embedding setting, the FEPR problem is -hard when the number of distinct lengths is at least four, whereas it is linear-time solvable when the number of distinct lengths is one or two. Note that, for general planar graphs, the problem is -hard even when all the edges are required to have the same length [26]. Third, we deal with maximal outerplanar graphs. We show that the FEPR problem can be solved in linear time for maximal outerpaths, i.e., the maximal outerplanar graphs whose dual tree is a path, and in cubic time for maximal outerpillars, i.e., the maximal outerplanar graphs whose dual tree is a caterpillar. Finally, we present a slice-wise polynomial algorithm for -trees, parameterized by the length of the longest path.

Because of space limitations, several proofs are omitted. They can be found in the full version of the paper [2].

1.0.1 Preliminaries.

We assume familiarity with Graph Drawing (see, e.g., [21]). A planar drawing of a graph defines a clockwise order of the edges incident to each vertex of ; the set of such orders for all the vertices is a rotation system for . Two planar drawings of are equivalent if (i) they define the same rotation system for and (ii) their outer faces have the same boundaries. An equivalence class of planar drawings is a plane embedding (or simply an embedding). When referring to a planar drawing of a graph that has a prescribed embedding , we always imply that respects ; sometimes, we explicitly stress this.

An outerplanar drawing is a planar drawing in which all the vertices are incident to the outer face. An outerplane embedding is an equivalence class of outerplanar drawings. An outerplanar graph is a graph that admits an outerplanar drawing. The dual tree of a biconnected outerplanar graph is defined as follows. Consider the (unique) outerplane embedding of . Then has a node for each internal face of and has an edge between two nodes if the corresponding faces of are incident to the same edge of . An outerpath is a biconnected outerplanar graph whose dual tree is a path. A caterpillar is a tree that becomes a path if its leaves are removed. An outerpillar is a biconnected outerplanar graph whose dual tree is a caterpillar.

Figure 2: A -tree and its decomposition tree rooted at the -cycle with label .

A -tree is recursively defined as follows. A -cycle is a -tree. Given a -tree containing an edge , the graph obtained by adding to a vertex and two edges and is a -tree. We observe that the neighbors of any degree- vertex are adjacent. The tree-like structure of a -tree is encoded by means of the decomposition tree rooted at a -cycle of . Each node in represents a -cycle of , and two nodes are adjacent if their corresponding -cycles share an edge; see Fig. 2. The decomposition tree of a -tree is easily computed in linear time. We adopt the Euclidean metric and assume that the length function of is such that every -cycle satisfies the triangle inequality. This is a necessary condition for the existence of a straight-line realization of , i.e., a (not necessarily planar) drawing of in which each edge is represented by a line segment with the prescribed length. We often refer to -cycles of , nodes of , and triangles in a straight-line realization of interchangeably.

1.0.2 Prescribed Embedding.

First, we deal with -trees with a prescribed rotation system or embedding. We start by presenting a geometric tool.

Theorem 1.1.

Let be an -vertex weighted -tree, be a plane embedding (resp. be a rotation system) for , and be a straight-line realization of . There is an -time algorithm to test whether is a PR respecting (resp. ).

The proof of Theorem 1.1 is based on an algorithm that: i. tests if respects (resp. ), ii. triangulates the faces of and checks if they are simple polygons [15], and iii. tests if the obtained drawing is a convex subdivision [20].

We now present our prescribed embedding result.

Theorem 1.2.

Let be an -vertex weighted -tree and be a plane embedding (resp. be a rotation system) for . There is an -time algorithm to test whether admits a PR that respects (resp. ) and to construct one, if any.

The proof of Theorem 1.2 is based on: i. computing a decomposition tree rooted at the -cycle of with the largest sum of the edge lengths; ii. computing a candidate PR by visiting in pre-order while greedily adding to the drawing of each -cycle , by exploiting (resp. ) and the containment relationship between and ; and iii. testing whether is a PR of whose plane embedding (resp. rotation system) is (resp. ) by means of Theorem 1.1.

2 NP-hardness for 2-trees with 4 Edge Lengths

We sketch a reduction from the -complete Planar Monotone 3-SAT problem [7] (PMS for short) to the FEPR problem with four edge lengths.

Theorem 2.1.

The FEPR problem is -hard for weighted -trees, even for instances whose number of distinct edge lengths is .

(a) (b)  
(c)  

Figure 3: (a) The monotone rectilinear representation of , and (b) its modified version . (c) Overview of the reduction showing only the frame triangles.
Figure 4: The -clause gadget with and . The values of and depend on the relative positions in of the involved variable gadgets.

A Boolean CNF formula is an instance of PMS if the variable-clause incidence graph of is planar, and each clause of is either positive (it consists of positive literals) or negative (it consists of negated literals). The PMS problem is -complete even when comes with a monotone rectilinear representation [7], i.e., a crossing-free drawing of in which i. variables and clauses are boxes, ii. edges are vertical segments, and iii. positive (resp. negative) clauses lie above (resp. below) the horizontal strip containing the variable boxes; see Fig. 3(a).

First, we transform into a representation of that uses segments with slope , , or ; see Fig. 3(b). Then we obtain from a weighted -tree that admits a PR if and only if is satisfiable; see Fig. 3(c). The edges of  are assigned the lengths , , , and . To obtain we construct gadgets for the variables, the clauses, and the edges of . Our gadgets exploit two main types of triangles: equilateral triangles with sides of length (frame triangles), and isosceles triangles with base of length and two sides of length (transmission triangles). The union of the frame triangles of the gadgets representing variables (gray), edges (yellow), and clauses (green), together with a set of frame triangles connecting the variable gadgets (blue), forms a maximal outerplanar graph. Since this graph is formed by frame triangles, it has a unique PR up to rigid transformations.

Our strategy is to construct from a “rigid” part (mainly formed by the union of the frame triangles of the gadgets), and a part that instead allows for different embedding choices (mainly encoded by the flips of transmission triangles). Consider for example Fig. 4, where we illustrate the PR of a clause gadget, which is the most critical gadget in the construction. Each transmission triangle (in red) has two possible different embeddings. The choice of this embedding influences the choice of the embeddings of the transmission triangles that “conflict” with , that is, that overlaps with in one of their embeddings. These chains of conflict relationships allow for “truth values” that come from the variable gadgets to “move” along the gadgets representing edges. The relevant triangles , , and encode such values: In Fig. 4, and point downward since the corresponding variable is True, and points upward since the corresponding variable is False. A special set of transmission triangles, whose flip depends on the orientation of the relevant triangles, overlap in the pink hexagonal region if all the relevant triangles point upward. Conversely, if at least one relevant triangle points downward, the clause gadget admits a PR.

3 Linear-time Algorithm for 2-trees with 2 Edge Lengths

This section is devoted to sketch the proof of the following theorem.

Theorem 3.1.

Let be an -vertex weighted -tree, where with . There is an -time algorithm to test whether admits a PR and to construct one, if any.

Let be a PR of . If , then the existence of implies that is an outerplanar graph, which is a linear-time testable property [19, 36, 46], and that is outerplanar. Since is -connected, it has a unique outerplane embedding  which can be constructed in linear time [19, 36, 37, 44, 46]. Hence, the problem reduces to the problem of testing whether has a PR that respects , which can be solved in linear time by Theorem 1.2.

Consider now the case in which . W.l.o.g. assume . Also, let . The realization of any -cycle of is one of the following types of triangles: i. an equilateral (small equilateral) triangle of side , ii. an equilateral (big equilateral) triangle of side , iii. an isosceles (tall isosceles) triangle with base and two sides of length , and iv. an isosceles (flat isosceles) triangle with base and two sides of length ; refer to Fig. 5.

Figure 5: The four possible types of triangles that represent the -cycles of .

Let and be two triangles realizing two different -cycles in a PR of . We say that is drawn inside if all the points of are points of and at least one vertex of is an interior point of . Let be the decomposition tree of . We have the following.

Lemma 1.

If is rooted at the -cycle with the largest sum of edge lengths and is drawn inside , then is a leaf triangle that shares a side with .

By Lemma 1, we assume that is rooted at a -cycle with the largest sum of edge lengths. The framework of is the subgraph obtained, in linear time, as follows: For each leaf triangle that can be drawn inside its parent or a sibling triangle , we remove from the vertex that does not share with , along with the two edges incident to . Note that i. is a -tree which may contain any type of triangle, ii. by Lemma 1, no triangle of is drawn inside any other triangle in any PR of , and iii. is rooted at a triangle of the framework. We test in linear time if is outerplanar and, in such case, we compute in linear time its unique outerplanar embedding . Exploiting Theorem 1.2, we test if admits a PR respecting . In the negative case admits no PR, otherwise we denote by the obtained PR of . Hereafter, we assume that exists.

Refer to Fig. 6, where we show an example of a PR of a weighted -tree. Let be the set of leaf triangles that were removed from to obtain . Observe that is formed by small equilateral and flat isosceles triangles. We show how to extend to a PR of by embedding the triangles of , if possible. Let denote a triangle in . The triangle has a side in that is incident to either two internal faces, or to an internal face and the outer face of ; hence has exactly two embedding choices. We say that has an internal embedding if it is embedded inside an internal face of , and an outer embedding otherwise. We say that induces a framework conflict if it has an outer embedding and is not planar; e.g., see the (dashed) outer embedding of in Fig. 6. Let and be two triangles of . We say that and induce an internal conflict if both have an internal embedding and is not planar; e.g., see the (dashed) internal embedding of and the (solid) internal embedding of . On the other hand, we say that and induce an external conflict if both have an outer embedding and is not planar; e.g., see the (dashed) outer embeddings of and .

Figure 6: (Left) A PR of a weighted -tree . Dashed triangles represent alternative embeddings for some -cycles, which would generate conflicts. (Right) The decomposition tree of rooted at the framework triangle . Triangles of are thick, and edges of the leaf triangles of that are not in  are thin.
Lemma 2.

Let and be two leaf triangles of that can both be drawn inside some triangle . The triangles and induce an internal conflict if at least one of the following properties holds true:

  1. and share an edge;

  2. and is a tall isosceles;

  3. .

The weighted -tree shown in Fig. 6 is such that , that is . By Property b of Lemma 2, two flat isosceles triangles can be drawn inside a big equilateral triangle without inducing conflicts, and any pair of leaf triangles (i.e., either two flat isosceles triangles or a flat isosceles triangle and a small equilateral triangle) induce an internal conflict inside a tall isosceles triangle. On the other hand, by Property a of Lemma 2 and the fact every triangle in has two embedding choices, for a PR of to exist, it must hold that no three triangles in share the same edge with a triangle of . If satisfies this requirement, then we say that is consistent.

Lemma 3.

If is consistent, then there are pairs of triangles sharing an edge with the same triangle of that induce an internal conflict.

Proof.

By Lemma 1, two triangles of that induce an internal conflict share an edge with a common triangle of . Since is consistent, there exist at most triangles in incident to . Hence, at most pairs of triangles sharing an edge with can induce an internal conflict. ∎

3.0.1 Extending to a PR of .

Next, we show how to test whether there is a choice of embeddings for the triangles in that yields a PR of . We distinguish two cases, based on whether or .

Case . In this case there are no flat isosceles triangles, and hence the setting is much simpler than the one depicted in Fig. 6. Every leaf triangle in is a small equilateral triangle whose parent is a tall isosceles triangle. We act as follows. For any two triangles that share an edge , we embed and in on opposite sides of . We embed every other leaf triangle in inside its parent triangle. At the end of this process we obtain, in linear time, a straight-line realization of , and a plane embedding  of .

Lemma 4.

has a PR if and only if is planar.

Proof sketch.

First, if two leaf triangles share an edge , then they lie on opposite sides of in any PR, since they would overlap otherwise. Second, each isosceles triangle may contain only one leaf triangle, since it has only one side of length . Hence, embedding a leaf triangle inside an isosceles triangle that shares an edge with cannot cause crossings, since does not induce internal conflicts. Therefore, a crossing in can only be caused by framework and external conflicts, which are, however, unavoidable. ∎

By Lemma 4, in order to test whether admits a PR, we can apply Theorem 1.1 to test in time whether is a PR of with embedding .

Case . In this case there might be flat isosceles triangles in which might or might not need to be embedded inside a framework triangle; in Fig. 6 such triangles are shaded blue. Also, more than one leaf triangle can be drawn inside the same framework triangle and this might or might not induce internal conflicts. Recall that the triangles in are small equilateral triangles and/or flat isosceles triangles.

We construct a 2SAT formula with a Boolean variable for each triangle . The values of are associated with the two possible embeddings of . If two triangles in induce a conflict for certain embeddings, then contains a clause that is True if and only if, at least one of the variables representing the triangles does not have the value corresponding to the embedding generating the conflict. Further, for each triangle that induces a framework conflict, contains a clause that is True if and only if, the variable representing the triangle does not have the value corresponding to an outer embedding. We test in time if is satisfiable [6]. In the positive case, we obtain a PR of from by embedding each triangle in according to the value of the corresponding variable. We reject the instance in the negative case.

It only remains to prove that the number of conflicts (and hence the size of ) is in and that such conflicts can be found in time. Detecting internal conflicts is fairly easy: i. by Lemma 1, triangles inducing an internal conflict are “close” in (they share an edge with a common framework triangle); ii. by Lemma 3, there exist leaf triangles sharing an edge with the same framework triangle; and iii. since is consistent, the maximum degree of is bounded by a constant. Hence, by traversing we compute in time the set of pairs of leaf triangles that induce an internal conflict.

Efficiently detecting external and framework conflicts is more challenging. Let be the subset of composed of those triangles that are incident to external edges of . We give an outer embedding to every triangle in . This results in a (possibly non-planar) straight-line realization of the graph . We now construct a bounded-degree graph whose nodes are associated with sets of vertices of so that the following properties hold: (a) Each node is associated with degree- vertices of that belong to triangles in , (b) if two triangles in induce an external conflict, then their degree- vertices are associated either with the same node or with adjacent nodes, and (c) if a triangle intersects an edge of (inducing a framework conflict), then the degree- vertex of  and the end-vertices of are associated either with the same node or with adjacent nodes. After constructing , the external and framework conflicts can be detected with a linear-time traversal of .

Figure 7: The straight-line realization of the graph , where each triangle in has an outer embedding. The triangles of are gray and those in are white. The leaf triangles in the dashed cell can induce conflicts only with the triangles in the eight highlighted cells surrounding such a cell.

The graph is defined as follows. Assume that the bottom-left corner of the bounding box of lies on the origin of the Cartesian axes. Consider a square grid covering the plane whose grid cells have side length ; see Fig. 7. Assign a label to each vertex of . Then  has a node for each label assigned to at least one vertex of , and two distinct nodes and are connected if and only if and . Note that has  edges since it has at most nodes and maximum degree 8.

We now prove that satisfies Property (a). The number of degree- vertices of that belong to triangles in and are associated with a node of , is upper bounded by the number of framework triangles that i. are contained in the union of the grid cell and its surrounding grid cells, and ii. share an edge with a triangle in . Note that is actually the number of big equilateral and tall isosceles triangles in such nine cells. Since the area of a big equilateral or tall isosceles triangle is at least the area of a small equilateral triangle, then is upper bounded by the ratio between the area of cells, which is , and the area of a small equilateral triangle, which is . Therefore, since , we have that .

We next sketch an algorithm to construct in time. The vertex set of is constructed by removing repetitions from the set of labels computed for the vertices in . To this aim, we compute a total order of the vertices of such that, for any two vertices and with and , we have if and only if i. or ii. and . Since is connected and any edge of has length at most , then for any label . Hence, we compute  in time with counting sort. Since vertices with the same label are consecutive in , repetitions can be removed with a linear scan of .

Figure 8: The edge set of the graph computed from the drawing in Fig. 7. The sets , and are shown in yellow, blue, green, and red, respectively.

The edge set of consists of four disjoint subsets , , , and . These sets contain the edges that connect nodes of corresponding to grid cells that are adjacent horizontally, vertically, along the main, and the minor diagonal, respectively; see Fig. 8. We appropriately define four orders , , , and of the nodes of such that nodes that are connected by an edge in , , , and are consecutive in the corresponding order. We compute the four sets of edges with a linear scan of the orders , , , and .

4 Maximal Outerplanar Graphs

In this section we study the FEPR problem for weighted outerplanar -trees, i.e., for weighted maximal outerplanar graphs. We prove the following theorems.

Theorem 4.1.

Let be an -vertex weighted maximal outerpath. There is an -time algorithm to test whether admits a PR and to construct one, if any.

Theorem 4.2.

Let be an -vertex weighted maximal outerpillar. There is an -time algorithm to test whether admits a PR and to construct one, if any.

Let be a weighted -tree and be an edge of . An -outer realization of is a PR of  such that is incident to the outer face. An -outer realization of is -optimal if, for every -outer realization of , there is a rigid transformation of such that the segment representing coincides with the one in and such that the interior of is a subset of the interior of .

We sketch the proof of Theorem 4.1; the proof of Theorem 4.2 uses similar ideas. Let be an -vertex weighted maximal outerpath; see Fig. 9. Let be the dual tree of the outerplane embedding of ; since is an outerpath, is a path . For , let be the -cycle of bounding the internal face of dual to and let be the unique, up to rigid transformation, PR of . For , let  be the edge of dual to .

Figure 9: A maximal outerpath .

Let be such that has maximum edge length sum. Let and be the subgraphs of composed of the cycles and , respectively. Since the length of is maximum, the restrictions of any PR of to and are -outer and -outer realizations, respectively. We prove that (resp. ) admits an -outer (resp. -outer) realization if and only if it admits an -optimal (resp. -optimal) realization. The core of the proof of Theorem 4.1 is an -time algorithm, called Outer-Checker, that constructs an -optimal (resp. an -optimal) realization of (resp.  of ) and its plane embedding, if any such a realization exists. If Outer-Checker concludes that both and admit a PR, then and (as well as their embeddings) can be combined in four ways with (see Fig. 10) and each resulting straight-line realization can be tested for planarity in time, by Theorem 1.1.

Figure 10: The four different ways to combine and with .

We describe how Outer-Checker works on . A key observation is that the restriction of any -optimal realization of to the graph composed of the cycles is an -optimal realization of . This allows Outer-Checker to work by induction on to decide whether has an -optimal realization . If , the graph is the cycle whose unique PR is -optimal. If , an -optimal realization of is constructed, if it exists, by combining  and  so that coincides in the two realizations. Three things might happen. First, if “fits” inside , as in Fig. 11(left), then the resulting PR is -optimal. Else, if “fits” outside , as in Fig. 11(middle), once cycles and lie on different sides of , then the resulting PR is -optimal. Otherwise, admits no -optimal realization, as in Fig. 11(right).

Figure 11: The three cases in the construction of . The triangle is bold. (Left) fits inside . (Middle) does not fit inside , but it fits outside . (Right) fits neither inside nor outside .

A naive implementation of Outer-Checker takes time. Indeed, for each of the inductive steps, one can check in time whether fits inside and/or outside using Theorem 1.1. We achieve total running time avoiding a planarity test at each step. For , we compute a “candidate” straight-line realization of , and only test for planarity the final realization . By “candidate” we mean that, if admits an -optimal realization, then is such a realization. In order to do that, Outer-Checker dynamically maintains the boundary of the convex hull of , which is guaranteed to actually be the boundary of the convex hull of if is planar. We compute by suitably exploiting a linear-time algorithm by Melkman [35], which incrementally computes the convex hull of a point set spanned by a planar path, provided that the points are given in the order of the path.

After constructing (which comes with a plane embedding), we test its planarity in time using Theorem 1.1. If the test is successful, is an -optimal PR of , otherwise no -optimal PR of exists. Each step of Outer-Checker takes time, except for the computation of the boundary . However, the computation of the boundaries takes time in total [35]. Hence, the overall running time of Outer-Checker is in .

5 2-Trees with Short Longest Path

In this section, we sketch a proof of the following theorem.

Theorem 5.1.

Let be an -vertex weighted -tree and let be the length of a longest path of . There is an -time algorithm to test whether admits a PR and to construct one, if any.

Theorem 5.1 is actually a corollary of a stronger theorem, which relates to SPQ-trees; these are a specialization for -trees of the well-known SPQR-trees [22, 29]. The SPQ-tree of is a tree that represents a recursive decomposition of into subgraphs along separation pairs. Each node of corresponds to a subgraph of , which is joined to the rest of the graph via two vertices and . Assume that is rooted at the neighbor of an edge of with maximum length and let be the height of . We design an -time algorithm that tests whether admits a PR and, in the positive case, constructs such a realization. Then Theorem 5.1 follows, as we can prove that .

The -time algorithm performs a visit of . When visiting a node , the algorithm either concludes that admits no PR, or constructs a set of “optimal” PRs of . Here, “optimal” means that, for every PR of , there is a PR whose interior is a subset of the interior of , after a suitable rigid transformation. The main ingredient needed for bounding the running time of the algorithm is the following. Suppose that consists of a “parallel” composition of graphs . Then “few” of the permutations of need to be considered when constructing . Namely, we can sort by increasing length of the -edge paths between and they contain. Then, in any PR of , the graph is either “to the left” or “to the right” of all the graphs ; further, whether a PR of is optimal only depends on the choice of the “leftmost” and “rightmost” graphs among (and on their drawings, which are taken from ), and not on the permutation of the remaining graphs, as long as planarity is ensured.

6 Open problems

Our results on the FEPR problem when is a -tree motivate the study of several open questions:

  • Determine the computational complexity of the FEPR problem for weighted -trees with prescribed edge lengths (we proved it is linear-time solvable for and -hard for ).

  • Determine if it is possible to improve our  algorithm for general -trees to an  algorithm.

  • Study the computational complexity of the FEPR problem for general maximal outerplanar graphs.

  • Study the computational complexity of the FEPR problem for graphs with treewidth and for -degenerate planar graphs; both these classes generalize the one of -trees.

References

  • [1] Abel, Z., Demaine, E.D., Demaine, M.L., Eisenstat, S., Lynch, J., Schardl, T.B.: Who needs crossings? Hardness of plane graph rigidity. In: Fekete, S.P., Lubiw, A. (eds.) 32nd International Symposium on Computational Geometry (SoCG ’16). LIPIcs, vol. 51, pp. 3:1–3:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2016). https://doi.org/10.4230/LIPIcs.SoCG.2016.3
  • [2] Alegría, C., Borrazzo, M., Da Lozzo, G., Di Battista, G., Frati, F., Patrignani, M.: Planar straight-line realizations of 2-trees with prescribed edge lengths. CoRR abs/2108.09483 (2021), https://arxiv.org/abs/2108.09483
  • [3] Alon, N., Feldheim, O.N.: Drawing outerplanar graphs using three edge lengths. Comput. Geom. 48(3), 260–267 (2015). https://doi.org/10.1016/j.comgeo.2014.10.006
  • [4] Angelini, P., Da Lozzo, G., Di Bartolomeo, M., Di Battista, G., Hong, S., Patrignani, M., Roselli, V.: Anchored drawings of planar graphs. In: Duncan, C.A., Symvonis, A. (eds.) 22nd International Symposium on Graph Drawing (GD ’14). Lecture Notes in Computer Science, vol. 8871, pp. 404–415. Springer (2014). https://doi.org/10.1007/978-3-662-45803-7_34
  • [5] Angelini, P., Da Lozzo, G., Di Battista, G., Di Donato, V., Kindermann, P., Rote, G., Rutter, I.: Windrose planarity: Embedding graphs with direction-constrained edges. ACM Trans. Algorithms 14(4), 54:1–54:24 (2018). https://doi.org/10.1145/3239561
  • [6] Aspvall, B., Plass, M.F., Tarjan, R.E.: A linear-time algorithm for testing the truth of certain quantified boolean formulas. Information Processing Letters 8(3), 121–123 (1979). https://doi.org/10.1016/0020-0190(79)90002-4
  • [7] de Berg, M., Khosravi, A.: Optimal binary space partitions for segments in the plane. Int. J. Comput. Geom. Appl. 22(3), 187–206 (2012), http://www.worldscinet.com/doi/abs/10.1142/S0218195912500045
  • [8] Berger, B., Kleinberg, J.M., Leighton, F.T.: Reconstructing a three-dimensional model with arbitrary errors. J. ACM 46(2), 212–235 (1999). https://doi.org/10.1145/301970.301972
  • [9] Blazej, V., Fiala, J., Liotta, G.: On the edge-length ratio of 2-trees. In: Auber, D., Valtr, P. (eds.) 28th International Symposium on Graph Drawing and Network Visualization (GD ’20). Lecture Notes in Computer Science, vol. 12590, pp. 85–98. Springer (2020). https://doi.org/10.1007/978-3-030-68766-3_7
  • [10] Borrazzo, M., Frati, F.: On the planar edge-length ratio of planar graphs. J. Comput. Geom. 11(1), 137–155 (2020), https://journals.carleton.ca/jocg/index.php/jocg/article/view/470
  • [11] Brandes, U., Schlieper, B.: Angle and distance constraints on tree drawings. In: Kaufmann, M., Wagner, D. (eds.) 14th International Symposium on Graph Drawing (GD ’06). Lecture Notes in Computer Science, vol. 4372, pp. 54–65. Springer (2006). https://doi.org/10.1007/978-3-540-70904-6_7
  • [12] Cabello, S., Demaine, E.D., Rote, G.: Planar embeddings of graphs with specified edge lengths. Journal of Graph Algorithms and Applications 11(1), 259–276 (2007). https://doi.org/10.7155/jgaa.00145
  • [13] Capkun, S., Hamdi, M., Hubaux, J.: GPS-free positioning in mobile ad hoc networks. Clust. Comput. 5(2), 157–167 (2002). https://doi.org/10.1023/A:1013933626682
  • [14] Chaplick, S., Kindermann, P., Löffler, A., Thiele, F., Wolff, A., Zaft, A., Zink, J.: Recognizing stick graphs with and without length constraints. J. Graph Algorithms Appl. 24(4), 657–681 (2020). https://doi.org/10.7155/jgaa.00524
  • [15] Chazelle, B.: Triangulating a simple polygon in linear time. Discret. Comput. Geom. 6, 485–524 (1991). https://doi.org/10.1007/BF02574703
  • [16] Connelly, R.: On generic global rigidity. In: Gritzmann, P., Sturmfels, B. (eds.) Proceedings of a DIMACS Workshop on Applied Geometry And Discrete Mathematics. DIMACS Series in Discrete Mathematics and Theoretical Computer Science, vol. 4, pp. 147–156. DIMACS/AMS (1990). https://doi.org/10.1090/dimacs/004/11
  • [17] Coullard, C.R., Lubiw, A.: Distance visibility graphs. Int. J. Comput. Geom. Appl. 2(4), 349–362 (1992). https://doi.org/10.1142/S0218195992000202
  • [18] Da Lozzo, G., Devanny, W.E., Eppstein, D., Johnson, T.: Square-contact representations of partial 2-trees and triconnected simply-nested graphs. In: Okamoto, Y., Tokuyama, T. (eds.) 28th International Symposium on Algorithms and Computation (ISAAC ’17). LIPIcs, vol. 92, pp. 24:1–24:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2017). https://doi.org/10.4230/LIPIcs.ISAAC.2017.24
  • [19] Deng, T.: On the implementation and refinement of outerplanar graph algorithms. Master’s thesis, University of Windsor, Ontario, Canada (2007)
  • [20] Devillers, O., Liotta, G., Preparata, F.P., Tamassia, R.: Checking the convexity of polytopes and the planarity of subdivisions. Comput. Geom. 11(3-4), 187–208 (1998). https://doi.org/10.1016/S0925-7721(98)00039-X
  • [21] Di Battista, G., Eades, P., Tamassia, R., Tollis, I.G.: Graph Drawing: Algorithms for the Visualization of Graphs. Prentice-Hall (1999)
  • [22] Di Battista, G., Tamassia, R.: On-line planarity testing. SIAM J. Comput. 25(5), 956–997 (1996). https://doi.org/10.1137/S0097539794280736
  • [23] Di Battista, G., Tamassia, R., Tollis, I.G.: Constrained visibility representations of graphs. Inf. Process. Lett. 41(1),  1–7 (1992). https://doi.org/10.1016/0020-0190(92)90072-4
  • [24] Di Giacomo, E., Didimo, W., Liotta, G.: Radial drawings of graphs: Geometric constraints and trade-offs. J. Discrete Algorithms 6(1), 109–124 (2008). https://doi.org/10.1016/j.jda.2006.12.007
  • [25] Di Giacomo, E., Hancl, J., Liotta, G.: 2-colored point-set embeddings of partial 2-trees. In: Uehara, R., Hong, S., Nandy, S.C. (eds.) 15th International Conference and Workshops on Algorithms and Computation (WALCOM ’21). Lecture Notes in Computer Science, vol. 12635, pp. 247–259. Springer (2021). https://doi.org/10.1007/978-3-030-68211-8_20
  • [26] Eades, P., Wormald, N.C.: Fixed edge-length graph drawing is NP-hard. Disc. Appl. Math. 28(2), 111–134 (1990). https://doi.org/10.1016/0166-218X(90)90110-X
  • [27] Geelen, J., Guo, A., McKinnon, D.: Straight line embeddings of cubic planar graphs with integer edge lengths. J. Graph Theory 58(3), 270–274 (2008). https://doi.org/10.1002/jgt.20304
  • [28] Goodrich, M.T., Johnson, T.: Low ply drawings of trees and 2-trees. In: Durocher, S., Kamali, S. (eds.) Proceedings of the 30th Canadian Conference on Computational Geometry (CCCG ’18). pp. 2–10 (2018), http://www.cs.umanitoba.ca/%7Ecccg2018/papers/session1A-p1.pdf
  • [29] Gutwenger, C., Mutzel, P.: A linear time implementation of SPQR-trees. In: Marks, J. (ed.) 8th International Symposium on Graph Drawing (GD ’00). LNCS, vol. 1984, pp. 77–90 (2000). https://doi.org/10.1007/3-540-44541-2_8
  • [30] Hendrickson, B.: Conditions for unique graph realizations. SIAM J. Comput. 21(1), 65–84 (1992). https://doi.org/10.1137/0221008
  • [31] Hendrickson, B.: The molecule problem: Exploiting structure in global optimization. SIAM J. Optim. 5(4), 835–857 (1995). https://doi.org/10.1137/0805040
  • [32] Jackson, B., Jordán, T.: Connected rigidity matroids and unique realizations of graphs. J. Comb. Theory, Ser. B 94(1), 1–29 (2005). https://doi.org/10.1016/j.jctb.2004.11.002
  • [33] Lenhart, W., Liotta, G., Mondal, D., Nishat, R.I.: Planar and plane slope number of partial 2-trees. In: Wismath, S.K., Wolff, A. (eds.) 21st International Symposium on Graph Drawing (GD ’13). Lecture Notes in Computer Science, vol. 8242, pp. 412–423. Springer (2013). https://doi.org/10.1007/978-3-319-03841-4_36
  • [34] Lubiw, A., Miltzow, T., Mondal, D.: The complexity of drawing a graph in a polygonal region. In: Biedl, T.C., Kerren, A. (eds.) 26th International Symposium on Graph Drawing and Network Visualization (GD ’18). Lecture Notes in Computer Science, vol. 11282, pp. 387–401. Springer (2018). https://doi.org/10.1007/978-3-030-04414-5_28
  • [35] Melkman, A.A.: On-line construction of the convex hull of a simple polyline. Inf. Process. Lett. 25(1), 11–12 (1987). https://doi.org/10.1016/0020-0190(87)90086-X
  • [36] Mitchell, S.L.: Linear algorithms to recognize outerplanar and maximal outerplanar graphs. Inf. Process. Lett. 9(5), 229–232 (1979). https://doi.org/10.1016/0020-0190(79)90075-9
  • [37] Moran, S., Wolfstahl, Y.: One-page book embedding under vertex-neighborhood constraints. SIAM J. Discrete Math. 3(3), 376–390 (1990). https://doi.org/10.1137/0403034
  • [38] Priyantha, N.B., Chakraborty, A., Balakrishnan, H.: The cricket location-support system. In: Pickholtz, R.L., Das, S.K., Cáceres, R., Garcia-Luna-Aceves, J.J. (eds.) 6th Annual International Conference on Mobile Computing and Networking (MOBICOM ’00). pp. 32–43. ACM (2000). https://doi.org/10.1145/345910.345917
  • [39] Rengarajan, S., Madhavan, C.E.V.: Stack and queue number of 2-trees. In: Du, D., Li, M. (eds.) First Annual International Conference on Computing and Combinatorics (COCOON ’95). Lecture Notes in Computer Science, vol. 959, pp. 203–212. Springer (1995). https://doi.org/10.1007/BFb0030834
  • [40] Savarese, C., Rabaey, J., Beutel, J.: Location in distributed ad-hoc wireless sensor networks. In: 2001 IEEE International Conference on Acoustics, Speech, and Signal Processing. Proceedings. vol. 4, pp. 2037–2040 (2001). https://doi.org/10.1109/ICASSP.2001.940391
  • [41] Saxe, J.: Embeddability of Weighted Graphs in K-space is Strongly NP-hard. CMU-CS-80-102, Carnegie-Mellon University, Department of Computer Science (1980), https://books.google.it/books?id=vClAGwAACAAJ
  • [42] Schaefer, M.: Realizability of graphs and linkages. In: Pach, J. (ed.) Thirty Essays on Geometric Graph Theory, pp. 461–482. Springer New York, New York, NY (2013). https://doi.org/10.1007/978-1-4614-0110-0_24
  • [43] Silveira, R.I., Speckmann, B., Verbeek, K.: Non-crossing paths with geographic constraints. Discret. Math. Theor. Comput. Sci. 21(3) (2019), http://dmtcs.episciences.org/5495
  • [44] Syslo, M.M.: Characterizations of outerplanar graphs. Discret. Math. 26(1), 47–53 (1979). https://doi.org/10.1016/0012-365X(79)90060-8
  • [45] Tamassia, R.: Constraints in graph drawing algorithms. Constraints An Int. J. 3(1), 87–120 (1998). https://doi.org/10.1023/A:1009760732249
  • [46] Wiegers, M.: Recognizing outerplanar graphs in linear time. In: Tinhofer, G., Schmidt, G. (eds.) WG ’86. LNCS, vol. 246, pp. 165–176. Springer (1987)
  • [47] Yemini, Y.: Some theoretical aspects of position-location problems. In: 20th Annual Symposium on Foundations of Computer Science (FOCS ’79). pp. 1–8. IEEE Computer Society (1979). https://doi.org/10.1109/SFCS.1979.39