arXiv++ Combinatorics

If $G$ and $H$ are two cubic graphs, then an $H$-coloring of $G$ is a mapping $f: E(G)\rightarrow E(H)$, such that for every $v\in V(G)$ there is a vertex $x\in V(H)$, such that $f(\partial_G(v))=\partial_H(x)$. If $G$ admits an $H$-coloring then it is common to write $H\prec G$. In this paper, for a fixed connected cubic graph $H$, we consider a decision problem, which we call $H$-coloring. In this problem, on the input one is given a connected cubic graph $G$. The goal is to decide whether $H\prec G$. A conjecture by Hakobyan and the author states that $H$-coloring is polynomial time solvable, if $H$ does not admit a $P_{12}$-coloring. Here $P_{12}$ is the unique cubic graph obtained from the Petersen graph by expanding one of its vertices into a triangle. In this paper, we disprove this conjecture under $P\neq NP$, by showing that $S_6$-coloring is NP-complete. Here $S_6$ is the unique cubic graph on six vertices having exactly one bridge. Our second result is an algorithm that solves $H$-coloring problem in time $O^*(c^n)$, where $H$ is a simple connected cubic graph, $n$ is the number of vertices of the input cubic graph $G$ and $c=\sqrt{8}\approx 2.8284$.

How difficult is it to find an efficient communication protocol when the entire truth table of the function is given? We give a unified interlacing proof of NP-completeness for exact optimisation and of hardness of approximation. Assuming the Exponential Time Hypothesis, there is a computable, nondecreasing additive error allowance tending to infinity for which approximation is impossible in polynomial time. The proof uses interlacing, which asks the players to solve one problem selected by Alice from a collection of inputs held by Bob. For suitable matrices, a short protocol must reveal enough of Alice's selection to encode a solution to a combinatorial problem. This produces a one-bit communication gap in a polynomial-size matrix and proves exact hardness. Repeating the construction is harder: earlier messages can remove the inputs on which a later lower bound depends. Restriction bounds that survive the construction make the one-bit gain repeatable. A smaller, balanced family of interlaced columns controls the truth-table size. For every fixed number of applications, the construction takes subexponential time in the source length. This rules out every fixed additive error under ETH. A general computability argument then yields the stated unbounded allowance.

