arXiv++ Combinatorics

We address three questions of Spiro [Europ. J. Combin., 133:Paper No. 104307, 2026] on smallest $q$-kernels in digraphs. All three questions are on the existence of small $q$-kernels in digraphs, where 'smallness' is measured in different ways. We answer one of these questions in the affirmative, and the other two in the negative. We further study the latter two questions in the context of bipartite digraphs. In particular, we show that in the bipartite setting, the answer to one of the two questions is affirmative if and only if $q$ is odd. For the other question, we show that the answer is positive when the digraph is bipartite and $q$ is odd (the case when the digraph is bipartite and $q$ is even remains open).

This is the first in a series of two papers dealing with $(2P_3,C_4,C_6)$-free graphs, or equivalently, $(2P_3,\text{even hole})$-free graphs. In this two-paper series, we give a full structural description of $(2P_3,C_4,C_6)$-free graphs that contain no simplicial vertices, and we show that such graphs have bounded clique-width. This implies that Graph Coloring can be solved in polynomial time for $(2P_3,C_4,C_6)$-free graphs. In this paper, we describe the structure of $(2P_3,C_4,C_6)$-free graphs that contain an induced $C_7$ or an induced $T_0$ (where $T_0$ is a certain 2-connected graph on nine vertices in which all holes are of length five), and we show that such graphs either contain a simplicial vertex or have bounded clique-width. In the second part of this series, we describe the structure of all $(2P_3,C_4,C_6,C_7,T_0)$-free graphs that contain no simplicial vertices, and we show that such graphs have bounded clique-width. The full statement of the theorem describing the structure of $(2P_3,C_4,C_6)$-free graphs that contain no simplicial vertices is given in the second paper of this series.

This is the second in a series of two papers dealing with $(2P_3,C_4,C_6)$-free graphs, or equivalently, $(2P_3,\text{even hole})$-free graphs. In this two-paper series, we give a full structural description of $(2P_3,C_4,C_6)$-free graphs that contain no simplicial vertices, and we show that such graphs have bounded clique-width. This implies that Graph Coloring can be solved in polynomial time for $(2P_3,C_4,C_6)$-free graphs. In the first paper of the series, we described the structure of $(2P_3,C_4,C_6)$-free graphs that contain an induced $C_7$ or an induced $T_0$ (where $T_0$ is a certain 2-connected graph on nine vertices in which all holes are of length five), and we showed that such graphs either contain a simplicial vertex or have bounded clique-width. In the present paper (the second part of the series), we describe the structure of $(2P_3,C_4,C_6,C_7,T_0)$-free graphs that contain no simplicial vertices, and we show that such graphs have bounded clique-width. Finally this paper gives the full statement of the theorem describing the structure of $(2P_3,C_4,C_6)$-free graphs that contain no simplicial vertices.

An $\textit{isometric path}$ is a shortest path between two vertices. An $\textit{isometric path partition}$ (IPP) of a graph $G$ is a set $I$ of vertex-disjoint isometric paths in $G$ that partition the vertices of $G$. The \textit{isometric path partition number} of $G$, denoted by $\text{ipp}(G)$, is the minimum cardinality of an IPP of $G$. In this article, we prove that every graph $G$ satisfies $\text{ipp}(G) \leq |V(G)| - ν(G)$, where $ν(G)$ is matching number of $G$. We further prove that a connected graph $G$ is extremal with respect to this upper bound, i.e.\ satisfies $\text{ipp}(G) = |V(G)| - ν(G)$, if and only if either (i) all blocks of $G$ are odd complete graphs, or (ii) all blocks of $G$ except one are odd complete graphs, and the unique block $B$ of $G$ that is not an odd complete graph is even and satisfy $\text{ipp}(B) = |V(B)| - ν(B)$. As corollaries of this result, we obtain a full structural characterization of all connected odd graphs that are extremal with respect to our upper bound, as well as of all extremal block graphs.

We study the existence of oriented paths with two blocks in oriented graphs under semidegree conditions. A block of an oriented path is a maximal directed subpath. Given positive integers $k$ and $\ell$ with $k/2\le \ell < k$, we establish a semidegree function that guarantees the containment of every oriented path with two blocks of sizes $\ell$ and $k-\ell$. As a corollary, we show that every oriented graph with all in- and out-degrees at least $3k/4$ contains every two-block path with $k$ arcs. Our results extend previous work on Stein's conjecture and related problems concerning oriented paths.

