## An SPQR-Tree-Like Embedding Representation for Upward Planarity

Guido Br¨ckner , Markus Himmel , and Ignaz Rutter u 1 1 2

1 Karlsruhe Institute of Technology 2 University of Passau

Abstract. The SPQR-tree is a data structure that compactly represents all planar embeddings of a biconnected planar graph. It plays a key role in constrained planarity testing.

We develop a similar data structure, called the UP-tree, that compactly represents all upward planar embeddings of a biconnected single-source directed graph. We demonstrate the usefulness of the UP-tree by solving the upward planar embedding extension problem for biconnected singlesource directed graphs.

## 1 Introduction

A natural extension of planarity to directed graphs (digraphs) is to consider planar drawings where each edge is drawn as a y -monotone curve. Such drawings are called upward planar , and a graph admitting an upward planar drawing is upward planar . A planar (combinatorial) embedding E of a graph G is an upward planar embedding if G has an upward planar drawing whose (combinatorial) embedding is E . Whereas undirected graphes can be tested for planarity in linear time, upward planarity testing is NP -complete in general, though there are efficient algorithms for graphs with a single source [23, 4] and graphs with a fixed embedding [3]. In the special case of st -graphs , i.e., graphs with a single source s and a single sink t with s and t on the same face, planar embeddings are the same as the upward planar embeddings [27], and hence upward planarity and planarity are equivalent.

A related but different planarity notion for digraphs is level planarity , where the vertices of the graph have fixed levels that correspond to horizontal lines in the drawing. The task is to order the vertices on each level so that the drawing is planar. Level planarity can be tested in linear time [25] by a quite involved algorithm, or in quadratic time by several simpler algorithms [10, 28, 19].

In a constrained embedding problem, one seeks a planar embedding of a given graph that satisfies additional constraints. Typical examples are simultaneous embeddings with fixed edges [5], cluster planarity [18], constraints on the face sizes [12, 13], optimizing the depth of the embedding [2] and optimizing the bends in an orthogonal drawing [6, 7, 17]. One of the most prominent examples of the last years is the partial drawing extension problem, which asks whether a given drawing of a subgraph can be extended to a planar drawing of the whole graph.

The partial embedding extension problem is strongly related, here the input is a planar embedding of a subgraph and the question is whether it can be extended to a planar embedding of the whole graph. For undirected planar graphs the two problems are equivalent and can be solved in linear time [1, 24].

One of the key tools for all of these applications is the SPQR-tree, which compactly represents all planar embeddings of a biconnected planar graph G and breaks down the complicated task of choosing a planar embedding of G into simpler independent embedding choices of its triconnected components [26, 29, 22, 14-16]. In fact, these embeddings are either uniquely determined up to reversal, or they consist in arbitrarily choosing a permutation of parallel edges between two pole vertices. The common approach for attacking the abovementioned constrained embedding problems is to project the constraints on the global embedding to local constraints on the skeleton embeddings that can then be satisfied by consistent local choices. While the implementation details are often highly technical and non-trivial, the approach has proven to be extremely successful.

In comparison, relatively little is known about constrained planarity problems for planarity notions of digraphs. Br¨ckner and Rutter [9] study the problem of u extending a given partial drawing of a level graph and Da Lozzo et al. [11] study the same question for upward planarity. In general, extending a given partial upward planar drawing requires to determine an upward planar embedding that (i) extends the embedding of the partial drawing, and (ii) admits a drawing that extends the given drawing. Here step (i) requires solving the embedding extension problem but with additional constraints that ensure that a drawing extension is feasible. It is worth noting that for upward planarity the embedding extension problem and the drawing extension problem are distinct; Da Lozzo et al. show that, generally, even if an upward planar embedding of the whole graph is given, it is NP-complete to decide whether it can be drawn such that it extends a given partial drawing [11, Theorem 2]. On the positive side, they present tractability results for directed paths and cycles with a given upward planar embedding, and for st -graphs. The restriction to st -graphs allows a relatively simple characterization of the upward planar embeddings that extend the given partial drawings [11, Lemma 6], which yields an O n ( log n )-time algorithm for step (ii). For step (i), Da Lozzo et al. exploit the fact that for st -graphs, the choice of an upward planar embedding is equivalent to choosing a planar embedding, and hence the SPQR-tree allows to efficiently search for an upward planar embedding satisfying the additional constraints required by condition (ii).

In this paper, we seek to generalize the approach of Da Lozzo et al. to biconnected single-source graphs. The key difficulty in this case is that neither do we have access to all the upward planar embeddings of such graphs, nor is it known what the necessary and sufficient conditions are for an upward planar embedding to admit a drawing that extends a given subdrawing.

Contribution and Outline. We construct a novel SPQR-tree-like embedding representation, called the UP-tree, that represents exactly the upward planar embeddings of a biconnected single-source graph. As in SPQR-trees, the embed- ding choices in the UP-tree are broken down into independent embedding choices of skeleton graphs that are either unique up to reversal or allow to arbitrarily permute parallel edges between two poles. As such, UP-trees can take the role of SPQR-trees for constrained embedding problems in upward planarity, making them a powerful tool with a broad range of applications. We demonstrate this by giving an quadratic-time algorithm for the upward planar embedding extension problem for biconnected single-source graphs.

After introducing some preliminaries in Section 2, we review the results on decomposing upward planar single-source digraphs due to Hutton and Lubiw [23] in Section 3. We proceed to extend this idea from a single decomposition to decomposition trees. Proofs of statements marked with a star ( glyph[star] ) can be found in the appendix. In Section 4, we define the UP-tree and in Section 5 we use it to solve the partial upward embedding extension problem.

## 2 Preliminaries

Let G = ( V, E ) be a connected simple undirected graph. A cutvertex of G is a vertex whose removal disconnects G . We say that G is biconnected if it has no cutvertex. We say that { u, v } is a cutpair if there are connected subgraphs H ,H 1 2 of G with H 1 ∪ H 2 = G and H 1 ∩ H 2 = { u, v } . If a graph has no cutpair it is triconnected .

↦

Decomposition Trees. Assume that G is biconnected. A decomposition along a cutpair { u, v } of G is defined as follows. Let µ , µ 1 2 be two nodes connected by an undirected arc ( µ , µ 1 2 ). Node µ i is equipped with a multigraph H i ∪ { ( u, v ) } called its skeleton denoted by skel( µ i ). The newly added edge ( u, v ) is a virtual edge and corresponds to µ 2 in µ 1 and to µ 1 in µ 2 , respectively. This is formalized as functions corr µ 1 : ( u, v ) → µ 2 and corr µ 2 : ( u, v ) → µ 1 . If there exists a cutpair { u , v ′ ′ } in skel( µ i ) and we may once again decompose along that cutpair. By repeating this process we obtain an unrooted decomposition tree T .

