A hole in a graph $G$ is an induced cycle of length at least four, and an even hole is a hole of even length. The diamond is the graph obtained from the complete graph $K_4$ by removing an edge. A pyramid is a graph consisting of a vertex $a$ called the apex and a triangle $\{b_1, b_2, b_3\}$ called the base, and three paths $P_i$ from $a$ to $b_i$ for $1 \leq i \leq 3$, all of length at least one, such that for $i \neq j$, the only edge between $P_i \setminus \{a\}$ and $P_j \setminus \{a\}$ is $b_ib_j$, and at most one of $P_1$, $P_2$, and $P_3$ has length exactly one. For a family $\mathcal{H}$ of graphs, we say a graph $G$ is $\mathcal{H}$free if no induced subgraph of $G$ is isomorphic to a member of $\mathcal{H}$. Cameron, da Silva, Huang, and Vušković proved that (even hole, triangle)free graphs have treewidth at most five, which motivates studying the treewidth of evenholefree graphs of larger clique number. Sintiari and Trotignon provided a construction of (even hole, pyramid, $K_4$)free graphs of arbitrarily large treewidth. Here, we show that for every $t$, (even hole, pyramid, diamond, $K_t$)free graphs have bounded treewidth. The graphs constructed by Sintiari and Trotignon contain diamonds, so our result is sharp in the sense that it is false if we do not exclude diamonds. Our main result is in fact more general, that treewidth is bounded in graphs excluding certain wheels and threepathconfigurations, diamonds, and a fixed complete graph. The proof uses “noncrossing decompositions” methods similar to those in previous papers in this series. In previous papers, however, bounded degree was a necessary condition to prove bounded treewidth. The result of this paper is the first to use the method of “noncrossing decompositions” to prove bounded treewidth in a graph class of unbounded maximum degree.
more » « less Award ID(s):
 2120644
 NSFPAR ID:
 10516145
 Publisher / Repository:
 Elsevier
 Date Published:
 Journal Name:
 The Electronic Journal of Combinatorics
 Volume:
 30
 Issue:
 2
 ISSN:
 10778926
 Format(s):
 Medium: X
 Sponsoring Org:
 National Science Foundation
More Like this

A _theta_ is a graph consisting of two nonadjacent vertices and three internally disjoint paths between them, each of length at least two. For a family $\mathcal{H}$ of graphs, we say a graph $G$ is $\mathcal{H}$_free_ if no induced subgraph of $G$ is isomorphic to a member of $\mathcal{H}$. We prove a conjecture of Sintiari and Trotignon, that there exists an absolute constant $c$ for which every (theta, triangle)free graph $G$ has treewidth at most $c\log (V(G))$. A construction by Sintiari and Trotignon shows that this bound is asymptotically best possible, and (theta, triangle)free graphs comprise the first known hereditary class of graphs with arbitrarily large yet logarithmic treewidth.Our main result is in fact a generalization of the above conjecture, that treewidth is at most logarithmic in $V(G)$ for every graph $G$ excluding the socalled _threepathconfigurations_ as well as a fixed complete graph. It follows that several NPhard problems such as Stable Set, Vertex Cover, Dominating Set and $k$Coloring (for fixed $k$) admit polynomial time algorithms in graphs excluding the threepathconfigurations and a fixed complete graph.more » « less

Abstract The tree‐independence number , first defined and studied by Dallard, Milanič, and Štorgel, is a variant of treewidth tailored to solving the maximum independent set problem. Over a series of papers, Abrishami et al. developed the so‐called central bag method to study induced obstructions to bounded treewidth. Among others, they showed that, in a certain superclass of (even hole, diamond, pyramid)‐free graphs, treewidth is bounded by a function of the clique number. In this paper, we relax the bounded clique number assumption, and show that has bounded . Via existing results, this yields a polynomial‐time algorithm for the Maximum Weight Independent Set problem in this class. Our result also corroborates, for this class of graphs, a conjecture of Dallard, Milanič, and Štorgel that in a hereditary graph class, is bounded if and only if the treewidth is bounded by a function of the clique number.

Abstract What are the unavoidable induced subgraphs of graphs with large treewidth? It is well‐known that the answer must include a complete graph, a complete bipartite graph, all subdivisions of a wall and line graphs of all subdivisions of a wall (we refer to these graphs as the “basic treewidth obstructions”). So it is natural to ask whether graphs excluding the basic treewidth obstructions as induced subgraphs have bounded treewidth. Sintiari and Trotignon answered this question in the negative. Their counterexamples, the so‐called “layered wheels,” contain wheels, where a
wheel consists of ahole (i.e., an induced cycle of length at least four) along with a vertex with at least three neighbors in the hole. This leads one to ask whether graphs excluding wheels and the basic treewidth obstructions as induced subgraphs have bounded treewidth. This also turns out to be false due to Davies' recent example of graphs with large treewidth, no wheels and no basic treewidth obstructions as induced subgraphs. However, in Davies' example there exist holes and vertices (outside of the hole) with two neighbors in them. Here we prove that a hole with a vertex with at least two neighbors in it is inevitable in graphs with large treewidth and no basic obstruction. Our main result is that graphs in which every vertex has at most one neighbor in every hole (that does not contain it) and with the basic treewidth obstructions excluded as induced subgraphs have bounded treewidth. 
null (Ed.)Understanding the structure of minorfree metrics, namely shortest path metrics obtained over a weighted graph excluding a fixed minor, has been an important research direction since the fundamental work of Robertson and Seymour. A fundamental idea that helps both to understand the structural properties of these metrics and lead to strong algorithmic results is to construct a “smallcomplexity” graph that approximately preserves distances between pairs of points of the metric. We show the two following structural results for minorfree metrics: 1) Construction of a light subset spanner. Given a subset of vertices called terminals, and ϵ, in polynomial time we construct a sub graph that preserves all pairwise distances between terminals up to a multiplicative 1+ϵ factor, of total weight at most Oϵ(1) times the weight of the minimal Steiner tree spanning the terminals. 2) Construction of a stochastic metric embedding into low treewidth graphs with expected additive distortion ϵD. Namely, given a minorfree graph G=(V,E,w) of diameter D, and parameter ϵ, we construct a distribution D over dominating metric embeddings into treewidthOϵ(log n) graphs such that ∀u,v∈V, Ef∼D[dH(f(u),f(v))]≤dG(u,v)+ϵD. Our results have the following algorithmic consequences: (1) the first efficient approximation scheme for subset TSP in minorfree metrics; (2) the first approximation scheme for boundedcapacity vehicle routing in minorfree metrics; (3) the first efficient approximation scheme for boundedcapacity vehicle routing on bounded genus metrics. En route to the latter result, we design the first FPT approximation scheme for boundedcapacity vehicle routing on boundedtreewidth graphs (parameterized by the treewidth).more » « less

Abstract A graph is said to be ‐free if it does not contain any subdivision of as an induced subgraph. Lévêque, Maffray and Trotignon conjectured that every ‐free graph is 4‐colorable. In this paper, we show that this conjecture is true for the class of {, diamond, bowtie}‐free graphs, where a diamond is the graph obtained from by removing one edge and a bowtie is the graph consisting of two triangles with one vertex identified.