A new graph parameter to measure linearity

• Published in: Journal of graph theory Vol. 103; no. 3; pp. 462 - 485
• Main Authors: Charbit, Pierre, Habib, Michel, Mouatadid, Lalla, Naserasr, Reza
• Format: Journal Article
• Language: English
• Published: Hoboken Wiley Subscription Services, Inc 01.07.2023
• Subjects: asteroidal number; cocomparability graphs; graph search; Graphs; interval graphs; LexBFS; Linearity; multisweep algorithms
• DOI: 10.1002/jgt.22929
• ISSN: 0364-9024

Consider a sequence of Lexicographic Breadth‐First‐Search vertex orderings σ1,σ2,… ${\sigma }_{1},{\sigma }_{2},\ldots $ where each ordering σi ${\sigma }_{i}$ is used to break ties for σi+1 ${\sigma }_{i+1}$. Since the total number of vertex orderings of a finite graph is finite, this sequence must end in a cycle of vertex orderings. The possible length of this cycle is the main subject of this work. Intuitively, we prove for graphs with a known notion of linearity (e.g., interval graphs with their interval representation on the real line), this cycle cannot be too big, no matter which vertex ordering we start with. More precisely, it was conjectured by Dusart and Habib that for cocomparability graphs, the size of this cycle is always 2, independent of the starting order. Furthermore Stacho asked whether for arbitrary graphs, the size of such a cycle is always bounded by the asteroidal number of the graph. In this work, while we answer this latter question negatively, we provide support for the conjecture on cocomparability graphs by proving it for the subclass of domino‐free cocomparability graphs. This subclass contains cographs, proper interval, interval and cobipartite graphs. We also provide simpler independent proofs for each of these cases which lead to stronger results on this subclasses.