↦

Let a = ( µ, ν ) be an arc of T . Then skel( µ ) and skel( ν ) share two vertices u, v and the existence of a can be traced back to a decomposition along u, v . We then say that the poles of µ in ν are u and v . When ν is clear from the context we also simply refer to u and v as the poles of µ .

A decomposition can be reverted by contracting an arc ( µ, ν ) of T and merging the skeletons of µ and ν . To merge skel( µ ) and skel( ν ), remove from skel( µ ) the virtual edge e with corr µ ( e ) = ν and from skel( ν ) the virtual edge e ′ with corr ν ( e ′ ) = µ and set the union of these two graphs as the skeleton of the node obtained by contracting ( µ, ν ) in T . This is a composition along ( µ, ν ).

Consider an arc a = ( µ, ν ) of T . Removing a from T separates T into two subtrees T µ and T ν containing µ and ν , respectively. Define the pertinent graph of µ in ν as the skeleton of the single node obtained by contracting all arcs in T µ . Again, when ν is clear from the context we simply refer to this graph as the pertinent graph of µ and denote it by G µ ( ).

Rooted Decomposition Trees and Planar Embeddings. Throughout this paper let an embedding of a graph denote a rotation system together with an outer face. Decomposition trees can be used to decompose not only a graph, but also an embedding of it. Consider a biconnected graph G together with a planar embedding E . Let e glyph[star] be an edge of G incident to the outer face of E . Further, let T be a decomposition tree of G rooted at a node whose skeleton contains e glyph[star] . Equip the skeleton of each node µ of T with an embedding as follows. The embedding of skel( µ ) is obtained from E by contracting for each virtual edge ( u, v ) of skel( µ ) the pertinent graph G (corr µ ( u, v )) into a single edge. These embeddings of the skeletons of the nodes of T are referred to as a configuration . The fact that e glyph[star] is incident to the outer face gives two properties. First, the edge e glyph[star] lies on the outer face of the skeleton of the root node of T . Second, every non-root node ν of T has some parent node µ and the virtual edge e with corr ν ( e ) = µ lies on the outer face of skel( ν ). We extend our notion of a configuration to any set of embeddings of the skeletons of the nodes of T that fulfills these two properties.

Recall that decomposition trees allow for (graph) composition along arcs. We can also compose embeddings. When contracting an arc ( µ, ν ), we merge skel( µ ) and skel( ν ) as described above. Obtain the embedding of the merged skeleton by replacing the occurrences of the virtual edge in the rotation system around its poles by the appropriate rotation system in the embedding of the other skeleton. This means that G together with a planar embedding can be decomposed into a decomposition tree T together with a configuration. And symmetrically, T together with any configuration can be composed into a planar embedding of G .

SPQR-Trees. As described in the previous paragraph, decomposition trees separate independent choices in finding planar embeddings of a graph. We may either choose an embedding of the entire graph, which is generally very complex, or we may decompose the graph into smaller skeletons, independently choose embeddings of these skeletons and compose them into an embedding of the entire graph. In this sense decomposition trees implement a tradeoff between making few complex choices or many simple choices.

The SPQR-tree is a decomposition tree that makes this tradeoff in favor of many simple choices. SPQR-trees have four kinds of nodes, all of whose skeletons offer only few and well-structured embedding choices. (i) R-nodes are nodes whose skeleton is triconnected. Such skeletons have a unique planar embedding up to flipping. (ii) S-nodes are nodes whose skeleton is a simple cycle. Such skeletons offer no embedding choice (recall that the outer face is fixed by the rooting). Adjacent S-nodes are contracted into one larger S-node, i.e., an S-node whose skeleton is a larger simple cycle. This means that in SPQR-trees no two S-nodes are adjacent. (iii) P-nodes are nodes whose skeleton is a multigraph that consists of two vertices connected by three or more edges. The order of these edges may be arbitrarily permuted. Again, adjacent P-nodes are contracted into one larger P-node, i.e., no two P-nodes are adjacent. (iv) Q-nodes are nodes whose skeleton consists of two vertices connected by two edges, namely one virtual edge and one non-virtual edge. They offer no embedding choice. Note that only the skeletons

Fig. 1. The four markers used by Hutton and Lubiw. The markers are digraphs; in the figure, all edges are directed upward.

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00352v1-figure-e85d7e2b-5379-4473-a230-5efd5476871e.jpg)

of Q-nodes contain non-virtual edges. See Fig. 3 (a) and (b) for a graph and its SPQR-tree decomposition.

## 3 Decomposition Trees and Upward Planar Embeddings

Recall from the previous section that for biconnected graphs we can decompose any planar embedding into planar embeddings of the skeletons of a decomposition tree; and symmetrically, we can compose a planar embedding of the whole graph from planar embeddings of the skeletons. In this section we find a similar relationship between upward planar embeddings of a biconnected single-source digraph G and upward planar embeddings of the skeletons of a suitably-defined decomposition tree of G .

## 3.1 Decompositions and Upward Planar Embeddings

In this section we review the decomposition result of Hutton and Lubiw and formulate the interface between their result and our results.

Let G be a biconnected single-source digraph together with an upward planar embedding E . Further, let e glyph[star] denote the edge around the source of G that is leftmost in E . Now let H ,H 1 2 be two subgraphs of G with (i) H 1 ∪ H 2 = G , (ii) H 1 ∩ H 2 = { u, v } , (iii) e glyph[star] ∈ H 1 and (iv) H 1 \{ u, v } or H 2 \{ u, v } is connected.

