Table of Contents
Fetching ...

Thinness and its variations on some graph families and coloring graphs of bounded thinness

Flavia Bonomo-Braberman, Eric Brandwein, Fabiano S. Oliveira, Moysés S. Sampaio, Agustin Sansone, Jayme L. Szwarcfiter

TL;DR

The paper investigates how bounded thinness generalizes interval graphs by studying (proper) $k$-thin graphs and several variants across crown graphs $CR_n$, cographs, and grids $GR_{n,m}$. It develops structural characterizations and constructive layouts to obtain exact thinness values for $CR_n$, polynomial-time computability for precedence thinness on cographs, and tighter bounds for grid thinness and precedence thinness, including the specialized case of $GR_{2,n}$. It further establishes the computational complexity of coloring on these classes, proving NP-completeness for precedence $2$-thin and proper $2$-thin graphs with $k$ part of the input, while showing polynomial-time solvability for precedence proper $2$-thin graphs due to perfect orderability. These results advance understanding of how thinness controls algorithmic feasibility in colored graph problems and offer practical partition/order constructions for important graph families.

Abstract

Interval graphs and proper interval graphs are well known graph classes, for which several generalizations have been proposed in the literature. In this work, we study the (proper) thinness, and several variations, for the classes of cographs, crowns graphs and grid graphs. We provide the exact values for several variants of thinness (proper, independent, complete, precedence, and combinations of them) for the crown graphs $CR_n$. For cographs, we prove that the precedence thinness can be determined in polynomial time. We also improve known bounds for the thinness of $n \times n$ grids $GR_n$ and $m \times n$ grids $GR_{m,n}$, proving that $\left \lceil \frac{n-1}{3} \right \rceil \leq \mbox{thin}(GR_n) \leq \left \lceil \frac{n+1}{2} \right \rceil$. Regarding the precedence thinness, we prove that $\mbox{prec-thin}(GR_{n,2}) = \left \lceil \frac{n+1}{2} \right \rceil$ and that $\left \lceil \frac{n-1}{3} \right \rceil \left \lceil\frac{n-1}{2} \right \rceil + 1 \leq \mbox{prec-thin}(GR_n) \leq \left \lceil\frac{n-1}{2} \right \rceil^2+1$. As applications, we show that the $k$-coloring problem is NP-complete for precedence $2$-thin graphs and for proper $2$-thin graphs, when $k$ is part of the input. On the positive side, it is polynomially solvable for precedence proper $2$-thin graphs, given the order and partition.

Thinness and its variations on some graph families and coloring graphs of bounded thinness

TL;DR

The paper investigates how bounded thinness generalizes interval graphs by studying (proper) -thin graphs and several variants across crown graphs , cographs, and grids . It develops structural characterizations and constructive layouts to obtain exact thinness values for , polynomial-time computability for precedence thinness on cographs, and tighter bounds for grid thinness and precedence thinness, including the specialized case of . It further establishes the computational complexity of coloring on these classes, proving NP-completeness for precedence -thin and proper -thin graphs with part of the input, while showing polynomial-time solvability for precedence proper -thin graphs due to perfect orderability. These results advance understanding of how thinness controls algorithmic feasibility in colored graph problems and offer practical partition/order constructions for important graph families.

Abstract

Interval graphs and proper interval graphs are well known graph classes, for which several generalizations have been proposed in the literature. In this work, we study the (proper) thinness, and several variations, for the classes of cographs, crowns graphs and grid graphs. We provide the exact values for several variants of thinness (proper, independent, complete, precedence, and combinations of them) for the crown graphs . For cographs, we prove that the precedence thinness can be determined in polynomial time. We also improve known bounds for the thinness of grids and grids , proving that . Regarding the precedence thinness, we prove that and that . As applications, we show that the -coloring problem is NP-complete for precedence -thin graphs and for proper -thin graphs, when is part of the input. On the positive side, it is polynomially solvable for precedence proper -thin graphs, given the order and partition.
Paper Structure (11 sections, 30 theorems, 1 equation, 5 figures, 1 table, 3 algorithms)

This paper contains 11 sections, 30 theorems, 1 equation, 5 figures, 1 table, 3 algorithms.

Key Result

Theorem 1

A graph $G$ is an interval graph if and only if there is an ordering $\sigma$ of $V(G)$ such that, for any triple $(p,q,r)$ of vertices of $V(G)$ ordered according to $\sigma$, if $(p,r) \in E(G)$, then $(q,r)\in E(G)$.

Figures (5)

  • Figure 1: Scheme for the consistent partition and ordering of a grid in Theorem \ref{['thinness-GRmn']}. The third drawing shows the combined ordering of two consecutive classes (bottom up).
  • Figure 2: Scheme for the partition of a grid in Theorem \ref{['precthinness-GRn2']}.
  • Figure 3: Scheme for the partition of a grid in Theorem \ref{['precthinness-GRn']}.
  • Figure 4: The forbidden ordered induced subgraphs for an interval order ($\{S_1,S_2\}$) and a proper interval order ($\{S_1,S_2,S_3\}$).
  • Figure 5: The forbidden ordered induced subgraphs for a perfect order.

Theorems & Definitions (63)

  • Theorem 1: Ola-interval
  • Theorem 2: Rob-box
  • Lemma 3: Alternative characterization for strong consistency B-B-M-P-convex-jcss
  • Theorem 4
  • proof
  • Corollary 5
  • proof
  • Corollary 6
  • proof
  • Claim 7
  • ...and 53 more