On Mixed Linear Layouts of Series-Parallel Graphs
Patrizio Angelini, Michael A. Bekos, Philipp Kindermann, Tamara Mchedlidze
OOn Mixed Linear Layouts ofSeries-Parallel Graphs
Patrizio Angelini − − − ,Michael A. Bekos , − − − ,Philipp Kindermann , − − − , andTamara Mchedlidze − − − John Cabot University, Rome, Italy, [email protected] Universit¨at T¨ubingen, Germany, [email protected] Universit¨at W¨urzburg, Germany, [email protected] Karlsruhe Institute of Technology (KIT), Germany, [email protected] Universit¨at Passau, Germany
Abstract.
A mixed s -stack q -queue layout of a graph consists of a linearorder of its vertices and of a partition of its edges into s stacks and q queues, such that no two edges in the same stack cross and no two edgesin the same queue nest. In 1992, Heath and Rosenberg conjectured thatevery planar graph admits a mixed 1-stack 1-queue layout. Recently,Pupyrev disproved this conjectured by demonstrating a planar partial3-tree that does not admit a 1-stack 1-queue layout. In this note, westrengthen Pupyrev’s result by showing that the conjecture does nothold even for 2-trees, also known as series-parallel graphs. Keywords: mixed linear layouts, queue layouts, book embeddings, series-parallel graphs
Over the years, linear layouts of graphs have been a fruitful subject of intenseresearch, which has resulted in several remarkable results both of combinatorialand of algorithmic nature; see, e.g., [6,13,18,20,26,28]. A linear layout of graphis defined by a total order of its vertex-set and by a partition of its edge-setinto a number of subsets, called pages . By imposing different constraints on theedges that may reside in the same page, one obtains different types of linearlayouts; see [1,7,20,24,28]. The most notable ones are arguably the stack and thequeue layouts (the former are commonly referred to as book embeddings in theliterature), as is evident from the numerous papers that have been publishedover the years; see [14] for a short introduction.In a stack ( queue ) layout of a graph, no two indepedent edges of the samepage, called stack ( queue ) in this context, are allowed to cross (nest, resp.)with respect to the underlying linear order; see [6] and [20]. In other words,the endpoints of the edges assigned to the same stack follow the last-in-first-outmodel in the underlying linear order, while the endpoints of the edges assigned a r X i v : . [ c s . D M ] A ug v v v v (a) 2-stack layout v v v v v (b) 2-queue layout v v v v v (c) mixed 1-stack 1-queue Fig. 1: Illustration of different linear layouts of the complete graph on five vertices v , . . . , v minus the edge ( v , v ).to the same queue follow the first-in-first-out model; see Fig. 1. The minimumnumber of stacks (queues) required by any of the stack (queue) layouts of a graphis commonly referred to as its stack-number ( queue-number , resp.). Accordingly,the stack-number (queue-number) of a class of graphs is the maximum stack-number (queue-number, resp.) over all its members. Known Results.
A large body of the literature is devoted to the study ofbounds on the stack- and the queue-number of different classes of graphs.For stack layouts, the most remarkable result is due to Yannakakis, who backin 1986 showed that every planar graph admits a 4-stack layout [27,28]. Recently,Bekos et al. [5] and Yannakakis [29] independently established that the stack-number of the class of planar graphs is 4, by demonstrating planar graphs that donot admit 3-stack layouts. Certain subclasses of planar graphs, however, allowfor layouts with fewer than four stacks, e.g., 4-connected planar graphs [23],series-parallel graphs [25], planar 3-trees [18], and others [4,8,15,16,17,21,22].For queue layouts, Dujmovi´c et al. [13] recently showed that every planargraph admits a 49-queue layout, improving over previously known logarithmicbounds [3,10,11,12]. However, the exact queue-number of the class of planargraphs is not yet known, as the currently best-known lower bound is 4 [2].Again, several subclasses of planar graphs allow for layouts with significantlyfewer than 49 queues, e.g., outerplanar graphs [19], series-parallel graphs [25]and planar 3-trees [2].
Motivation.
Back in 1992, Heath and Rosenberg [20] proposed a natural gen-eralization of stack and queue layouts, called mixed s -stack q -queue layout , thatsupports s stack-pages and q queue-pages. In their seminal paper [20], they con-jectured that every planar graph admits a mixed 1-stack 1-queue layout. How-ever, Pupyrev [24] recently showed that the conjecture does not hold even forpartial planar 3-trees. This negative result naturally raises the question whetherthe conjecture holds for other subclasses of planar graphs. To this end, Pupyrevconjectured that bipartite planar graphs admit mixed 1-stack 1-queue layouts. Our contribution.
We make a step forward in understanding which subclassesof planar graphs admit mixed 1-stack 1-queue layouts by providing a negativecertificate for the class of 2-trees (also known as maximal series-parallel graphs).This improves upon the partial planar 3-tree negative example by Pupyrev [24].Note that 2-trees admit both 2-stack layouts and 3-queue layouts [25]. u u v v v (a) 3-rainbow u u u v v v (b) 3-twist b u v ca d (c) Smiley face Fig. 2: Illustration of: (a) a 3-rainbow, (b) a 3-twist, and (c) a smiley face.
Preliminaries. A linear order ≺ of a graph G is a total order of its vertices.Let F = { ( u i , v i ); i = 1 , . . . , k } be a set of k ≥ u i ≺ v i , for all 1 ≤ i ≤ k . If the order is [ u , . . . , u k , v k , . . . , v ], then we say thatthe edges of F form a k -rainbow , while if the order is [ u , . . . , u k , v , . . . , v k ],then the edges of F form a k -twist . Two edges that form a 2-twist (2-rainbow)are referred to as crossing ( nested , resp.). A stack ( queue ) is a set of pairwisenon-crossing (non-nested, resp.) edges. A mixed s -stack q -queue layout L of G consists of a linear order ≺ of G and a partition of the edges of G into s stacksand q queues; for short, we refer to L as mixed layout when s = q = 1. An edgein a stack (queue) in L is called a stack-edge ( queue-edge , resp.).The operation of attaching a vertex u to an edge ( v, w ) of a graph G consistsof adding to G vertex u and edges ( u, v ) and ( u, w ). Vertex u is said to be attached or being an attachment of ( v, w ). A 2 -tree is a graph obtained froman edge by repeatedly attaching a vertex to an edge. Consider a mixed s -stack q -queue layout L of a 2-tree. We say that a vertex u attached to an edge ( v, w )is a stack-attachment ( queue-attachment ) of ( v, w ) if both ( u, v ) and ( u, w ) arestack-edges (queue-edges, resp.) in L . Vertex u is a mixed-attachment of ( v, w )if one of ( u, v ) and ( u, w ) is a queue-edge and the other is a stack-edge in L . In this section, we define a family { G ( k, (cid:96) ); k, (cid:96) ∈ N + } of 2-trees, and we provethat infinitely many members of it do not admit mixed layouts. For (cid:96) ≥ G (1 , (cid:96) )is an edge; for k > G ( k, (cid:96) ) is obtained from G ( k − , (cid:96) ) by attaching (cid:96) verticesto each edge of it. For convenience, we let G ( k, (cid:96) ) be the graph G ( k, (cid:96) ) \ G ( k − , (cid:96) ), that is, the graph induced by the edges that belong to G ( k, (cid:96) ) but not to G ( k − , (cid:96) ). In the following lemmas, we study properties of a mixed layout ofgraph G ( k, (cid:96) ). Lemma 1.
Let L be a mixed layout of G ( k, (cid:96) ) with k > , (cid:96) > . Then, everyedge of G ( k − , (cid:96) ) has at most two stack-attachments in L .Proof. Let ( a, b ) be an edge of G ( k − , (cid:96) ) and assume to the contrary that thereexist three stack-attachments u , v and w of G ( k, (cid:96) ) attached to ( a, b ) in L .Neglecting edge ( a, b ), vertices a , b , u , v and w induce a K , in G ( k, (cid:96) ), whoseedges are all stack-edges in L . This is a contradiction, since the subgraph inducedby the stack-edges of G ( k, (cid:96) ) must be outerplanar [6], while K , is not. (cid:117)(cid:116) u v c da x (a) x b u v ca d (b) b u va (c) b u va b (d) Fig. 3: Illustrations for the proofs (a–b) of Lemma 2, and (c–d) of Lemma 3.A smiley face (cid:104) a, b, u, v, c, d (cid:105) in a mixed layout consists of six vertices a ≺ b ≺ u ≺ v ≺ c ≺ d and four edges ( a, b ), ( c, d ), ( a, d ), and ( u, v ), such that ( a, b ),( c, d ), and ( a, d ) are queue-edges, and thus ( u, v ) is a stack-edge; see Fig. 2c. Lemma 2.
Let L be a mixed layout of G ( k, (cid:96) ) with k > , (cid:96) > . Then, a smileyface cannot be formed by the vertices of G ( k − , (cid:96) ) in L .Proof. Assume to the contrary that a smiley face (cid:104) a, b, u, v, c, d (cid:105) is formed in L by vertices of G ( k − , (cid:96) ). Consider any vertex x of G ( k, (cid:96) ) attached to the stack-edge ( u, v ). If a ≺ x ≺ d , then the queue-edge ( a, d ) forms a 2-rainbow bothwith ( u, x ) and with ( v, x ); see Fig. 3a. If x ≺ a , then the queue-edge ( a, b )forms a 2-rainbow both with ( u, x ) and with ( v, x ); see Fig. 3b. If d ≺ x , thenthe queue-edge ( c, d ) forms a 2-rainbow both with ( u, x ) and with ( v, x ). Hence,neither ( u, x ) nor ( v, x ) is a queue-edge, so x is a stack-attachment. Since (cid:96) > u, v ) has more than two stack-attachments in L , contradicting Lemma 1. (cid:117)(cid:116) Lemma 3.
Let L be a mixed layout of G ( k, (cid:96) ) with k > , (cid:96) > . Let a, b, c bequeue-attachments of an edge ( u, v ) of G ( k − , (cid:96) ) with u ≺ v . Then u ≺ a, b, c ≺ v .Proof. Assume to the contrary that a ≺ u (the case v ≺ a is symmetric). Wefirst prove that a ≺ u implies v ≺ b, c . Indeed, if b ≺ a , then the queue-edges( b, v ) and ( a, u ) form a 2-rainbow; see Fig. 3c. If a ≺ b ≺ v , then the queue-edges( a, v ) and ( b, u ) form a 2-rainbow; see Fig. 3d. Thus, v ≺ b and analogously v ≺ c .Symmetrically, v ≺ c implies b ≺ u . Hence, b ≺ u ≺ v ≺ b ; a contradiction. (cid:117)(cid:116) Lemma 4.
Let L be a mixed layout of G ( k, (cid:96) ) with k > , (cid:96) > . Then, everyqueue-edge of G ( k − , (cid:96) ) has at most six queue-attachments in L .Proof. Assume for a contradiction that there is a queue-edge ( u, v ) in G ( k − , (cid:96) )with seven queue-attachments x , . . . , x in G ( k − , (cid:96) ). By Lemma 3, all sevenvertices have to lie between u and v ; w.l.o.g. assume that u ≺ x ≺ . . . ≺ x ≺ v .For any edge ( u, x i ) or ( v, x i ) with 2 ≤ i ≤ G ( k − , (cid:96) ),consider an attachment w of this edge. By Lemma 1, we can assume that w is not a stack attachment. Further, if ( w, x i ) is a queue-edge, then it forms a2-rainbow with either ( u, v ), ( u, x ), or ( v, x ); see Fig. 4a. Hence, we assumethat every selected attachment w of ( u, x i ) or ( v, x i ) with 2 ≤ i ≤ G ( k − , (cid:96) )is a mixed-attachment with stack-edge ( w, x i ). We prove Claims 1–4 for edges( v, x i ); for ( u, x i ) symmetric arguments work; see Fig. 4. vx i u x w w w (a) ( w, x i ) queue-edge x vx i uw (b) Claim 1: w ≺ u x vx i u w x (c) Claim 2: x ≺ w ≺ x x vx i u wx x i +1 w (cid:48) (d) Claim 3: x ≺ w ≺ v x vx i u w w (cid:48) x i − (e) Claim 4: u ≺ w ≺ x vx uw (cid:48) wx (f) v ≺ w Fig. 4: Illustrations for the proof of Lemma 4.
Claim 1.
There is no mixed-attachment w of ( v, x i ) with ≤ i ≤ and w ≺ u and there is no mixed-attachment w of ( u, x i ) with ≤ i ≤ and v ≺ w .Proof. Otherwise, the queue-edges ( v, w ) and ( u, x ) form a 2-rainbow. (cid:117)(cid:116) Claim 2.
There is no mixed-attachment w of ( v, x i ) or ( u, x i ) with ≤ i ≤ and x ≺ w ≺ x .Proof. Otherwise, there is a smiley face (cid:104) u, x , x i , w, x , v (cid:105) or (cid:104) u, x , w, x i , x , v (cid:105) in G ( k − , (cid:96) ), based on whether x i ≺ w or w ≺ x i , contradicting Lemma 2. (cid:117)(cid:116) Claim 3.
There is no mixed-attachment w of ( v, x i ) with ≤ i ≤ and x ≺ w ≺ v and no mixed-attachment w of ( u, x i ) with ≤ i ≤ and u ≺ w ≺ x .Proof. Let to the contrary w (cid:48) be a mixed-attachment of ( v, x i +1 ). We have x i ≺ w (cid:48) ≺ w , as otherwise the stack-edges ( w (cid:48) , x i +1 ) and ( x i , w ) would cross. Then asmiley face (cid:104) u, x , x i +1 , w (cid:48) , w, v (cid:105) exists in G ( k − , (cid:96) ), contradicting Lemma 2. (cid:117)(cid:116) Claim 4.
There is no mixed-attachment w of ( v, x i ) with ≤ i ≤ and u ≺ w ≺ x and no mixed-attachment w of ( u, x i ) with ≤ i ≤ and x ≺ w ≺ v .Proof. Let to the contrary w (cid:48) be a mixed-attachment of ( u, x i − ). We have u ≺ w ≺ w (cid:48) ≺ x i , as otherwise the stack-edges ( w (cid:48) , x i − ) and ( x i , w ) would cross.However, by Claims 2 and 3, this leads to a contradiction. (cid:117)(cid:116) Now consider a mixed-attachment w of ( v, x ) and a mixed-attachment w (cid:48) of( u, x ). By Claims 1–4, we must have v ≺ w and w (cid:48) ≺ u ; see Fig. 4f. However,then the stack-edges ( x , w ) and ( x , w (cid:48) ) cross. This concludes the proof. (cid:117)(cid:116) Lemmas 1 and 4 imply the following
Corollary 1.
Let L be a mixed layout of G ( k, (cid:96) ) with k > , (cid:96) > . Then, everyqueue-edge of G ( k − , (cid:96) ) has at least (cid:96) − mixed-attachments in L . p p p p p p (a) Pattern P.1 p p p p p p p (b) Pattern P.2 p p p p p p p (c) Pattern P.3
Fig. 5: Illustration of different patterns.Next we define three patterns
P.1 – P.3 and prove that they are forbidden in amixed layout. Each pattern is denoted by (cid:104) p , . . . , p (cid:105) , as it is defined on a setof seven vertices for which either p ≺ . . . ≺ p or p ≺ . . . ≺ p holds in L ; seeFig. 5. The involved edges in each pattern and their types are as follows. P.1
Stack-edges ( p , p ), ( p , p ) and ( p , p ), and a queue-edge ( p , p ). P.2
Stack-edges ( p , p ), ( p , p ) and ( p , p ), and a queue-edge ( p , p ). P.3
Stack-edges ( p , p ), ( p , p ) and ( p , p ), and queue-edges ( p , p ) and ( p , p ). Lemma 5.
Let L be a mixed layout of G ( k, (cid:96) ) with k > , (cid:96) > . Then, G ( k − , (cid:96) ) does not contain Patterns P.1 – P.3 in L .Proof sketch. For a contradiction, let (cid:104) p , . . . , p (cid:105) be Pattern P.1 contained in G ( k − , (cid:96) ); see Fig. 6. We first argue that at least one of the (cid:96) > p , p ) in G ( k, (cid:96) ) has to be a mixed-attachment. By Lemma 1, atmost two of them can be stack-attachments. If more than two of these vertices arequeue-attachments, then by Lemma 3, they all appear between p and p in L ,and thus any queue-edge incident to them creates a 2-rainbow with the queue-edge ( p , p ). Hence, there is at least one mixed-attachment x of ( p , p ). Let e and e (cid:48) be the stack- and queue-edge incident to x , respectively. Then, p ≺ x ≺ p , as otherwise e would cross one of the stack-edges ( p , p ) and ( p , p ).However, then e (cid:48) forms a 2-rainbow with the queue-edge ( p , p ); a contradiction.Similarly we argue for Pattern P.2 . For Pattern
P.3 see the appendix. (cid:117)(cid:116)
We are now ready to prove the main result of this paper.
Theorem 1. G ( k, (cid:96) ) does not admit a mixed layout if k ≥ , (cid:96) ≥ .Proof sketch. Assume to the contrary that G (5 ,
33) admits a mixed layout L .By Lemma 1, there is at least one queue-edge ( u, v ) in G (2 , u ≺ v in L . By Corollary 1, G (3 ,
33) contains at least 25 mixed-attachments, say x , . . . , x , of ( u, v ). For every i = 1 , . . . ,
25, one of the following applies: x i ≺ u , p p p p p p p x Fig. 6: Illustration for the proof of Pattern
P.1 in Lemma 5. x v x u x wx (a) x x v x u x w x (b) x x v x u x wx (c) Fig. 7: Illustration for the first case of Theorem 1.or u ≺ x i ≺ v , or v ≺ x i . For each of the cases, we further distinguish whetherthe edge ( u, x i ) is a stack-edge or a queue-edge. This defines six configurationsfor x i . Thus, at least five vertices, say w.l.o.g., x , . . . , x , are attached withthe same configuration to ( u, v ); we assume w.l.o.g. that x ≺ . . . ≺ x . Weshow a contradiction in the case when v ≺ x i and ( u, x i ) is a queue-edge for all i = 1 , . . . ,
5; the remaining cases are in the appendix.By Corollary 1, G (4 ,
33) contains at least one mixed-attachment w of ( u, x ).Thus, either ( x , w ) or ( u, w ) is a stack-edge. In the former case, the stack-edges( v, x ) and ( v, x ) enforce x ≺ w ≺ x ; see Fig. 7a. Hence, (cid:104) u, v, x , x , w, x , x (cid:105) or (cid:104) u, v, x , w, x , x , x (cid:105) of G (4 ,
33) form Pattern
P.2 in L . This contradictsLemma 5. In the latter case, the stack-edge ( v, x ) enforces either w ≺ v or x ≺ w . We consider three subcases. If w ≺ u , then the queue-edges ( w, x )and ( u, x ) form a 2-rainbow. If u ≺ w ≺ v , then the queue-edges ( w, x ) and( u, x ) form a 2-rainbow; see Fig. 7b. Otherwise, x ≺ w holds. It follows that (cid:104) u, v, x , x , x , x , w (cid:105) of G (4 ,
33) form Pattern
P.3 in L ; see Fig. 7c. (cid:117)(cid:116) In this paper, we proved that 2-trees do not admit mixed 1-stack 1-queue layouts.Since 2-trees admit 2-stack layouts and 3-queue layouts [25], it is natural toask whether they admit mixed 1-stack 2-queue layouts. We conclude with analgorithmic question, namely, what is the complexity of recognizing graphs thatadmit mixed 1-stack 1-queue layouts, even for 2-trees? Note that recently de Colet al. [9] showed that testing whether a (not necessarily planar) graph admits amixed 2-stack 1-queue layout is NP-complete.
References
1. Alam, J.M., Bekos, M.A., Gronemann, M., Kaufmann, M., Pupyrev, S.: Ondispersable book embeddings. In: Brandst¨adt, A., K¨ohler, E., Meer, K. (eds.)WG. LNCS, vol. 11159, pp. 1–14. Springer (2018), https://doi.org/10.1007/978-3-030-00256-5_1
2. Alam, J.M., Bekos, M.A., Gronemann, M., Kaufmann, M., Pupyrev, S.: Queuelayouts of planar 3-trees. In: Biedl, T.C., Kerren, A. (eds.) GD. LNCS, vol. 11282,pp. 213–226. Springer (2018), https://doi.org/10.1007/978-3-030-04414-5_15 . Bannister, M.J., Devanny, W.E., Dujmovi´c, V., Eppstein, D., Wood, D.R.: Tracklayouts, layered path decompositions, and leveled planarity. Algorithmica (2018), https://doi.org/10.1007/s00453-018-0487-5
4. Bekos, M.A., Gronemann, M., Raftopoulou, C.N.: Two-page book embeddings of4-planar graphs. Algorithmica 75(1), 158–185 (2016), https://doi.org/10.1007/s00453-015-0016-8
5. Bekos, M.A., Kaufmann, M., Klute, F., Pupyrev, S., Raftopoulou, C.N., Ueck-erdt, T.: Four pages are indeed necessary for planar graphs. J. of Comp. Geom.11(1), 332–353 (2020), https://journals.carleton.ca/jocg/index.php/jocg/article/view/504
6. Bernhart, F., Kainen, P.C.: The book thickness of a graph. J. Comb. Theory, Ser.B 27(3), 320–331 (1979), https://doi.org/10.1016/0095-8956(79)90021-2
7. Binucci, C., Di Giacomo, E., Hossain, M.I., Liotta, G.: 1-page and 2-page drawingswith bounded number of crossings per edge. Eur. J. Comb. 68, 24–37 (2018), https://doi.org/10.1016/j.ejc.2017.07.009
8. Cornu´ejols, G., Naddef, D., Pulleyblank, W.R.: Halin graphs and the travellingsalesman problem. Math. Program. 26(3), 287–294 (1983), https://doi.org/10.1007/BF02591867
9. de Col, P., Klute, F., N¨ollenburg, M.: Mixed linear layouts: Complexity, heuris-tics, and experiments. In: Archambault, D., T´oth, C.D. (eds.) Graph Drawingand Network Visualization. LNCS, vol. 11904, pp. 460–467. Springer (2019), https://doi.org/10.1007/978-3-030-35802-0_35
10. Di Battista, G., Frati, F., Pach, J.: On the queue number of planar graphs. SIAMJ. Comput. 42(6), 2243–2285 (2013), https://doi.org/10.1137/130908051
11. Dujmovi´c, V.: Graph layouts via layered separators. J. Comb. Theory, Ser. B 110,79–89 (2015), https://doi.org/10.1016/j.jctb.2014.07.005
12. Dujmovi´c, V., Frati, F.: Stack and queue layouts via layered separators. J. GraphAlgorithms Appl. 22(1), 89–99 (2018), https://doi.org/10.7155/jgaa.00454
13. Dujmovi´c, V., Joret, G., Micek, P., Morin, P., Ueckerdt, T., Wood, D.R.: Planargraphs have bounded queue-number. In: Zuckerman, D. (ed.) FOCS. pp. 862–875.IEEE Computer Society (2019), https://doi.org/10.1109/FOCS.2019.00056
14. Dujmovi´c, V., Wood, D.R.: On linear layouts of graphs. Discrete Mathematics &Theoretical Computer Science 6(2), 339–358 (2004), http://dmtcs.episciences.org/317
15. Ewald, G.: Hamiltonian circuits in simplicial complexes. Geometriae Dedicata 2(1),115–125 (1973), https://doi.org/10.1007/BF00149287
16. de Fraysseix, H., de Mendez, P.O., Pach, J.: A left-first search algorithm for planargraphs. Discrete & Computational Geometry 13, 459–468 (1995), https://doi.org/10.1007/BF02574056
17. Guan, X., Yang, W.: Embedding planar 5-graphs in three pages. Discret. Appl.Math. (2019), https://doi.org/10.1016/j.dam.2019.11.020
18. Heath, L.S.: Embedding planar graphs in seven pages. In: FOCS. pp. 74–83. IEEEComputer Society (1984), https://doi.org/10.1109/SFCS.1984.715903
19. Heath, L.S., Leighton, F.T., Rosenberg, A.L.: Comparing queues and stacks asmechanisms for laying out graphs. SIAM J. Discrete Math. 5(3), 398–412 (1992), https://doi.org/10.1137/0405031
20. Heath, L.S., Rosenberg, A.L.: Laying out graphs using queues. SIAM J. Comput.21(5), 927–958 (1992), https://doi.org/10.1137/0221055
21. Hoffmann, M., Klemz, B.: Triconnected planar graphs of maximum degree five aresubhamiltonian. In: Bender, M.A., Svensson, O., Herman, G. (eds.) ESA. LIPIcs,ol. 144, pp. 58:1–58:14. Schloss Dagstuhl - Leibniz-Zentrum f¨ur Informatik (2019), https://doi.org/10.4230/LIPIcs.ESA.2019.58
22. Kainen, P.C., Overbay, S.: Extension of a theorem of Whitney. Appl. Math. Lett.20(7), 835–837 (2007), https://doi.org/10.1016/j.aml.2006.08.019
23. Nishizeki, T., Chiba, N.: Planar Graphs: Theory and Algorithms, chap. 10. Hamil-tonian Cycles, pp. 171–184. Dover Books on Mathematics, Courier Dover Publica-tions (2008)24. Pupyrev, S.: Mixed linear layouts of planar graphs. In: Frati, F., Ma, K. (eds.)Graph Drawing and Network Visualization. LNCS, vol. 10692, pp. 197–209.Springer (2017), https://doi.org/10.1007/978-3-319-73915-1_17
25. Rengarajan, S., Madhavan, C.E.V.: Stack and queue number of 2-trees. In: Du,D., Li, M. (eds.) COCOON. LNCS, vol. 959, pp. 203–212. Springer (1995), https://doi.org/10.1007/BFb0030834
26. Wiechert, V.: On the queue-number of graphs with bounded tree-width. Electr.J. Comb. 24(1), P1.65 (2017),
27. Yannakakis, M.: Four pages are necessary and sufficient for planar graphs (extendedabstract). In: Hartmanis, J. (ed.) ACM Symposium on Theory of Computing. pp.104–108. ACM (1986), https://doi.org/10.1145/12130.12141
28. Yannakakis, M.: Embedding planar graphs in four pages. J. Comput. Syst. Sci.38(1), 36–67 (1989), https://doi.org/10.1016/0022-0000(89)90032-9
29. Yannakakis, M.: Planar graphs that need four pages. CoRR abs/2005.14111 (2020), https://arxiv.org/abs/2005.14111 ppendix
In this appendix, we give proofs that were omitted in the main part due to spaceconstraints.
Lemma 5.
Let L be a mixed layout of G ( k, (cid:96) ) with k > , (cid:96) > . Then, G ( k − , (cid:96) ) does not contain Patterns P.1 – P.3 in L .Proof. We proved in the main part that G ( k − , (cid:96) ) does not contain Pattern P.1 .We complete the proof of this lemma by showing that G ( k − , (cid:96) ) contains neitherPattern P.2 nor Pattern
P.3 .As already mentioned, the proof that G ( k − , (cid:96) ) does not contain Pattern P.2 is similar to the corresponding one for Pattern
P.1 . Here, we give the proof onlyfor the sake of completeness. For a contradiction, let (cid:104) p , . . . , p (cid:105) be Pattern P.2 contained in G ( k − , (cid:96) ); see Fig. 8a. Consider a mixed-attachment x of edge( p , p ) in G ( k, (cid:96) ), whose existence is proven based on Lemmas 1 and 3 as inPattern P.1 . Vertex x has to lie between p and p in L , as otherwise the stack-edge incident to x would cross either the stack-edge ( p , p ) or the stack-edge( p , p ). In this case, however, the queue-edge incident to x forms a 2-rainbowwith the queue-edge ( p , p ); a contradiction. p p p p p p p x (a) p p p p p p p x (b) Fig. 8: Illustrations for the proofs of Patterns
P.2 and
P.3 .For a contradiction, let now (cid:104) p , . . . , p (cid:105) be Pattern P.3 contained in G ( k − , (cid:96) ); refer to Fig. 8b. Similar to the proof of Pattern P.1 , we first argue thatat least one of the (cid:96) > p , p ) in G ( k, (cid:96) ) has tobe a mixed-attachment. Indeed, by Lemma 1, at most two of these vertices canbe stack-attachments. If more than two of these vertices are queue-attachments,then by Lemma 3 they all appear between p and p in L , which is not possible asany queue-edge incident to them would create a 2-rainbow with the queue-edge( p , p ). Hence, at least one vertex x attached to ( p , p ) is a mixed-attachment.Let e and e (cid:48) be the stack- and queue-edge incident to x , respectively. Then, x hasto lie between p and p in L , as otherwise e would cross the stack-edge ( p , p ).Also, x cannot lie between p and p , as otherwise e (cid:48) would form a 2-rainbowwith the queue-edge ( p , p ). Hence, x has to lie between p and p in L . If theedge ( p , x ) is a queue-edge, i.e., e (cid:48) = ( p , x ), then it forms a 2-rainbow with thequeue-edge ( p , p ). Otherwise, the edge ( p , x ) is a stack-edge, i.e., e = ( p , x ),which implies that it crosses the stack-edge ( p , p ). In both cases, we have acontradiction. (cid:117)(cid:116) x x x u x wv (a) x x x v x u x w (b) x x x v x u x w (c) Fig. 9: Illustration for Case 2 of Theorem 1.
Theorem 1. G ( k, (cid:96) ) does not admit a mixed layout if k ≥ , (cid:96) ≥ .Proof. Assume to the contrary that G (5 ,
33) admits a mixed layout L . Considerthe subgraph G (1 ,
33) of G (5 , a, b ). By Lemma 1, in the subgraph G (2 ,
33) of G (5 , a, b ), there is at least one queue-edge ( u, v ).W.l.o.g., we assume that u ≺ v in L . Consider now the subgraph G (3 ,
33) of G (5 , u, v ). By Corollary 1,at least 25 of them are mixed-attachments. Denote them by x , . . . , x . For eachvertex x i with i = 1 , . . . ,
25, one of the following applies: x i ≺ u , or u ≺ x i ≺ v ,or v ≺ x i . For each of them, we further distinguish whether the edge ( u, x i ) is astack or a queue-edge. This defines six possible configurations for vertex x i . Bythe pigeonhole principle, there exist at least five vertices, say w.l.o.g., x , . . . , x ,that are attached with the same configuration to edge ( u, v ). In the following,we find a contradiction in each of these configurations, assuming w.l.o.g. x ≺ x ≺ x ≺ x ≺ x in L . Case 1.
For i = 1 , . . . , , v ≺ x i and edge ( u, x i ) is a queue-edge : The sub-graph G (4 ,
33) of G (5 ,
33) contains 33 attachments to the queue-edge ( u, x ).By Corollary 1, at least 25 of them are mixed-attachments. Let w be such anattachment. It follows that either ( x , w ) or ( u, w ) is a stack-edge.In the former case, the stack-edges ( v, x ) and ( v, x ) enforce x ≺ w ≺ x ; seeFig. 7a. It follows that (cid:104) u, v, x , w, x , x , x (cid:105) or (cid:104) u, v, x , w, x , x , x (cid:105) of G (4 , P.2 in L , depending on whether x ≺ w ≺ x or x ≺ w ≺ x ,respectively. This contradicts Lemma 5.In the latter case, the stack-edge ( v, x ) enforces that either w ≺ v or x ≺ w .We consider three subcases. If w ≺ u , then a 2-rainbow is formed by the queue-edges ( w, x ) and ( u, x ). If u ≺ w ≺ v , then a 2-rainbow is formed by thequeue-edges ( w, x ) and ( u, x ); see Fig. 7b. Otherwise, x ≺ w holds. It followsthat (cid:104) u, v, x , x , x , x , w (cid:105) of G (4 ,
33) form Pattern
P.3 in L ; see Fig. 7c. Allthree cases lead to a contradiction. Case 2.
For i = 1 , . . . , , v ≺ x i and edge ( u, x i ) is a stack-edge : The subgraph G (4 ,
33) of G (5 ,
33) contains 33 attachments to the queue-edge ( v, x ). By Corol-lary 1, at least 25 of them are mixed-attachments. Let w be such an attachment.It follows that either ( x , w ) or ( v, w ) is a stack-edge.In the former case, the stack-edges ( u, x ) and ( u, x ) enforce x ≺ w ≺ x ; see Fig. 9a. It follows that (cid:104) u, v, x , w, x , x , x (cid:105) or (cid:104) u, v, x , x , w, x , x (cid:105) x x vx u x w (a) x x x vx u wx (b) x x x vx uw x (c) Fig. 10: Illustration for Case 3 of Theorem 1.of G (4 ,
33) form Pattern
P.1 in L , depending on whether x ≺ w ≺ x or x ≺ w ≺ x , respectively. This contradicts Lemma 5.In the latter case, the stack-edge ( u, x ) enforces u ≺ w ≺ x . We considertwo subcases. If u ≺ w ≺ v , then a 2-rainbow is formed by the queue-edges( w, x ) and ( v, x ); see Fig. 9b. Otherwise, v ≺ w ≺ x holds, in which case a2-rainbow is formed by the queue-edges ( v, x ) and ( w, x ); see Fig. 9c. Bothcases lead to a contradiction. Case 3.
For i = 1 , . . . , , u ≺ x i ≺ v and edge ( u, x i ) is a stack-edge : As in theprevious cases, we first observe that the subgraph G (4 ,
33) of G (5 ,
33) contains33 attachments to the queue-edge ( v, x ). By Corollary 1, at least 25 of them aremixed-attachments. Let w be such an attachment. It follows that either ( x , w )or ( v, w ) is a stack-edge.In the former case, the stack-edges ( u, x ) and ( u, x ) enforce x ≺ w ≺ x ;see Fig. 10a. It follows that (cid:104) u, x , x , w, x , x , v (cid:105) or (cid:104) u, x , x , x , w, x , v (cid:105) of G (4 ,
33) form Pattern
P.1 in L , depending on whether x ≺ w ≺ x or x ≺ w ≺ x , respectively. This contradicts Lemma 5.In the latter case, the stack-edge ( u, x ) enforces that either w ≺ u or x ≺ w .We consider three subcases. If v ≺ w , then a 2-rainbow is formed by the queue-edges ( w, x ) and ( v, x ). If x ≺ w ≺ v , then a 2-rainbow is formed by thequeue-edges ( w, x ) and ( v, x ); see Fig. 10b. Otherwise, w ≺ u holds. It followsthat (cid:104) w, u, x , x , x , x , v (cid:105) of G (4 ,
33) form Pattern
P.3 in L ; see Fig. 10c. Allthree cases lead to a contradiction. Case 4.
For i = 1 , . . . , , x i ≺ u and edge ( u, x i ) is a stack-edge : This case issymmetric to Case 1. Case 5.
For i = 1 , . . . , , x i ≺ u and edge ( u, x i ) is a queue-edge : This case issymmetric to Case 2. Case 6.
For i = 1 , . . . , , u ≺ x i ≺ v and edge ( u, x i ) is a queue-edge : Thiscase is symmetric to Case 3.Since Cases 1–6 have led to a contradiction, G (5 ,
33) does not admit any mixedlayout, as desired.33) does not admit any mixedlayout, as desired.