A minimal separator of a graph $G$ is a set $S \subseteq V(G)$ such that there exist vertices $a,b \in V(G) \setminus S$ with the property that $S$ separates $a$ from $b$ in $G$, but no proper subset of $S$ does. For an integer $k\ge 0$, we say that a minimal separator is $k$-simplicial if it can be covered by $k$ cliques and denote by $\mathcal{G}_k$ the class of all graphs in which each minimal separator is $k$-simplicial. We show that for each $k \geq 0$, the class $\mathcal{G}_k$ is closed under induced minors, and we use this to show that the Maximum Weight Stable Set problem can be solved in polynomial time for $\mathcal{G}_k$. We also give a complete list of minimal forbidden induced minors for $\mathcal{G}_2$. Next, we show that, for $k \geq 1$, every nonnull graph in $\mathcal{G}_k$ has a $k$-simplicial vertex, i.e., a vertex whose neighborhood is a union of $k$ cliques; we deduce that the Maximum Weight Clique problem can be solved in polynomial time for graphs in $\mathcal{G}_2$. Further, we show that, for $k \geq 3$, it is NP-hard to recognize graphs in $\mathcal{G}_k$; the time complexity of recognizing graphs in $\mathcal{G}_2$ is unknown. We also show that the Maximum Clique problem is NP-hard for graphs in $\mathcal{G}_3$. Finally, we prove a decomposition theorem for diamond-free graphs in $\mathcal{G}_2$ (where the diamond is the graph obtained from $K_4$ by deleting one edge), and we use this theorem to obtain polynomial-time algorithms for the Vertex Coloring and recognition problems for diamond-free graphs in $\mathcal{G}_2$, and improved running times for the Maximum Weight Clique and Maximum Weight Stable Set problems for this class of graphs.

A ring is a graph $R$ whose vertex set can be partitioned into $k \geq 4$ nonempty sets, $X_1, \dots, X_k$, such that for all $i \in \{1,\dots,k\}$, the set $X_i$ can be ordered as $X_i = \{u_i^1, \dots, u_i^{|X_i|}\}$ so that $X_i \subseteq N_R[u_i^{|X_i|}] \subseteq \dots \subseteq N_R[u_i^1] = X_{i-1} \cup X_i \cup X_{i+1}$. A hyperhole is a ring $R$ such that for all $i \in \{1,\dots,k\}$, $X_i$ is complete to $X_{i-1}\cup X_{i+1}$. In this paper, we prove that the chromatic number of a ring $R$ is equal to the maximum chromatic number of a hyperhole in $R$. Using this result, we give a polynomial-time coloring algorithm for rings. Rings formed one of the basic classes in a decomposition theorem for a class of graphs studied by Boncompagni, Penev, and Vušković in [Journal of Graph Theory 91 (2019), 192--246]. Using our coloring algorithm for rings, we show that graphs in this larger class can also be colored in polynomial time. Furthermore, we find the optimal $χ$-bounding function for this larger class of graphs, and we also verify Hadwiger's conjecture for it.

As usual, $P_n$ ($n \geq 1$) denotes the path on $n$ vertices, and $C_n$ ($n \geq 3$) denotes the cycle on $n$ vertices. For a family $\mathcal{H}$ of graphs, we say that a graph $G$ is $\mathcal{H}$-free if no induced subgraph of $G$ is isomorphic to any graph in $\mathcal{H}$. We present a decomposition theorem for the class of $(P_7,C_4,C_5)$-free graphs; in fact, we give a complete structural characterization of $(P_7,C_4,C_5)$-free graphs that do not admit a clique-cutset. We use this decomposition theorem to show that the class of $(P_7,C_4,C_5)$-free graphs is $χ$-bounded by a linear function (more precisely, every $(P_7,C_4,C_5)$-free graph $G$ satisfies $χ(G) \leq \frac{3}{2} ω(G)$). We also use the decomposition theorem to construct an $O(n^3)$ algorithm for the minimum coloring problem, an $O(n^2m)$ algorithm for the maximum weight stable set problem, and an $O(n^3)$ algorithm for the maximum weight clique problem for this class, where $n$ denotes the number of vertices and $m$ the number of edges of the input graph.

Truemper configurations (thetas, pyramids, prisms, and wheels) have played an important role in the study of complex hereditary graph classes (e.g. the class of perfect graphs and the class of even-hole-free graphs), appearing both as excluded configurations, and as configurations around which graphs can be decomposed. In this paper, we study the structure of graphs that contain (as induced subgraphs) no Truemper configurations other than (possibly) universal wheels and twin wheels. We also study several subclasses of this class. We use our structural results to analyze the complexity of the recognition, maximum weight clique, maximum weight stable set, and optimal vertex coloring problems for these classes. Furthermore, we obtain polynomial chi-bounding functions for these classes.