Temporal graphs are graphs whose edge relation changes in discrete time steps. The Temporal Exploration Problem (TEXP) asks for a temporal walk that visits all vertices. We show that every connected temporal graph with $n$ vertices can be explored in $O(qn\log^3(n))$ time steps, where $q$ is the number of vertex color classes induced by the 2-dimensional Weisfeiler-Leman (2-WL) coloring. For small $q$, our bound substantially improves on the known worst-case bound of $Θ(n^2)$ in general connected temporal graphs. A corresponding walk can be constructed in deterministic polynomial time. The upper bound is complemented by lower bounds of $Ω(n\log(n))$ when $q$ is constant and $Ω(qn)$ when $1 \leq q \leq n$. We also apply our techniques to the Temporal Rendezvous Problem (TRP), in which two agents that do not communicate have to meet on a vertex of the temporal graph. Our exploration algorithm yields that, with only polynomial-time computational power, the agents can meet in $O(n\log^3(n))$ time steps, leaving a gap of only $\log^2(n)$ to the known lower bound. Dogeas, Erlebach, Kammer, Meintrup, and Moses Jr. [ICALP'24] have shown an $O(rn^{1+ε})$ bound for TEXP, for every fixed $ε> 0$, where $r$ is the number of orbits, and an $O(n^{1+ε})$ bound for TRP. Both results require superpolynomial computation time. Our contribution improves upon these results in several ways. First, the dependence on $n$ in the upper bounds on the number of time steps is decreased from $n^{1+ε}$ to $n\log^3(n)$ for both TEXP and TRP. Second, for TEXP, we bound the number of time steps linearly by the parameter q, which is efficiently computable and upper bounded by $r$. Third, we provide novel deterministic polynomial-time algorithms for both TEXP and TRP.

In 1984, Frank Harary introduced the first convexity games in graphs, all of them based on the geodesic convexity, which is the graph convexity related to shortest paths. In 2024, Araújo et al. obtained the first PSPACE-hardness proofs on some of these geodesic games and generalized them to any graph convexity. In this paper, we investigate convexity games on several known induced path convexities: the monophonic $\mathrm{m}$-convexity and the $\ell_k$-convexities, based on induced paths and on induced paths of size at most $k$. We prove that the hull games $\mathrm{CHG}_{\mathrm{m}}$, $\mathrm{CHG}_{\ell_k}$ and their misère variants are PSPACE-complete for every $k\ge2$ even in graphs with diameter at most 3. We also use the Sprague-Grundy Theory to obtain a polynomial time algorithm to decide the winner of the games $\mathrm{CHG}_{\mathrm{m}}$ and $\mathrm{CHG}_{\ell_k}$ for any $k\ge2$ in disjoint unions of paths and cycles. For $k\ge3$ odd, we prove that Alice (1st player) wins $\mathrm{CHG}_{\ell_k}$ in the path $P_n$ if and only if $n$ is odd and she wins in the cycle $C_n$ if and only if $n=3$ or $n=α\cdot (k+1)-1$ with $α\ge2$. For $k\ge2$ even, the only periodic nimber sequences of $\mathrm{CHG}_{\ell_k}$ obtained through extensive computational testing occurred for $k=2^h-4$ with $h\ge3$, e.g, $k\in\{4,12,28,60,\ldots\}$. In this case ($k=2^h-4$ with $h\ge3$), we prove that the nimber sequences of $\mathrm{CHG}_{\ell_k}$ in $P_n$ and in $C_n$ are periodic and Alice loses (resp. wins) in $P_n$ (resp. $C_n$) with $n>k$ only when $n=3k+4$ (resp. $n\in\{2k+1,5k+3\}$). Finally, we show that, for $k=2$, the game $\mathrm{CHG}_{\ell_2}$ in paths $P_n$ is closely related to the classical game Couples-are-Forever of J. H. Conway: it is still an open problem if the nimber sequence is periodic or not and Alice loses only for 12 values of $n$ up to $100$ million.

We prove that deciding whether the weak partition connectivity (WPC) of an unweighted hedgegraph is at most a given integer is NP-complete, resolving an open question about its computational complexity. Hardness holds even for connected full-support split systems, where each hedge consists of two nonempty, vertex-disjoint hyperedges covering all vertices. We also obtain hardness on connected edge-colored simple graphs in which each color class is a spanning forest with exactly two nontrivial trees. On both classes, exact computation of fractional WPC is NP-hard, whereas hedge connectivity is computable exactly in polynomial time. A binary matrix formulation yields the reduction and a deterministic polynomial-time exact algorithm under a linear intersection condition on row supports after normalization and column compression. In particular, both integer and fractional WPC are computable in polynomial time when these supports have size at most two, whereas NP-hardness holds already when their size is bounded by three. For every fixed $b$, we give deterministic and randomized efficient polynomial-time approximation schemes on hedgegraphs in which each hedge has at most $b$ connected components, counting isolated vertices. Both schemes return one partition that simultaneously approximates integer and fractional WPC. Unless $\mathrm P=\mathrm{NP}$, neither objective admits a deterministic FPTAS, even on the two hard instance classes.

An additive coloring assigns positive integer labels to the vertices of a graph so that adjacent vertices have different sums of their neighbors' labels. The additive chromatic number $η(G)$ is the least $k$ for which labels from $[k]$ suffice. We give an elementary orientation argument proving that every finite simple graph $G$ satisfies $η(G) \leq Δ(G) + 1$. This argument yields a $(Δ(G) + 1)$-additive-coloring in polynomial time and improves upon the current best bound of $η(G) \leq Δ(G)^{2} - Δ(G) + 1$, valid for $Δ(G) \geq 2$, from Akbari, Ghanbari, Manaviyat, and Zare.

Let $B^d$ denote the $d$-dimensional Euclidean ball of unit radius. What is the largest constant $f(B^d) \in [0,1]$ with the property that every finite collection $\mathcal{C}$ of unit balls in $\mathbb{R}^d$ admits a disjoint sub-collection $\mathcal{S}$ occupying at least a fraction $f(B^d)$ of the volume of $\mathcal{C}$? This problem was first raised by T. Radó in 1928, for axis-parallel squares in the plane; the author was motivated by a classical covering lemma in real analysis due to Vitali. The case of Euclidean balls was first considered by R. Rado in 1949. Until last year the best known estimates on $f(B^d)$ for unit balls where very far apart: \[ (1+ε_d) 3^{-d} \leq f(B^d) \leq 2^{-d}, \] where $0<ε_d=o_{d\rightarrow \infty}(1)$. Recently, the authors of this note observed that an exponential improvement on the upper bound follows from the Kabatiansky--Levenshtein spherical code bound, while the lower bound was improved by a linear factor by C.~Xie and G.~Ge (see arxiv:2608.09744). The current best estimates for large $d$ are \[ c \cdot d \cdot 3^{-d} \leq f(B^d) \leq 2.447^{-d}, \] where $c>0$ is an absolute constant. Here we offer the first exponential improvement of the lower bound in almost 80 years, which narrows the gap to: \[ 2.910^{-d} \leq f(B^d) \leq 2.447^{-d}. \] Our method is constructive and yields a polynomial time algorithm for finding a disjoint sub-collection realizing the estimate. Moreover the same technique gives similar exponentially improved lower bounds for all symmetric convex bodies satisfying a uniform convexity assumption, e.g., $\ell^p$-balls for all $p\in (1,\infty)$.

String graphs are intersection graphs of continuous curves in the plane. In 2010, Fox and Pach proved that string graphs with $m$ edges admit balanced vertex separators of size $\mathcal{O}(m^{3/4}\sqrt{\log m})$ and conjectured that this bound can be improved to $\mathcal{O}(\sqrt{m})$, which would be optimal. After partial progress, Lee claimed in 2017 to prove this conjecture, and more generally to prove analogous separator theorems for region intersection graphs over minor-closed graph families. A key intermediate step in Lee's approach was a padded decomposition scheme for region intersection graphs. In 2024, Korhonen and Lokshtanov extended Lee's approach to the broader setting of graph classes excluding a fixed graph as an induced minor. These results have since found applications in a wide range of works. Later in 2024, a flaw was discovered in the construction of Lee's padded decomposition scheme, invalidating Lee's as well as Korhonen and Lokshtanov's separator results, and many works relying on them. In this work, we prove that string graphs with $m$ edges admit balanced separators of size $\mathcal{O}(\sqrt{m})$, and more generally obtain analogous $\mathcal{O}(\sqrt{m})$ bounds for region intersection graphs over fixed minor-closed graph families and for graphs excluding a fixed graph as an induced minor, thereby repairing the vast majority of the affected works. Furthermore, our balanced separators can be found in polynomial time. Our proof uses a different approach from Lee's and does not rely on padded decompositions. Since padded decompositions have also found applications independent of the separator theorems, particularly for string graphs, we also prove a padded decomposition result for region intersection graphs that is optimal for string graphs. We have formalized both the balanced separator and the padded decomposition results in Lean 4 with mathlib.

We show that for every graph $G$ and every positive integer $k$, $G$ contains either $k$ vertex-disjoint even cycles with no edges between distinct cycles, or a set of $O(k^2\log k)$ vertices whose closed neighborhood meets every even cycle of $G$. Moreover, we give a polynomial-time algorithm that outputs one of the two outcomes. As an application, we show that every $K_{1,t}$-free graph containing no induced packing of $k$ even cycles has tree-independence number $O(tk^2\log k)$, with a corresponding decomposition computable in polynomial time.

Sylvester's denumerant $d(t; \boldsymbol{A})$ counts the number of nonnegative integer solutions to $\sum_{i=1}^{N} a_i x_i = t$, where $\boldsymbol{A} = (a_1, \dots, a_N)$ is a sequence of positive integers with $\gcd(\boldsymbol{A}) = 1$. In 2025, Xin and Zhang gave a polynomial time algorithm in $N$ for computing $d(t; \boldsymbol{A})$ when the entries of $\boldsymbol{A}$ are bounded by a constant. In this paper, we extend this algorithm by incorporating Barvinok's algorithm, enabling it to handle the case where a fixed number of entries of $\boldsymbol{A}$ are allowed to be unbounded.

A graph class is $χ$-bounded if the only way to force large chromatic number in graphs from the class is by forming a large clique. In the 1970s, Erdős conjectured that intersection graphs of straight-line segments in the plane are $χ$-bounded, but this was disproved by Pawlik et al. (2014), who showed another way to force large chromatic number in this class -- by triangle-free graphs $B_k$ with $χ(B_k)=k$ constructed by Burling (1965). This also disproved the celebrated conjecture of Scott (1997) that classes of graphs excluding induced subdivisions of a fixed graph are $χ$-bounded. We prove that in broad classes of graphs excluding induced subdivisions of a fixed graph, including the increasingly more general classes of segment intersection graphs, string graphs, region intersection graphs, and hereditary classes of graphs with finite asymptotic dimension, large chromatic number can be forced only by large cliques or large graphs $B_k$. One corollary is that the hereditary closure of $\{B_k\colon k\geq 1\}$ forms a minimal hereditary graph class with unbounded chromatic number -- the second known graph class with this property after the class of complete graphs. Another corollary is that the decision variant of approximate coloring in the aforementioned graph classes can be solved in polynomial time by exhaustively searching for a sufficiently large clique or copy of $B_k$. We also discuss how our results along with some results of Chudnovsky, Scott, and Seymour on the existence of colorings can be turned into polynomial-time algorithms for the search variant of approximate coloring in string graphs (with intersection model in the input) and other aforementioned graph classes. Such an algorithm has not yet been known for any graph class that is not $χ$-bounded.

In this paper, we study the ideas of composition and decomposition in the context of vector spaces, graphs and matroids. For vector spaces $\V_{AB},$ treated as collection of row vectors, with specified column set $A\uplus B,$ we define $\V_{SP}\lrarv \V_{PQ}, S\cap Q= \emptyset, $ to be the collection of all vectors $(f_S,f_Q)$ such that $(f_S,f_P)\in \V_{SP}, (f_P,f_Q)\in \V_{PQ}$. An analogous operation $\G_{SP}\lrarg \G_{PQ}\equivd \G_{PQ}$ can be defined in relation to graphs $\G_{SP}, \G_{PQ},$ on edge sets $S\uplus P, P\uplus Q,$ respectively in terms of an overlapping subgraph $\G_P$ which gets deleted in the right side graph (see for instance the notion of $k-sum$ \cite{oxley}). For matroids we define the `linking' $\M_{SP}\lrarm \M_{PQ} \equivd (\M_{SP}\vee \M_{PQ})\times (S\uplus Q)$, denoting the contraction operation by '$\times$'. In each case, we examine how to minimize the size of the `overlap' set $P,$ without affecting the right side entity. In the case of vector spaces, there is a polynomial time algorithm for achieving the minimum, which we present. Similar ideas work for graphs and for matroids under appropriate conditions. Next we consider the problem of decomposition. Here, in the case of vector spaces, the problem is to decompose $\V_{SQ}$ as $\V_{SP}\lrarv \V_{PQ},$ with minimum size $P.$ We give a polynomial time algorithm for this purpose. In the case of graphs and matroids we give a solution to this problem under certain restrictions.

An edge of a multigraph is rich with respect to a proper edge-coloring if all the edges adjacent to it receive mutually distinct colors, and a proper edge-coloring is a rich-neighbor coloring if every non-isolated edge has a rich edge adjacent to it. The least number of colors in such a coloring is the rich-neighbor chromatic index chi'_rn(G). So far it was studied for subcubic graphs only, and multigraphs of larger maximum degree are considered here for the first time. The only upper bound valid in general was the quadratic one inherited from the strong chromatic index, while a single rich edge already requires 2D-1 colors in a D-regular graph, where D denotes the maximum degree. We give an upper linear bound chi'_rn(G) <= 6D-8 which holds for every loopless multigraph G with D >= 3, and we show that a coloring realizing this bound can be found in polynomial time. Consequently chi'_rn(G) = Theta(D). For D-regular graphs with D >= 3 the lower bound is 2D-1, and the upper bound is 5D-8. The bound 5D-8 holds more generally for every multigraph with D >= 3 which has a dominating P_{>=3}-system, and we characterize these multigraphs: such a system exists if and only if k_2(G-T) <= 2|T| holds for every set T of vertices, where k_2 counts the components on two vertices. In particular the bound holds for every graph with 3 <= D <= 4d-4, where d denotes the minimum degree. The paper is concluded with a conjecture on the tight upper bound on chi'_rn(G).

The Hajnal--Szemerédi theorem states that every graph with $Δ(G)\le k-1$ admits an equitable $k$-coloring. Using a reduction implicit in Aboulker, Oijid, Petit, Rocton, and Simon (which itself builds on the literature surrounding feedback arc sets), we prove that this theorem is equivalent to each of four digraph analogues guaranteeing equitable acyclic $k$-colorings under various degree conditions. A minor modification of the proof method in makes the construction algorithmic, so the equitable acyclic coloring guaranteed by these statements can be found in polynomial time. The same reduction shows that the Ore-type Hajnal--Szemerédi theorem is equivalent to its four digraph analogues. These equivalences settle the conjecture of Treglown that every $n$-vertex digraph with $r\mid n$ and $δ^{\max}(D)\ge(1-\frac{1}{r})n$ contains a $T_r$-factor, answer a question of Molla and Treglown by determining the exact Ore-type threshold for $T_r$-factors, and recover the directed Hajnal--Szemerédi theorems of Czygrinow, DeBiasio, Kierstead, and Molla as immediate corollaries of this reduction. We also discuss related problems for oriented graphs which do not follow immediately from the reduction mentioned above.

A clique transversal in a graph is a set of vertices intersecting all maximal cliques. The problem of determining the minimum size of a clique transversal has received considerable attention in the literature. In this paper, we initiate the study of the ''upper'' variant of this parameter, the upper clique transversal number, defined as the maximum size of a minimal clique transversal. We investigate this parameter from the algorithmic and complexity points of view, with a focus on various graph classes. We show that the corresponding decision problem is NP-complete in the classes of chordal graphs, chordal bipartite graphs, cubic planar bipartite graphs, and line graphs of bipartite graphs, but solvable in linear time in the classes of split graphs, proper interval graphs, and cographs, and in polynomial time for graphs of bounded cliquewidth. We conclude the paper with a number of open questions.

A set of vertices in a digraph is majority-stable if each of its vertices has at most half of its outneighbors in the set. A fractional majority coloring assigns nonnegative weights to such sets, covering each vertex to total weight at least one; its minimum total weight is the fractional majority coloring number. We prove that every finite loopless digraph has fractional majority coloring number at most \(523/140<3.736\), improving the bound \(3.9602\) of Anastos, Lamaison, Steiner and Szabó. Our construction uses exclusive sampling from pairs in random cycle matchings, followed by deletion and a correction on the acyclic remainder. The same approach yields bounds below \(3.430\) for digraphs with a directed cycle factor, \(3.287\) for those with an even cycle factor, and \(3.324\) for tournaments. As a consequence, for every fixed \(\varepsilon>0\), we obtain a randomized \((2.491+\varepsilon)\)-approximation algorithm producing an explicit fractional majority coloring in expected polynomial time. On the complexity side, we prove NP-completeness of deciding whether the fractional majority coloring number equals $3/2$, and establish a multiplicative inapproximability threshold of $72/71$ and an additive upper-estimation threshold of $3/142$. All three results hold for acyclic oriented digraphs with outdegrees zero or two in which every directed path has length at most two.

In this paper we investigate the game chromatic number for complete multipartite graphs. Our results consist of two findings: (1) building on Dunn's strategies for equal-sized parts, we determine the closed-form formulas for the game chromatic number for all complete multipartite graphs without singletons, with respective optimal strategies for Alice and Bob, (2) for an explicit list of part sizes, we give an exact algorithm that computes the game chromatic number in polynomial time and allows for reconstructing an optimal strategy for both players. Additionally, we provide counterexamples to earlier, partial formulas for complete multipartite graphs with singletons and large equal-sized parts.

Every balanced instance of the stable marriage problem with strict complete preferences has a unique finest partition into prime blocks, and that single partition simultaneously factors three different structures: the reachable execution digraph as a Cartesian product, the proposal-prefix antimatroid as a direct sum, and the stable-matching lattice as a direct product. The converse fails, and fails at every size from two on: two explicit families share the identical Boolean-cube execution while one is maximally decomposable with a single stable matching and the other is prime with n. Uniqueness yields an exact census, a recursion counting the prime instances at every size, under which exactly 88,478,208 of the 110,075,314,176 profiles with four agents on each side are decomposable and the decomposable fraction is asymptotically n! / n^(2n). The blocks are characterised as the square components of the mutual-rank filtration, so the partition is computable in polynomial time and the factorisation is a tool rather than only a fact.

We modify a construction of Bradač \cite{Bradac26} using a vertex ordering to give, for every prime power $q$, an explicit $K_5$ free graph with more than $q^7$ vertices and independence number below $600q^4$. This shows $$r(5,t)=Ω(t^{7/4}).$$ Additionally, pruning a graph defined by the Coulter and Matthews polynomial $X^{14}$ \cite{CM}, we give a deterministic polynomial time construction proving $$r(5,t)=Ω\bigl(t^{20/11-\varepsilon}\bigr)$$ for every fixed $\varepsilon>0$. These results improve the constructive lower bound $Ω(t^{5/3})$ of Kostochka, Pudlák and Rödl \cite{KPR}.

Why are some dynamic lot-sizing problems polynomial? We address this question by introducing Grid Theory, a structural framework based on cumulative production and the additive structure of production bounds. For a general single-item dynamic lot-sizing model with lower and upper production bounds, there exists an optimal extreme solution in which, within each regeneration interval, all but at most one production quantity lie on a boundary value. This induces additive grids, and the Main Grid Theorem establishes that an optimal cumulative production trajectory can be restricted to these discrete sets. Although the resulting grids may be exponentially large, we introduce the notion of additive dimension to capture production-bound profiles whose boundary sums admit a low-dimensional representation. We show that bounded additive dimension yields a polynomially constructible grid envelope and a polynomial time grid-based dynamic programming algorithm. The framework extends to separable concave costs and establishes polynomial solvability of several families, including constant capacities, minimum order quantities, a fixed number of capacity levels, fixed-degree polynomial capacities, periodic capacities, and piecewise polynomial capacities. In particular, polynomiality may hold even when the number of distinct capacity values grows with the planning horizon. Grid Theory thus identifies additive structure, rather than the number of distinct resource values, as a sufficient mechanism for polynomial solvability.