Hutton and Lubiw construct two graphs H ′ 1 and H ′ 2 from H 1 and H 2 by including one of the markers shown in Fig. 1. Markers are simple digraphs with two vertices u, v that connect the marker to the remaining graph. The marker in H ′ 1 is designed to represent H 2 and the marker in H ′ 2 is designed to represent H 1 . If there exists a directed path from u to v we say that u dominates v and write u &lt; v for short. Otherwise u and v are incomparable . The vertex v is a source if it has no incoming edges in G , a sink if it has no outgoing edges in G and an internal vertex if it has both incoming and outgoing edges in G . Markers are determined based on whether u &lt; v and whether v is a source, sink or internal vertex in H 1 and H 2 : If u and v are incomparable in G , set H ′ 1 = H 1 ∪ M t and H ′ 2 = H 2 ∪ M s . Otherwise, assume u &lt; v . Define H ′ 1 as follows. If v is a source in H 2 set H ′ 1 = H 1 ∪ M t . If v is a sink in H 2 set H ′ 1 = H 1 ∪ M uv . Otherwise v is an internal vertex in H 2 and we set H ′ 1 = H 1 ∪ M uvt . Define H ′ 2 as follows. If v is a source in H 1 set H ′ 2 = H 2 ∪ M t , otherwise set H ′ 2 = H 2 ∪ M uv . See Fig. 4 in the appendix for example decompositions.

Recall that decomposition trees of planar graphs allow for (de-)composition of planar embeddings. Hutton and Lubiw provide a similar property for the graphs G,H ′ 1 and H ′ 2 .

Theorem 1 ( , implicit in [23]). glyph[star] Let E be an upward planar embedding of G with e glyph[star] as the leftmost edge around s . Then E induces upward planar embeddings F 1 , F 2 of H ,H ′ 1 ′ 2 , respectively with the following properties. In F 1 , e glyph[star] is the leftmost edge around the source of H ′ 1 . In F 2 , the edges of the marker are leftmost around the source of H ′ 2 . Conversely, if F 1 and F 2 are upward planar embeddings of H ′ 1 and H ′ 2 such that e glyph[star] is the leftmost edge around the source of H ′ 1 and the edges of the marker are leftmost around the source of H ′ 2 , then the composition of these embeddings is upward planar.

Hutton and Lubiw do not explicitly state Theorem 1. Instead, Theorems 6.5, 6.7, 6.8 and 6.9 in [23] discuss the same situation as Theorem 1, but are only concerned with upward planarity, not with the embeddings involved. See the appendix for a detailed discussion.

## 3.2 Decomposition Trees and Upward Planar Embeddings

The approach of Hutton and Lubiw is to decompose a single-source digraph G into two smaller single-source digraphs G , G 1 2 and use Theorem 1 to translate upwardplanarity testing of G to upward-planarity testing of two smaller instances H ,H ′ 1 ′ 2 . Observe that the markers and the replacement rules are defined so that both H ′ 1 and H ′ 2 are single-source digraphs. This means that H ′ 1 and H ′ 2 can be recursively decomposed. Note that in the context of connectivity markers are treated simply as edges, i.e., markers are not decomposed further. When a graph cannot be further decomposed it is triconnected and therefore has a unique planar embedding which can be tested for upward planarity in linear time using the algorithm of Bertolazzi et al. [4]. In the context of upward planarity testing the full marker graph is considered. Upward planar embeddings of H ′ 1 and H ′ 2 can then be composed to an upward planar embedding of G . In the context of embedding composition markers are again treated simply as edges. In particular, it does not matter whether the clockwise order of the edges incident to u in M uvt is ( u, v ) , ( u, x , ) ( u, w t ) or ( u, w t ) , ( u, x , ) ( u, v ).

We use a different approach. Instead of testing H ′ 1 and H ′ 2 for upward-planarity separately, we manage them as the skeletons of two nodes in a decomposition tree T . Note that Theorem 1 requires H 1 \ { u, v } or H 2 \ { u, v } to be connected. We call such a decomposition maximal . We then decompose these skeletons further, which grows the decomposition tree. A maximal-decomposition tree is a decomposition tree obtained by performing only maximal decompositions. A configuration equips the skeleton of each node in the tree with an upward planar embedding. In this embedding, e glyph[star] or the marker that represents the component that contains e glyph[star] must be incident to the outer face and leftmost around the source of the skeleton. See Fig. 3 (c) for an example of a maximal-decomposition tree. Applying Theorem 1 at each decomposition step gives the following.

Theorem 2. Let G be a biconnected graph with a single source s , let e glyph[star] be an edge of G incident to s and let T denote a maximal-decomposition tree of G . Then the upward-planar embeddings of G in which e glyph[star] is the leftmost edge around s correspond bijectively to the configurations of T .

We could use Theorem 2 directly to represent all upward planar embeddings of a graph. But we also show that decomposition trees are uniquely defined by the decompositions that are executed, but not by the order of these decompositions. This means that just like we can talk about the SPQR-tree decomposition for a graph we will be able to talk about the UP-tree decomposition. The benefit of this is that we can use a UP-tree decomposition to determine that some constrained representation problem has no solution without having to consider other conceivable UP-tree decompositions.

To prove uniqueness, we show that the order of the decompositions is irrelevant. We then apply the decompositions as defined by the SPQR-tree decomposition, which is unique, and obtain the unique UP-tree decomposition. To this end, we prove that the marker replacement rules do not depend on the order of the decompositions. Recall that the marker replacement rules depend on vertex dominance and the local neighborhood of certain vertices. We prove Lemma 1, which states that decompositions preserve vertex dominance and Lemma 2, which states that decompositions preserve the local neighborhood of certain vertices.

Lemma 1 ( ). glyph[star] Let G be a biconnected single-source digraph and let H ,H ′ 1 ′ 2 denote the result of decomposing along a cutpair { u, v } of G . For i = 1 2 , and any two vertices x, y in H ′ i it is x &lt; y in H ′ i if and only if x &lt; y in G .

Lemma 2 ( ). glyph[star] Let G be a biconnected single-source digraph and let H ,H ′ 1 ′ 2 denote the result of decomposing along a cutpair { u, v } of G . For i = 1 2 , let { x, y } denote a cutpair of H ′ i that separates H ′ i into F 1 and F 2 and G into D 1 and D 2 . Then y is a source in F 1 if and only if y is a source in D 1 . Moreover, y is a source, sink or internal vertex in F 2 if and only if y is a source, sink or internal vertex in D 2 , respectively.

Lemmas 1 and 2 immediately give the following.

Lemma 3. Let G be a biconnected graph with a single source s , let e glyph[star] be an edge of G incident to s and let T denote a decomposition tree of G . Then T relative to e glyph[star] is uniquely defined by the decompositions regardless of their order.

A configuration of T can be computed as follows. Recall that all skeletons are single-source digraphs. We may therefore run the algorithm due to Bertolazzi et al. [4] on each skeleton. Observe that in a configuration of T relative to e glyph[star] the skeleton of each node µ of T must be embedded so that e glyph[star] or the marker that corresponds to the component that contains e glyph[star] must appear leftmost around the source of skel( µ ). We can enforce this by rooting the decomposition tree constructed by the algorithm of Bertolazzi et al. at the Q-node corresponding to e glyph[star] or an edge of the marker that corresponds to the component that contains e glyph[star] .

