Abstract 1 Introduction 2 Queue Layouts 3 Stack Layouts 4 Open Problems References

Defective Linear Layouts of Graphs

Michael A. Bekos ORCID University of Ioannina, Greece Carla Binucci ORCID University of Perugia, Italy Emilio Di Giacomo ORCID University of Perugia, Italy Walter Didimo ORCID University of Perugia, Italy Luca Grilli ORCID University of Perugia, Italy Maria Eleni Pavlidi ORCID University of Ioannina, Greece Alessandra Tappini ORCID University of Perugia, Italy Alexandra Weinberger ORCID FernUniversität in Hagen, Germany
Abstract

A linear layout of a graph defines a total order of the vertices and partitions the edges into either stacks or queues, i.e., crossing-free and non-nested sets of edges along the order, respectively. In this work, we study defective linear layouts that allow forbidden patterns among edges of the same set. Our focus is on k-defective stack layouts and k-defective queue layouts, in which the conflict graph representing the forbidden patterns among the edges of each stack or queue has maximum degree at most k.

Keywords and phrases:
Linear layouts, stack layouts, queue layouts, defective layouts
Category:
Poster Abstract
Copyright and License:
[Uncaptioned image] © Michael A. Bekos, Carla Binucci, Emilio Di Giacomo, Walter Didimo, Luca Grilli, Maria Eleni Pavlidi, Alessandra Tappini, and Alexandra Weinberger; licensed under Creative Commons License CC-BY 4.0
2012 ACM Subject Classification:
Mathematics of computing Graph algorithms
; Mathematics of computing Graph theory
Acknowledgements:
Research started at the Bertinoro Workshop on Graph Drawing 2024.
Funding:
Bekos and Pavlidi were supported by HFRI Grant No: 26320.
Editors:
Vida Dujmović and Fabrizio Montecchiani

1 Introduction

Stack [3] and queue [5] layouts are key concepts in topological graph theory, where vertices are ordered and edges are partitioned into non-crossing (stacks) or non-nested (queues) sets. The goal is to minimize the number of stacks/queues – known as the stack/queue number. We introduce k-defective linear layouts, a generalization of stack/queue layouts that allows some forbidden patterns (edge crossings or nestings), controlled by a conflict graph with maximum degree k. Classical layouts correspond to the case k=0. Our contributions include: (i) characterizations of k-defective layouts; (ii) bounds on edge density; and (iii) bounds or exact values of k-defective numbers for specific graph families.

2 Queue Layouts

We first bound the density of graphs admitting k-defective h-queue layouts. Let v0vn1 be a vertex ordering of a graph G. Partition the edges into n1 classes, where edges (vi1,vj1) and (vi2,vj2) belong to the same class if i1+j12=i2+j22. We denote by Ci the class whose maximum number of edges is i (i=1,,n1). Note that if Ci has i edges, it induces a path.

Lemma 1.

Let be a k-defective h-queue layout of a graph G. Every defective queue of contains at most k+2 edges of each class.

Theorem 2.

Any n-vertex graph that admits a k-defective h-queue layout has at most h(k+2)(nh(k+2)+12) edges, for nh(k+2)+1.

Sketch.

Let be a k-defective h-queue layout of a graph G with n vertices and m edges. Classes with at most h(k+2) edges are small, otherwise are large. Let nl be the number of large classes, and ms the number of edges in small classes. We claim mnlh(k+2)+ms. Suppose, for contradiction, that m>nlh(k+2)+ms. Then some large class must have more than h(k+2) edges, implying a queue with more than k+2 edges from that class, contradicting Lemma 1. Since each class has at most i edges, we have nl=n1h(k+2), and msi=1h(k+2)i=h(k+2)(h(k+2)+1)2. Therefore, m(n1h(k+2))h(k+2)+h(k+2)(h(k+2)+1)2=h(k+2)(nh(k+2)+12). Finally, h(k+2)(nh(k+2)+12)n(n1)2 for nh(k+2)+1. We next consider defectiveness and queue number. In this content, outerplanar graphs have queue number 2 [7], but not all admit 1-queue layouts with bounded defectiveness. Outer 1-planar graphs have queue number at most 42 [2]; we show that their 1-defective queue number is 2, so their queue number is at most 3.
For general planar graphs, we can prove an upper bound of 33 on their 1-defective queue number by adapting a well-known technique by Dujmovic et al. [4].
We next establish bounds on the k-defective queue number of Kn that are tight for k=1.

Theorem 3.

The k-defective queue number of Kn is at least n1k+2 and at most n1l, where l=3+8k+12.

Sketch.

