The Mixed Page Number of Graphs Jawaherul Md. Alam1 , Michael A. Bekos2 , Martin Gronemann3 , Michael Kaufmann2 , and Sergey Pupyrev4 1 Amazon Inc., Tempe, AZ, USA [email protected] 2 Institut f¨urInformatik, Universit¨atT¨ubingen,T¨ubingen,Germany fbekos,[email protected] 3 Theoretical Computer Science, Osnabr¨uck University, Osnabr¨uck, Germany [email protected] 4 Facebook, Inc., Menlo Park, CA, USA [email protected] Abstract. A linear layout of a graph typically consists of a total vertex order, and a partition of the edges into sets of either non-crossing edges, called stacks, or non-nested edges, called queues. The stack (queue) number of a graph is the minimum number of required stacks (queues) in a linear layout. Mixed linear layouts combine these layouts by allowing each set of edges to form either a stack or a queue. In this work we initiate the study of the mixed page number of a graph which corresponds to the minimum number of such sets. First, we study the edge density of graphs with bounded mixed page number. Then, we focus on complete and complete bipartite graphs, for which we derive lower and upper bounds on their mixed page number. Our findings indicate that combining stacks and queues is more powerful in various ways compared to the two traditional layouts. Keywords: Linear layouts · Mixed page number · Stacks and queues 1 Introduction Linear layouts of graphs form an important research topic, which has been studied in different areas and under different perspectives. As a matter of fact, several combinatorial optimization problems are defined by means of a measure over a linear layout of a graph (including the well- known cutwidth [1], bandwidth [9] and pathwidth [23]). As a result, the corresponding literature is rather rich; see [24]. Typically, a linear layout of a graph is defined by a total order of its vertices together with an objective over its edges that one seeks to optimize. In this work, we focus on linear layouts in which the edges must be partitioned into a minimum number of sets, called pages, such that each page in the partition has a certain property [13]. The most prominent representatives in this category are the stack layouts (also known as book embeddings) and the queue layouts. The former do not allow two edges in the same page (called stack, in this context) to cross [7], while in the latter no two edges of the same page (called queue, in this context) can nest [18]; see Fig. 1. In other words, the endpoints of the edges of the same stack (queue) follow the LIFO (FIFO) principle in the underlying order. arXiv:2107.04993v1 [cs.DS] 11 Jul 2021 Given a graph, its stack (queue) number is defined as the minimum number of stacks (queues) in an stack (queue) layout of the graph. Both of these graph parameters have been extensively studied; see [12,17,18,26,27]. For example, it is known that both the stack and the queue number n of the n-vertex complete graph, Kn, is b 2 c [7, 19]. However, for several families of graphs, the exact stack or queue number is unknown. This motivates the study of corresponding upper and lower bounds for these parameters. The most notable example in this category regards the stack n number of the complete bipartite graph Kn;n; the best-known lower bound is b 2 c [7], while the 2n corresponding best upper bound is b 3 c + 1 [16]. On the other hand, the queue number of Kn;n is n exactly b 2 c [19]. Another notable example is the queue number of planar graphs; the best-known lower bound is 4 [2], while the corresponding best upper bound is 49 [12]. Note that the stack number of the planar graphs was recently shown to be exactly 4 [5,27]. A natural generalization of stack and queue layouts was introduced back in 1992 by Heath and Rosenberg [19], who proposed the study of s-stack q-queue layouts that consist of s stacks and q 2 Alam et al. (a) (b) (c) Fig. 1: Different layouts of K6: (a) 1-stack 1-queue, (b) 3-stack, and (c) 3-queue. queues. In the seminal paper [19], they conjectured that every planar graph admits a 1-stack 1- queue layout. This conjecture, however, was settled in the negative by Pupyrev [21] in 2017, while more recently Bekos et al. [3] showed that the conjecture does not hold even for series-parallel graphs. Dujmovi´cand Wood [14], and Enomoto and Miyauchi [15] showed that a graph G admits a 1-stack 1-queue linear layout, when each edge can be subdivided O(log sn) or O(log qn) times, where sn and qn denote the stack and queue numbers of G, respectively. For the case of planar graphs, Pupyrev [21] showed that one subdivision vertex per edge is sufficient to guarantee a 1-stack 1-queue layout. Even though the problem of studying mixed linear layouts has been highlighted in several works [4,5,12], the corresponding literature is still limited and ends with another hardness result by de Col et al. [10], who proved that determining whether a graph admits a 2-stack 1-queue layout is NP-complete. Despite these mostly-negative results, one still naturally expects a reduction on the total number of pages (i.e., stacks or queues) required in a mixed layout with respect to the corresponding ones required in pure stack or queue layouts. This expectation, however, has not been confirmed so far, mainly due to the different nature of stacks and queues, which makes them difficult to be combined. Our contribution. In this work, we confirm the aforementioned expectation. To achieve this, we introduce and study a new graph parameter, called mixed page number, which equals to the minimum value of s + q for which an s-stack q-queue layout for the graph exists. Our contribution is as follows: { In Section 3, we study properties of graphs admitting s-stack q-queue layouts, including their edge density and the complexity of their recognition. { In Section 4, we show that the mixed page number of the n-vertex complete graph Kn is at 3(n−4) n least d 8 e and at most 2d 5 e, which implies that its mixed page number is strictly less than its stack and queue number (e.g., the stack and queue number of K6 is 3, while its mixed page number is 2; see Fig. 1). { In Section 5, we focus on the complete bipartite graph Kn;n. We prove that its mixed page 2n number is d 3 e in the special case, in which all vertices of one of its parts precede those of the other. For the general setting, we show that the mixed page number of Kn;n ranges between n n d 3 e and b 2 c. We present preliminary notions and definitions in Section 2. In Section 6, we conclude with a list of interesting open problems raised by our work. 2 Preliminary Definitions and Notation A vertex order ≺ of a graph G is a total order of its vertices, such that for any two vertices u and v of G, u ≺ v if and only if u precedes v in the order. We write [u1; : : : ; uk] to denote ui ≺ ui+1 for all 1 ≤ i ≤ k − 1. Let F be a set of k ≥ 2 independent edges (ui; vi) of G, that is, F = f(ui; vi); i = 1; : : : ; kg. If the order is [u1; : : : ; uk; vk; : : : ; v1], then we say that the edges of F form a k-rainbow, while if the order is [u1; v1; : : : ; uk; vk], then the edges of F form a k- necklace. The edges of F form a k-twist, if the order is [u1; : : : ; uk; v1; : : : ; vk]; see Fig. 2. Two independent edges that form a 2-twist (2-rainbow, 2-necklace, respectively) are commonly referred to as crossing (nested, disjoint, respectively). A stack (queue) is a set of pairwise non-crossings (non-nested, respectively) edges in ≺. A mixed s-stack q-queue layout of a graph consists of a vertex order ≺, called linear order, and a partition of its edges into s stacks and q queues. Hence, an s-stack (q-queue) layout is a The Mixed Page Number of Graphs 3 u1 u2 u3 v3 v2 v1 u1 v1 u2 v2 u3 v3 u1 u2 u3 v1 v2 v3 (a) (b) (c) Fig. 2: Illustration of: (a) a 3-rainbow, (b) a 3-necklace, and (c) a 3-twist. mixed s-stack 0-queue (0-stack q-queue) layout. The stack (queue) number of a graph G is the minimum k, such that G admits a k-stack (k-queue) layout. In this work, we study the mixed page number of a graph. Definition 1 (Mixed page number). The mixed page number of a graph G is the minimum value of s + q such that G admits an s-stack q-queue layout. Note that in a k-page mixed layout, each of the k pages can be either a stack or a queue. We stress the difference with so-called simultaneous layouts in which every page is a stack and a queue [22]. The next property follows from Definition 1. Property 1. The mixed page number of a graph is upper bounded by its stack number and by its queue number. 3 Basic Properties and Preliminary Results In this section, we introduce basic properties of mixed linear layouts.