## 4 UP-Trees

We are ready to construct the UP-tree, a maximal-decomposition tree designed to mimic the SPQR-tree. Let G be a biconnected directed single-source graph. The base of the construction is the decomposition tree obtained by performing the same set of decompositions as in the construction of the SPQR-tree decomposition of the underlying undirected graph of G . We then perform two additional steps. The first step is to split P-nodes into chains of smaller nodes. The second step is to determine whether skeletons of R-nodes can be reversed and to contract some arcs of the decomposition tree. In both steps, we reason about upward planarity of fixed embeddings with the following lemma due to Bertolazzi et al. [4].

Let G be a biconnected single-source graph together with a planar embedding. The face-sink graph F of G has the vertices and faces of G as its vertices. It contains an undirected edge { f, v } if f is a face of G and v is a vertex of G that is incident to f and both edges incident to v and f are directed towards v . The following lemma implies a linear-time algorithm that tests an embedding for upward planarity and outputs for each face whether it can be the outer face.

Lemma 4 ([4, Theorem 1]). Let G be an embedded planar single-source digraph and let h be a face of G . Graph G has an upward planar drawing that preserves the embedding with outer face h if and only if all of the following is true: (i) graph F is a forest (ii) there is exactly one tree T of F with no internal vertices of G , while the remaining trees have exactly one internal vertex; (iii) h is in tree T ; and (iv) the source of G is in the boundary of h .

## 4.1 P-Node Splits

In SPQR-trees, the edges of P-nodes may be arbitrarily permuted. In decomposition trees for upward planar graphs there are stricter rules for the ordering of the markers in P-nodes. In this section, we determine these rules and find that by breaking up the P-nodes into chains of smaller nodes we obtain a decomposition tree for upward planarity whose P-nodes exhibit the same behavior as in SPQRtrees, i.e., their edges may be arbitrarily permuted. The idea is that certain kinds of markers must appear consecutively.

First, we argue that all M uv markers must appear consecutively. To see this, note that if M s appears between two M uv markers then the outer face is not incident to the source of the skeleton, which is vertex w s of M s . If a marker M with M = M t or M = M uvt appears between two M uv markers then the face incident to w t of M and a marker M uv is not connected to the outer face and not connected to an internal vertex. In all cases the conditions from Lemma 4 are violated.

Moreover, all M uv and M uvt markers must appear consecutively. To see this, note that if M t appears between two markers M uv or M uvt the vertex w t of M t cannot be connected to an internal vertex or the outer face and apply Lemma 4.

These observations motivate the following restructuring of P-nodes. Let λ denote a P-node obtained from the SPQR-tree. The parent marker in skel( λ ) is the marker that corresponds to the parent node of λ . If the parent marker in skel( λ ) is M s all other markers must be M t . In this case these markers can already be arbitrarily permuted and nothing further needs to be shown. Otherwise the parent marker is M t or M u (recall that by definition of H ′ 2 the parent marker

Fig. 2. Splitting a P-node λ obtained from the SPQR-tree (a) into a chain of smaller nodes µ, ν, ξ (b). The bold marker represents the component that contains the edge e glyph[star] .

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00352v1-figure-51872143-2afc-4ed2-84a2-8daecb5b03fe.jpg)

is not M uvt ). See Fig. 2 (a) where the parent marker is M t (the case for M u is similar). Because all M uv and M uvt markers must appear consecutively, we create a new P-node µ that contains the parent marker of skel( λ ), all M t markers of skel( λ ) and a single M uvt marker to represent all M uv and M uvt markers of skel( λ ). This marker corresponds to a new node ν that contains all M uvt markers of skel( λ ) and-because all M uv markers must appear consecutively-a single M uv marker. This marker corresponds to a new node ξ that contains all M uv markers of skel( λ ). If skel( λ ) contains no M uvt marker we can include a M uv marker instead of a M uvt marker in skel( µ ) and connect it directly to ξ , the node ν can then be omitted.

The new node µ has the property that its markers can be arbitrarily permuted, i.e., it is a P-node. Observe that there can be at most two M uvt markers in skel( λ ). This means that skel( ν ) has at most four markers and its embedding is fixed up to reversal, i.e., it is an R-node. Finally, the new node ξ also has the property that its markers can be arbitrarily permuted, i.e., it is also a P-node. See Fig. 2 (b) and Fig. 3 (c) and (d) for a larger example. We conclude the following.

Lemma 5. Let G be a biconnected digraph with a single source s and let e glyph[star] denote an edge incident to s . There exists a decomposition tree T that (i) represents all upward planar embeddings of G in which e glyph[star] is the leftmost edge around s , and (ii) the children of all P-nodes in T can be arbitrarily permuted.

## 4.2 Arc Contractions

Recall that in SPQR-trees the skeletons of R-nodes are triconnected, i.e., their planar embedding is fixed up to reversal. So, every R-node offers one degree of freedom, namely, whether it has some reference embedding or the reversal thereof. In this section we alter our decomposition tree so that it has this same property.

By definition the marker corresponding to the parent node is leftmost in any embedding of a skeleton. Hence, this marker is incident to the outer face. Reversing the embedding of the skeleton is equivalent to choosing the other face incident to the marker as the outer face. Theorem 2 guarantees that any configuration of T can be composed to an upward planar embedding. This means that a skeleton can be reversed if and only if both faces incident to the parent marker can be chosen as the outer face. This can be checked with the upward planarity test for embedded single-source graphs due to Bertolazzi et al. [4],

Fig. 3. Construction of the UP-tree. An upward planar biconnected single-source graph (a), the SPQR-tree of its underlying undirected graph (b) with the Q-nodes omitted, the result of replacing virtual edges with markers (c) and the UP-tree after splitting P-nodes and contracting arcs (d).

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00352v1-figure-30a235ca-e63c-48f2-b12f-1626325a3e58.jpg)

which also outputs the set of faces that can be chosen as the outer face. If both incident faces are candidates for the outer face this node does indeed offer a degree of freedom and we leave it unchanged. Otherwise, if only one incident face is a candidate for the outer face this node does not offer a degree of freedom. We then merge it with its parent node and contract the corresponding arc in the decomposition tree. This leads to an R-node with a larger skeleton.