For the lower bound, consider a k-defective queue layout of Kn. The edges can be partitioned into classes C1,,Cn1. Since Cn1 has n1 edges and at most k+2 edges can share a defective queue (Lemma 1), at least n1k+2 queues are needed. We prove the upper bound via an explicit construction. For h to be specified, assign to each defective queue qa (for 0ah) all edges with hop-size al+i for 1il. The edges with the most nestings are the (al+l)-hop edges, each nesting 12(l2)(l1) edges, ensuring the layout is k-defective. To cover all n(n1)2 edges of Kn, note that each qa contains i=1l(n(al+i)) edges. For h=n1l, the total edges assigned satisfy a=0h1i=1l(n(al+i))n(n1)2. We give bounds on the k-defective queue number of Kn,n, considering both the general case and the separated setting, where one part precedes the other [1].

Corollary 4.

The 1-defective queue number of Kn,n in the separated setting is 2n13. For k>1, it ranges between 2n1k+2 and 2n1l in the separated setting, while in the non-separated setting it ranges between n1k+2 and 2n1l, where l=3+8k+12.

3 Stack Layouts

A graph admits a k-defective h-stack layout if and only if its edges can be partitioned into h defective stacks, each forming an outer k-planar subgraph. This yields the following characterization.

Theorem 5.

A graph has k-defective stack number 1 if and only if it is outer k-planar.

We leverage the characterization given above to obtain bounds on the edge density of the graphs admitting k-defective h-stack layouts.

Theorem 6 (Ábrego et al. [8], Pach et al. [6]).

Any n-vertex graph that admits a k-defective 1-stack layout has at most: (i) 52n4edges, if k=1, (ii) 3n5edges, if k=2, (iii) 134n112edges, if k=3, (iv) O(kn), otherwise. Also, the first three bounds are tight.

Theorem 7.

An n-vertex graph with a 1-defective h-stack layout has at most (32h+1)n4h edges.

In the following, we present bounds on the k-defective stack numbers of Kn and Kn,n. For k=1, our upper bounds are tight (up to small constants).

Theorem 8.

The k-defective stack number of Kn is at least n2k+2 and at most nl+2, where l=1+8k+12.

Corollary 9.

The 1-defective stack number of Kn,n in the separated setting is at least n2 and at most 2n3, while in the non-seperated setting it is at least n4 and at most n2.

Theorem 10.

The k-defective stack number of Kn,n in the separated setting is at least n2k+2 and at most nl, where l=k+1.

4 Open Problems

Our work raises several new open problems, which we list below.

  • Extend to other linear layouts (e.g., deques, riques) and mixed settings.

  • Explore defects beyond bounded conflict graph degree, such as bounding diameter.

  • Research questions from our results: (i) complexity of recognizing graphs with k-defective h-queue layouts for k,h1, (ii) improve bounds on k-defective stack and queue numbers of Kn for k>1, and (iii) study other graph classes.

References

  • [1] Jawaherul Md. Alam, Michael A. Bekos, Martin Gronemann, Michael Kaufmann, and Sergey Pupyrev. The mixed page number of graphs. Theor. Comput. Sci., 931:131–141, 2022. doi:10.1016/J.TCS.2022.07.036.
  • [2] Michael A. Bekos, Martin Gronemann, and Chrysanthi N. Raftopoulou. An improved upper bound on the queue number of planar graphs. Algorithmica, 85(2):544–562, 2023. doi:10.1007/s00453-022-01037-4.
  • [3] Frank Bernhart and Paul C. Kainen. The book thickness of a graph. J. Comb. Theory, Ser. B, 27(3):320–331, 1979. doi:10.1016/0095-8956(79)90021-2.
  • [4] Vida Dujmović, Gwenaël Joret, Piotr Micek, Pat Morin, Torsten Ueckerdt, and David R. Wood. Planar graphs have bounded queue-number. J. ACM, 67(4):22:1–22:38, 2020. doi:10.1145/3385731.
  • [5] Lenwood S. Heath and Arnold L. Rosenberg. Laying out graphs using queues. SIAM J. Comput., 21(5):927–958, 1992. doi:10.1137/0221055.
  • [6] János Pach and Géza Tóth. Graphs drawn with few crossings per edge. Comb., 17(3):427–439, 1997. doi:10.1007/BF01215922.
  • [7] S. Rengarajan and C. E. Veni Madhavan. Stack and queue number of 2-trees. In Ding-Zhu Du and Ming Li, editors, Computing and Combinatorics, First Annual International Conference, COCOON ’95, Xi’an, China, August 24-26, 1995, Proceedings, volume 959 of Lecture Notes in Computer Science, pages 203–212, 1995. doi:10.1007/BFB0030834.
  • [8] Bernardo M. Ábrego, Joseph Dandurand, Silvia Fernández-Merchant, Emilie Lagoda, and Yury Sapozhnikov. Book crossing numbers of the complete graph and small local convex crossing numbers. CoRR, abs/1607.00131, 2024. URL: https://arxiv.org/abs/1607.00131.