An ISK4 in a graph G is an induced subgraph of G that is isomorphic to a subdivision of K4 (the complete graph on four vertices). A wheel is a graph that consists of a chordless cycle, together with a vertex that has at least three neighbors in the cycle. A graph is {ISK4,wheel}-free if it has no ISK4 and does not contain a wheel as an induced subgraph. We give an O(|V(G)|^7)-time algorithm to compute the maximum weight of a stable set in an input weighted {ISK4,wheel}-free graph G with non-negative integer weights.

An ISK4 in a graph G is an induced subgraph of G that is isomorphic to a subdivision of K4 (the complete graph on four vertices). A wheel is a graph that consists of a chordless cycle, together with a vertex that has at least three neighbors in the cycle. A graph is {ISK4,wheel}-free if it has no ISK4 and does not contain a wheel as an induced subgraph. A "trigraph" is a generalization of a graph in which some pairs of vertices have "undetermined" adjacency. We prove a decomposition theorem for {ISK4,wheel}-free trigraphs. Our proof closely follows the proof of a decomposition theorem for ISK4-free graphs due to Lévêque, Maffray, and Trotignon (On graphs with no induced subdivision of K4. J. Combin. Theory Ser. B, 102(4):924-947, 2012).

We prove that there exist perfect graphs of arbitrarily large clique-chromatic number. These graphs can be obtained from cobipartite graphs by repeatedly gluing along cliques. This negatively answers a question raised by Duffus, Sands, Sauer, and Woodrow in [Two-coloring all two-element maximal antichains, J. Combinatorial Theory, Ser. A, 57 (1991), 109-116].

We prove that a graph $G$ contains no induced $5$-vertex path and no induced complement of a $5$-vertex path if and only if $G$ is obtained from $5$-cycles and split graphs by repeatedly applying the following operations: substitution, split unification, and split unification in the complement, where split unification is a new class-preserving operation introduced here.

We prove that any graph $G$ of minimum degree greater than $2k^2-1$ has a $(k+1)$-connected induced subgraph $H$ such that the number of vertices of $H$ that have neighbors outside of $H$ is at most $2k^2-1$. This generalizes a classical result of Mader, which states that a high minimum degree implies the existence of a highly connected subgraph. We give several variants of our result, and for each of these variants, we give asymptotics for the bounds. We also we compute optimal values for the case when $k=2$. Alon, Kleitman, Saks, Seymour, and Thomassen proved that in a graph of high chromatic number, there exists an induced subgraph of high connectivity and high chromatic number. We give a new proof of this theorem with a better bound.

For any graph $H$, let ${\rm Forb}^*(H)$ be the class of graphs with no induced subdivision of $H$. It was conjectured in [A.D. Scott, Induced trees in graphs of large chromatic number, {\em Journal of Graph Theory}, 24:297--311, 1997] that, for every graph $H$, there is a function $f_H:\mathbb{N} \rightarrow \mathbb{R}$ such that for every graph $G \in {\rm Forb}^*(H)$, $χ(G) \leq f_H(ω(G))$. We prove this conjecture for several graphs $H$, namely the paw (a triangle with a pendant edge), the bull (a triangle with two vertex-disjoint pendant edges), and what we call a "necklace," that is, a graph obtained from a path by choosing a matching such that no edge of the matching is incident with an endpoint of the path, and for each edge of the matching, adding a vertex adjacent to the ends of this edge.

A class $\mathcal{G}$ of graphs is said to be {\em $χ$-bounded} if there is a function $f:\mathbb{N} \rightarrow \mathbb{R}$ such that for all $G \in \mathcal{G}$ and all induced subgraphs $H$ of $G$, $χ(H) \leq f(ω(H))$. In this paper, we show that if $\mathcal{G}$ is a $χ$-bounded class, then so is the closure of $\mathcal{G}$ under any one of the following three operations: substitution, gluing along a clique, and gluing along a bounded number of vertices. Furthermore, if $\mathcal{G}$ is $χ$-bounded by a polynomial (respectively: exponential) function, then the closure of $\mathcal{G}$ under substitution is also $χ$-bounded by some polynomial (respectively: exponential) function. In addition, we show that if $\mathcal{G}$ is a $χ$-bounded class, then the closure of $\mathcal{G}$ under the operations of gluing along a clique and gluing along a bounded number of vertices together is also $χ$-bounded, as is the closure of $\mathcal{G}$ under the operations of substitution and gluing along a clique together.

We prove that a graph G contains no induced four-edge path and no induced complement of a four-edge path if and only if G is obtained from five-cycles and split graphs by repeatedly applying the following operations: substitution, split graph unification, and split graph unification in the complement ("split graph unification" is a new class-preserving operation that is introduced in this paper).