See Fig. 5 (a) in the appendix for an upward planar graph G and (b) a decomposition tree thereof. Parts of the face sink graphs of skel( µ ) and skel( ν ) are shown in red, namely the two quadratic vertices dual to the faces incident to the parent marker and the edges incident to those vertices. One criterion for a face to be a candidate for becoming the outer face due to Bertolazzi et al. is that there has to be a path from this face to the outer face in the face sink graph. This holds true for both faces incident to the parent marker in skel( ν ), but not in skel( µ ). Therefore the arc ( µ, ν ) is not contracted but the arc ( λ, µ ) is contracted. This leads to the decomposition tree shown in (c). See also Fig. 3 (c) and (d) for a larger example.

Lemma 6. Let G be a biconnected digraph with a single source s and let e glyph[star] denote an edge incident to s . There exists a decomposition tree T that (i) represents all upward planar embeddings of G in which e glyph[star] is the leftmost edge around s , and (ii) the children of all P-nodes in T can be arbitrarily permuted. (iii) the skeletons of all R-nodes in T can be reversed.

We call the decomposition tree T the UP-tree of G relative to e glyph[star] .

## 4.3 Computation in Linear Time

Let G be a biconnected digraph with a single source s and let e glyph[star] denote an edge incident to s . Recall that the construction of the UP-tree T of G relative to e glyph[star] consists of the following seven steps. 1. Construct the SPQR-tree T of G in linear time [22, 21]. 2. For each pair of vertices u, v that are the poles of a marker in some skeleton of T , we have to determine whether u &lt; v in G . To compute this information for all pairs in linear time, we use a union-find-based technique described by Bl¨sius et al. [8]. Process all skeletons of a T and for every pair of poles u, v that is encountered register v as a candidate at u and register u as a candidate at v . Next, initialize every vertex of G in its own singleton set. Then, process each vertex u in some reverse topological order of G . Unify the singleton set of u with the sets of its direct descendants in G . Now for any candidate v stored at u we can query in whether u and v belong to the same set, which is equivalent to u &lt; v . Note that the operands to all unify operations are completely determined by the structure of G . We exploit this fact to run the linear-time union-find algorithm due to Gabow and Tarjan [20]. 3. For each arc a = ( µ, ν ) of T , decide whether the poles of a are sources, sinks or internal vertices in G µ ( ) and G ν ( ). This information can be found using a simple bottom-up technique. We first compute the indegree and outdegree of every node of G . We then perform a depth-first traversal of T . We maintain a list of the number of incoming and outgoing edges for each node seen so far, which is updated when a Q-node is visited. Upon entering a subtree, we store these numbers for the poles of the arc leaving the subtree at the root of the subtree. Upon leaving a subtree, we can now calculate the differences between the current numbers and the stored numbers, which gives the in- and outdegree of the poles in the graph G µ ( ). Using the inand outdegree of the poles in G computed earlier, we can also compute the inand outdegree of the poles in G ν ( ). This step clearly takes linear time. 4. In each skeleton, replace all virtual edges with their respective markers. With the information that was computed in the previous step and the fact that all markers have constant size this step is feasible in linear time. 5. Construct a configuration of T by running the linear-time upward planar embedding algorithm of Bertolazzi et al. [4] on every skeleton. Because the size of all skeletons is linear in the size of G this step takes linear time. 6. Perform P-node splits. The running time spent on one P-node is clearly linear in the size of its skeleton. This gives linear running time overall. 7. Perform arc contractions. The upward planarity test for fixed embeddings due to Bertolazzi et al. runs in linear time. Contracting an arc is feasible in constant time. This gives linear running time overall.

Theorem 3. Let G be a biconnected digraph with a single source s and let e glyph[star] denote an edge incident to s . The UP-tree T of G relative to e glyph[star] is a decomposition tree whose internal nodes are (i) S-nodes whose skeletons have a fixed embedding, (ii) R-nodes whose skeletons have a fixed embedding up to reversal, or (iii) P-nodes where the markers can be arbitrarily permuted in the skeleton and whose leaves are Q-nodes that offer no embedding choice. The configurations of T correspond bijectively to the upward planar embeddings of G where e glyph[star] appears leftmost around s . Moreover, T can be computed in linear time.

## 5 Partial Upward Embedding

In this section we apply the UP-tree to solve the partial upward embedding problem in quadratic time. A partially embedded graph is a tuple ( G,H, H ), where G is a planar graph, H is a subgraph of G and H is a planar embedding of H . An embedding G of G extends the partial embedding H if all edges e, f, g in H that share a common endpoint v appear in the same cyclic order around v in G and H . The partial embedding problem asks whether there exists an embedding G of G that extends H . Angelini et al. solve the partial embedding problem in linear time [1]. The algorithm considers every triple of edges ( e, f, g ) in H that share a common endpoint v and enforces the constraints imposed by these edges in the SPQR-tree T . Note that e, f, g each correspond to a Q node in T . Because T is a tree there is exactly one node µ in T so that the paths from µ to these Q nodes are disjoint. The relative order of e, f, g in the embedding represented by T is determined by the embedding of skel( µ ). If skel( µ ) offers no embedding choice (as in S nodes) determine whether the ordering of e, f, g given by H is the same as the one given by the unique embedding of skel( µ ). If not, reject the instance. If skel( µ ) has two possible embeddings (as in R nodes) the ordering of e, f, g given by H fixes one of the two embeddings of skel( µ ) as the only candidate. Finally, if µ is a P node the ordering of e, f, g given by H restricts the set of admissible permutations of the virtual edges in skel( µ ). The algorithm collects all these constraints and checks whether they can be fulfilled at the same time.

A partially embedded upward graph is defined as a tuple ( G,H, H ), where G is an upward planar graph, H is a subgraph of H and H is an upward planar embedding of H . Note that UP-trees have all properties of SPQR-trees that are needed in the algorithm described above. In particular, the markers in P-nodes may be arbitrarily permuted, R-nodes may be reversed and all other nodes offer no embedding choice. Hence, we use the UP-tree as a drop-in replacement for the SPQR-tree in the algorithm of Angelini et al. to obtain an algorithm that solves the partial upward embedding problem. Note that the UP-tree is rooted at some edge that must be embedded as the leftmost edge around the source of the graph. We may have to try a linear number of candidate edges in the worst case. This gives the following.

Theorem 4. The partial upward embedding problem can be solved in quadratic running time for biconnected single-source digraphs.

## 6 Conclusion

We have developed the UP-tree, which is an SPQR-tree-like embedding representation for upward planarity. We expect that the UP-tree is a valuable tool that makes it possible to translate existing constrained planar embedding algorithms that use SPQR-trees to the upward planar setting. As an example, we have demonstrated how to use the UP-tree as a drop-in replacement for the SPQR-tree in the partial embedding extension problem, solving the previously open partial upward embedding extension problem for the biconnected single-source case.

## References

- 1. Angelini, P., Di Battista, G., Frati, F., Jel´ ınek, V., Kratochv´ ıl, J., Patrignani, M., Rutter, I.: Testing planarity of partially embedded graphs. ACM Trans. Algorithms 11 (4), 32:1-32:42 (2015). https://doi.org/10.1145/2629341
- 2. Angelini, P., Di Battista, G., Patrignani, M.: Finding a minimum-depth embedding of a planar graph in o n ( 4 ) time. Algorithmica 60 (4), 890-937 (2011). https://doi.org/10.1007/s00453-009-9380-6
- 3. Bertolazzi, P., Di Battista, G., Liotta, G., Mannino, C.: Upward drawings of triconnected digraphs. Algorithmica 12 (6), 476-497 (1994)
- 4. Bertolazzi, P., Di Battista, G., Mannino, C., Tamassia, R.: Optimal upward planarity testing of single-source digraphs. SIAM Journal on Computing 27 (1), 132-169 (1998)
- 5. Bl¨sius, T., Kobourov, S.G., Rutter, I.: Simultaneous embedding of planar graphs. a In: Tamassia, R. (ed.) Handbook of Graph Drawing and Visualization, pp. 349-373. Discrete Mathematics and its Applications, CRC Press (2014)
- 6. Bl¨sius, T., Lehmann, S., Rutter, I.: Orthogonal graph drawing with inflexible edges. a Comput. Geom. 55 , 26-40 (2016). https://doi.org/10.1016/j.comgeo.2016.03.001, https://doi.org/10.1016/j.comgeo.2016.03.001
- 7. Bl¨ asius, T., Rutter, I., Wagner, D.: Optimal orthogonal graph drawing with convex bend costs. ACM Trans. Algorithms 12 (3), 33:1-33:32 (2016). https://doi.org/10.1145/2838736, https://doi.org/10.1145/2838736
- 8. Bl¨sius, T., Karrer, A., Rutter, I.: Simultaneous embedding: Edge orderings, relative a positions, cutvertices. Algorithmica 80 (4), 1214-1277 (2018)
- 9. Br¨ uckner, G., Rutter, I.: Partial and constrained level planarity. In: Klein, P.N. (ed.) Proc. 28th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA'17). pp. 2000-2011. SIAM (2017)
- 10. Br¨ uckner, G., Rutter, I., Stumpf, P.: Level planarity: Transitivity vs. even crossings. In: Biedl, T., Kerren, A. (eds.) Graph Drawing and Network Visualization (GD'18). LNCS, vol. 11282, pp. 39-52. Springer (2018)
- 11. Da Lozzo, G., Di Battista, G., Frati, F.: Extending upward planar graph drawings. CoRR abs/1902.06575 (2019)
- 12. Da Lozzo, G., Jel´ ınek, V., Kratochv´ ıl, J., Rutter, I.: Planar embeddings with small and uniform faces. In: Ahn, H., Shin, C. (eds.) Proceedings of the 25th International Symposium on Algorithms and Computation (ISAAC'14). Lecture Notes in Computer Science, vol. 8889, pp. 633-645. Springer (2014). https://doi.org/10.1007/9783-319-13075-0 50
- 13. Da Lozzo, G., Rutter, I.: Approximation algorithms for facial cycles in planar embeddings. In: Hsu, W.L., Lee, D.T., Liao, C.S. (eds.) Proceedings ot the 29th International Symposium on Algorithms and Computation (ISAAC'18). LIPIcs, vol. 123, pp. 41:1-41:13. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (2018). https://doi.org/10.4230/LIPIcs.ISAAC.2018.41
- 14. Di Battista, G., Tamassia, R.: Incremental planarity testing. In: Proceedings of the 30th Annual Symposium on Foundations of Computer Science. pp. 436-441 (Oct 1989). https://doi.org/10.1109/SFCS.1989.63515
- 15. Di Battista, G., Tamassia, R.: On-line graph algorithms with SPQR-trees. In: Paterson, M.S. (ed.) Proceedings of the 17th International Colloquium on Automata, Languages and Programming. pp. 598-611. Springer Berlin Heidelberg (1990). https://doi.org/10.1007/BFb0032061
- 16. Di Battista, G., Tamassia, R.: On-line maintenance of triconnected components with SPQR-trees. Algorithmica 15 (4), 302-318 (1996). https://doi.org/10.1007/BF01961541
- 17. Didimo, W., Liotta, G., Patrignani, M.: Bend-minimum orthogonal drawings in quadratic time. In: Biedl, T.C., Kerren, A. (eds.) Graph Drawing and Network Visualization, GD 2018. LNCS, vol. 11282, pp. 481-494. Springer (2018). https://doi.org/10.1007/978-3-030-04414-5 34
- 18. Feng, Q., Cohen, R.F., Eades, P.: Planarity for clustered graphs. In: Spirakis, P.G. (ed.) Proceedings of the 3rd Annual European Symposium on Algorithms (ESA'95). Lecture Notes in Computer Science, vol. 979, pp. 213-226. Springer (1995). https://doi.org/10.1007/3-540-60313-1 145
- 19. Fulek, R., Pelsmajer, M.J., Schaefer, M., Stefankoviˇ, D.: Hanani-Tutte, Monotone ˇ c Drawings, and Level-Planarity. In: Pach, J. (ed.) Thirty Essays on Geometric Graph Theory. pp. 263-287. Springer New York (2013)
- 20. Gabow, H.N., Tarjan, R.E.: A linear-time algorithm for a special case of disjoint set union. Journal of Computer and System Sciences 30 (2), 209-221 (1985)
- 21. Gutwenger, C., Mutzel, P.: A linear time implementation of SPQR-trees. In: International Symposium on Graph Drawing. pp. 77-90. Springer (2000)
- 22. Hopcroft, J.E., Tarjan, R.E.: Dividing a graph into triconnected components. SIAM Journal on Computing 2 (3), 135-158 (1973)
- 23. Hutton, M.D., Lubiw, A.: Upward planar drawing of single-source acyclic digraphs. SIAM Journal on Computing 25 (2), 291-311 (1996)
- 24. Jel´ ınek, V., Kratochv´ ıl, J., Rutter, I.: A Kuratowski-type theorem for planarity of partially embedded graphs. Computational Geometry: Theory and Applications 46 (4), 466-492 (2013)
- 25. J¨ unger, M., Leipert, S.: Level Planar Embedding in Linear Time. In: Kratochv´ ıl, J. (ed.) Graph Drawing and Network Visualization. pp. 72-81. Springer Berlin Heidelberg (1999)
- 26. Mac Lane, S.: A structural characterization of planar combinatorial graphs. Duke Mathematical Journal 3 (3), 460-472 (1937). https://doi.org/10.1215/S0012-709437-00336-3
- 27. Platt, C.R.: Planar lattices and planar graphs. Journal of Combinatorial Theory, Series B 21 (1), 30-39 (Aug 1976)
- 28. Randerath, B., Speckenmeyer, E., Boros, E., Hammer, P., Kogan, A., Makino, K., Simeone, B., Cepek, O.: A Satisfiability Formulation of Problems on Level Graphs. Electronic Notes in Discrete Mathematics 9 , 269-277 (2001), lICS 2001 Workshop on Theory and Applications of Satisfiability Testing (SAT 2001)
- 29. Tutte, W.T.: Connectivity in Graphs. University of Toronto Press (1966)

## A Omitted Figures

w

u

Fig. 4. Example decompositions of upward planar graphs. The edge e glyph[star] is drawn more thickly.

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00352v1-figure-80f62069-cdb5-4264-ba5f-adea1f170c51.jpg)

Fig. 5. An upward planar graph G (a) with a decomposition tree (b). The node µ offers no degree of freedom so the arc ( λ, µ ) is contracted (c). The node ν does offer a degree of freedom and is therefore not contracted.

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00352v1-figure-a4a6b010-2991-45a7-be9a-d5fa8199311d.jpg)

## B Omitted Proofs from Section 3

Theorem 1 ( , implicit in [23]). glyph[star] Let E be an upward planar embedding of G with e glyph[star] as the leftmost edge around s . Then E induces upward planar embeddings F 1 , F 2 of H ,H ′ 1 ′ 2 , respectively with the following properties. In F 1 , e glyph[star] is the leftmost edge around the source of H ′ 1 . In F 2 , the edges of the marker are leftmost around the source of H ′ 2 . Conversely, if F 1 and F 2 are upward planar embeddings of H ′ 1 and H ′ 2 such that e glyph[star] is the leftmost edge around the source of H ′ 1 and the edges of the marker are leftmost around the source of H ′ 2 , then the composition of these embeddings is upward planar.

Proof. We do not repeat all arguments of Hutton and Lubiw here, so the reader is encouraged to view this document and the paper by Hutton and Lubiw sideby-side.

First, we note that the way in which Hutton and Lubiw exploit the fact that H 1 is a single component is their Lemma 6.2. However, Lemma 6.2 is completely symmetric and in particular does not require the isolated component to contain the source. Therefore, our alternative requirement of H 2 being a single component is sufficient for the applications of Lemma 6.2 in the proofs of 6.5, 6.7, 6.8 and 6.9 in [23].

It remains to see that the constructions by Hutton and Lubiw not only show that G H , 1 and H 2 are upward planar, but that the upward planar embeddings of H 1 and H 2 derived from E are exactly F 1 and F 2 and conversely that the upward planar embedding of G assembled from F 1 and F 2 is exactly E . For this, we will follow along the proof of the relevant theorems in [23] and supply the necessary additional arguments.

u , v incomparable. This case is covered by Theorem 6.5 in [23]. The proof of necessity finds that H ′ 1 and H ′ 2 are homeomorphic to subgraphs of G and thus this argument shows the upward planarity of F 1 and F 2 .

The proof of sufficiency does not change any rotation system and thus the constructed embedding is exactly the composition of F 1 and F 2 .

glyph[negationslash]

u &lt; v , u = s . This case is covered by Theorem 6.7 in [23]. If v is not an internal vertex of H 2 , H ′ 1 is homeomorphic to a subgraph of G and thus F 1 is upward planar. If v is an internal vertex of H 2 , then Hutton and Lubiw follow the upward planarity of H ′ 1 from the fact that it has an upward planar subdivision that is a subgraph of E and therefore F 1 must be upward planar.

The proof of necessity of upward planarity of H ′ 2 again finds that H ′ 2 is homeomorphic to a subgraph of G up to some contractions which only happen inside the marker and thus do not change the fact that the upward planar embedding found for H ′ 2 is precisely F 2 .

The proof of sufficiency consists of three cases. In case 1, the construction inserts H 2 into H 1 in such a way that the outgoing edges of u and v in H 2 are inserted where the marker M t is located in H 1 . Therefore, E is exactly the composition of F 1 and F 2 . In case 2, F 1 and F 2 are combined using Lemma 5.5, which just composes F 1 and F 2 in our sense, yielding E .

Case 3 consists of two subcases. The first case uses Lemma 5.5 and a contraction to obtain G and thus constructs exactly E for reasons analogous to those in case 1. The second case again uses Lemma 5.5 and constructs the embedding such a way that the embeddings of H 1 and H 2 remain unchanged and the edges of H 2 are inserted at the position of the marker in H 1 .

u = s . This case is covered by Theorems 6.8 and 6.9 in [23]. Because Hutton and Lubiw operate under somewhat weaker assumptions compared to the present document, they have to rely on a specific choice of decomposition allowing for an explicit upward planarity test to continue decomposing. For the purposes of Theorem 1, this is insufficient. The missing argument is the necessity of the upward planarity of F 2 if E is upward planar. Once this is established, the rest of the proof is given in Theorem 6.8.

For this case, a simplified version of the necessity of the second condition of Theorem 6.7 in [23] works. More precisely, we necessarily have z = u and the case where u and v are incomparable in E = H 1 will never occur. The same arguments given above for why this construction yields exactly F 1 apply.

For F 1 , the proof of necessity in Theorem 6.8 applies 3 , but this proof performs the same construction as the necessity of the second condition in the proof of Theorem 6.7, and thus yields exactly F

1 using the arguments already given above. The proof of sufficiency remains unchanged, and thus, once again, the argu- glyph[negationslash]

ments from the case where u = s still apply. glyph[intersectionsq] glyph[unionsq]

Lemma 1 ( ). glyph[star] Let G be a biconnected single-source digraph and let H ,H ′ 1 ′ 2 denote the result of decomposing along a cutpair { u, v } of G . For i = 1 2 , and any two vertices x, y in H ′ i it is x &lt; y in H ′ i if and only if x &lt; y in G .

Proof. Recall that the edges of G are partitioned across H 1 and H 2 and that v is a source in H 2 .

- 1. u and v are incomparable in G . Let x, y be two vertices in H ′ 1 with x &lt; y in G . Because u and v are incomparable in G the directed path from x to y in G cannot use an edge from H 2 , i.e., it consists entirely of edges in H 1 , i.e., it is x &lt; y in H ′ 1 . Now let x, y be two vertices in H ′ 1 with x &lt; y in H ′ 1 . Because M t contains no directed path between u and v this path consists entirely of edges in H 1 . Then this same path exists in G , i.e., it is x &lt; y in G . A symmetric argument using the fact that M s contains no directed path between u and v works for the case when x, y are vertices in H ′ 2 .
- 2. u &lt; v in G . Let x, y be two vertices in H ′ 1 . Follow the construction rules for H ′ 1 .
- (a) v is a source in H 2 . Recall H ′ 1 = H 1 ∪ M t . Assume x &lt; y in H ′ 1 . Because M t has no directed path between u and v any directed path from x to y in H ′ 1 cannot use edges from M t . This means that such a path consists entirely of edges in H 1 , i.e., it also exists in G . Hence, it is x &lt; y in G . Now assume x &lt; y in G . Because v is a source in H 2 there exists no

3 Note that Hutton and Lubiw essentially switch the roles of E and F for this proof.

directed path from u to v in H 2 . From u &lt; v in G it follows that there exists a directed path from u to v in H 1 and therefore in H ′ 1 . Hence, it is x &lt; y in H ′ 1 .

- (b) v is a sink in H 2 . Because G is a single-source graph and it is u &lt; v there exists a directed path p from u to v in H 2 . Recall H ′ 1 = H 1 ∪ M uv . Any directed path from x to y in H ′ 1 either uses only edges in H 1 in which case the same path exists in G , or it uses the edge M uv in which case it can be modified to a path that uses p in G . The same argument works in the reverse direction.
- (c) v is an internal vertex in H 2 . Recall H ′ 1 = H 1 ∪ M uvt and apply the same argument as in the previous case.

′ ′

- (b) v is not a source in H 1 . Recall H ′ 2 = H 2 ∪ M uv and follow the symmetric cases H ′ 1 = H 1 ∪ M uv or H ′ 1 = H 1 ∪ M uvt . glyph[intersectionsq] glyph[unionsq]
- Now let x, y be two vertices in H 2 and follow the construction rules for H 2 . (a) v is a source in H 1 . Recall H ′ 2 = H 2 ∪ M t and follow the symmetric case H ′ 1 = H 1 ∪ M t .

Lemma 2 ( ). glyph[star] Let G be a biconnected single-source digraph and let H ,H ′ 1 ′ 2 denote the result of decomposing along a cutpair { u, v } of G . For i = 1 2 , let { x, y } denote a cutpair of H ′ i that separates H ′ i into F 1 and F 2 and G into D 1 and D 2 . Then y is a source in F 1 if and only if y is a source in D 1 . Moreover, y is a source, sink or internal vertex in F 2 if and only if y is a source, sink or internal vertex in D 2 , respectively.

Proof. Distinguish the cases where { x, y } is a cutpair in H ′ 1 or H ′ 2 .

- 1. { x, y } is a cutpair in H ′ 1 . Then F 1 = D 1 and F 2 is obtained from D 2 by replacing H 2 with the appropriate marker M . Equivalently, D 2 is obtained from F 2 by replacing the marker in F 2 with H 2 . Note that if M is not adjacent to y the neighborhood of y remains unchanged and nothing further needs to be shown. Otherwise M is adjacent to y , i.e., it is y = u or y = v . Consider the case y = v . If M = M t vertex y = v is a source in H 2 and so exchanging M = M t with H 2 exchanges one outgoing edge with a non-empty set of outgoing edges. If M = M uv vertex y = v is a sink in H 2 and so exchanging M = M uv with H 2 exchanges one incoming edge with a nonempty set of incoming edges. Finally, if M = M uvt vertex y = v is an internal vertex in H 2 and so exchanging M = M uvt with H 2 exchanges three outgoing and three incoming edges with non-empty sets of outgoing and incoming edges.

Now consider the case y = u . By definition u is a source in H 2 and in all candidate markers.

Thus, when going from F 2 to D 2 and vice versa only edges of the same kind are exchanged. Because F 1 = D 1 vertex y is a source in F 1 if and only if y is a source in D 1 . This shows the claim for i = 1.

- 2. { x, y } is a cutpair in H ′ 2 . Then F 2 = D 2 and F 1 is obtained from D 1 by replacing H 1 with the appropriate marker M . Equivalently, D 1 is obtained from F 1 by replacing the marker in F 1 with H 1 . Note that if M is not adjacent

to y the neighborhood of y remains unchanged and nothing further needs to be shown. Otherwise M is adjacent to y , i.e., it is y = u or y = v .

Consider the case y = v . If v = y is a source in H 1 it is M = M t and exchanging M = M t with H 1 exchanges one outgoing edge with a nonempty set of outgoing edges. Otherwise v = y is not a source in H 1 and it is M = M uv . From M = M uv it follows that v = y is not a source in F 1 . Because v = y is not a source in H 1 it has at least one incoming edge e in H 1 . Further, e glyph[star] lies in D 1 by definition and because H 1 ⊂ D 1 edge e lies in D 1 , i.e., v = y is not a source in D 1 .

The case y = u cannot occur because u is the source of H ′ 2 . Because F 2 = D 2 vertex y is a source in F 2 if and only if y is a source in D 2 . This shows the claim for i = 2. glyph[intersectionsq] glyph[unionsq]
Guido Brückner Markus Himmel Ignaz Rutter
An SPQR-Tree-Like Embedding Representation for Upward Planarity
The SPQR-tree is a data structure that compactly represents all planar
embeddings of a biconnected planar graph. It plays a key role in constrained
planarity testing. We develop a similar data structure, called the UP-tree,
that compactly represents all upward planar embeddings of a biconnected
single-source directed graph. We demonstrate the usefulness of the UP-tree by
solving the upward planar embedding extension problem for biconnected
single-source directed graphs.