https://arxiv.org/api/beltRqPya67AwJ0TKFyh+oxN3zI 2026-11-12T03:27:31Z 16510 0 15 http://arxiv.org/abs/2611.14513v1 2026-11-10T18:58:28Z

We study online coloring, focusing on the competitive ratio. The best previously known results were (1) a lower bound of $Ω(n / \log^2 n)$ for both deterministic and randomized algorithms by Halldórsson and Szegedy (1994), (2) an upper bound of $O(n / \log n)$ for randomized algorithms by Halldórsson (1997), and (3) an upper bound of $O(n / \log \log n)$ for deterministic algorithms by Kawarabayashi, Yoneda, and Yoneda (2025). In this paper, we improve these results as follows: 1. A new lower bound of $Ω(n / \log n)$ for deterministic algorithms. 2. A new upper bound of $O(n (\log \log n)^2 / \log^2 n)$ for randomized algorithms. 3. A new upper bound of $O(n / (\log \log n)^{2-\varepsilon})$ for deterministic algorithms for every fixed $\varepsilon>0$. For randomized algorithms, we nearly close the gap between the lower and upper bounds; the remaining gap is only $O((\log \log n)^2)$. We establish the asymptotic separation between randomized and deterministic online graph coloring. Against an oblivious adversary, a polynomial-time randomized algorithm achieves a competitive ratio asymptotically smaller than any deterministic algorithm can guarantee, even with unlimited computation.

2026-11-10T18:58:28Z Ken-ichi Kawarabayashi Hirotaka Yoneda Masataka Yoneda http://arxiv.org/abs/2605.12457v2 2026-11-10T18:57:54Z

The Path Avoiding Forbidden Pairs problem (PAFP) asks whether, in a directed graph $G$ with two of its vertices labeled $s,t$ and a set $\mathcal F$ of forbidden vertex pairs, there is an $s$--$t$ path that contains at most one endpoint from each pair in $\mathcal F$. We initiate the study of PAFP through a layer-based width measure. We first look at the directed union digraph $G\cup\mathcal F$, which is obtained by adding one arc per forbidden pair to $G$, oriented according to a fixed reachability-compatible order. Let the BFS layer $L_d$ be the set of vertices at directed shortest-path distance $d$ from $s$, and define the BFS-width from $s$ as $\max_d |L_d|$. We show that if $G\cup\mathcal F$ has BFS-width $b$ from $s$, and $p$ is the maximum, over BFS-layer cuts, of the smaller of the numbers of distinct heads and distinct tails of backward arcs crossing the cut, then PAFP is FPT parameterized by $b+p$. Here a backward arc goes from a later BFS layer to an earlier one. In contrast, we show that bounded BFS-width alone does not suffice: PAFP remains $\mathsf{NP}$-complete when the union digraph has BFS-width 2. We also study layer-based width parameters on the input graph. We show that if the input DAG has BFS-width at most $2$ and only $k$ backward input arcs, then PAFP can be decided in $2^k |I|^{O(1)}$ time, with unrestricted forbidden pairs, and this result is tight. Moreover, we study exact-length layers in the input graph, where the $d$-th exact-length layer consists of the vertices reachable from $s$ by a directed path of length exactly $d$. We show that for DAGs of exact-length width at most $2$, PAFP is polynomial-time decidable by a $2$-SAT encoding of fixed-length paths. Unlike previously known polynomial-time regimes our 2 input -graph tractability results simultaneously allow unrestricted forbidden pairs and input graphs with exponentially many $s$--$t$ paths.

2026-05-12T17:45:40Z This version strengthens the backward arc theorem of the previous version by achieving FPT while bounding the BFS-width and the maximum over all BFS-layer cuts of the minimum of the number of heads crossing the BFS-layer cut and the number of tails crossing the BFS-layer cut, whereas the older theorem bounded the BFS-width with the total number of backward arcs in the union digraph 37th International Workshop on Combinatorial Algorithms (IWOCA 2026), Lecture Notes in Computer Science, vol. 16587, pp. 311-326, Springer (2026) Samuel German 10.1007/978-3-032-27732-9_22 http://arxiv.org/abs/2611.14471v1 2026-11-10T18:34:29Z

We show that, given a Horn expression and a family of inclusion-wise maximal satisfiable subsets of its clauses, deciding whether there exists another maximal satisfiable subset is NP-complete. As a consequence, unless P=NP, there is no output-polynomial time algorithm enumerating the maximal satisfiable subformulas of a Horn expression.

2026-11-10T18:34:29Z 6 pages Oscar Defrain Corentin Jazeron Kazuhisa Makino http://arxiv.org/abs/2606.18048v5 2026-11-10T17:38:31Z

A foundational theorem of Ajtai, Komlós, Pintz, Spencer, and Szemerédi asserts that every $n$-vertex $k$-uniform uncrowded hypergraph (i.e., with girth at least $5$) of maximum degree at most $Δ$ contains an independent set of size $cn(\logΔ/Δ)^{\frac{1}{k-1}}$ for some absolute constant $c>0$. Improving an earlier bound of Frieze and Mubayi, Iliopoulos showed that every such hypergraph has list chromatic number at most $(1+o(1))(k-1)(Δ/\logΔ)^{\frac{1}{k-1}}$. Determining the optimal leading constant in this bound remains a major open problem. A natural target, suggested by the coupon-collector heuristic, is $(k-1)^{\frac{1}{k-1}}$, which also corresponds to the shattering threshold for coloring sparse random hypergraphs. Our main result shows that this target is attained: for every integer $k\ge2$, every $k$-uniform uncrowded hypergraph of maximum degree at most $Δ$ satisfies: $$χ_\ell(\mathcal{H})\le(1+o(1))\Big((k-1)\fracΔ{\logΔ}\Big)^{\frac{1}{k-1}}.$$ In particular, this confirms a 2019 conjecture of Molloy for uncrowded hypergraphs. Building on this result, we prove that every $k$-uniform linear hypergraph of maximum degree at most $Δ$ has chromatic number at most $(c_k+o(1))(Δ/\logΔ)^{\frac{1}{k-1}}$, where $c_k\to1$ as $k\to\infty$, thereby proving a conjecture of Verstraëte and Wilson on the independence number of linear hypergraphs in the stronger form of colorings. Our techniques also yield a palette sparsification theorem for uncrowded hypergraphs, partially answering a question of Casselgren and Eriksson.

2026-06-16T15:24:58Z Abhishek Dhawan Abhishek Methuku Minh-Quan Vo http://arxiv.org/abs/2605.14058v4 2026-11-10T17:17:03Z

The nonnegative rank of a nonnegative matrix $X$ is the smallest number of nonnegative rank-one factors that sum to $X$. Since computing the nonnegative rank is NP-hard, it is common to circumvent this issue by computing lower and upper bounds. In this paper, we propose non-convex formulations and practical implementations for four important lower bounds for the nonnegative rank, namely the fooling set bound (FSB), the rectangle covering bound (RCB), the hyperplane separation bound (HSB), and the self-scaled bound (SSB). In particular, to the best of our knowledge, our algorithm for computing the SSB is the first available in the literature. We compute the SSB for several matrices for which its value had not previously been reported. In some cases, the SSB provides the best known upper bound, while the other three bounds do not. Moreover, on canonical benchmarks, we show that our non-convex approaches are often competitive with existing methods. The paper also provides a consolidated reference for the current state of several classical lower bounds on a large number of benchmark matrices.

2026-05-13T19:33:30Z Added a proof that the hyperplane separation bound equals 2 for the linear Euclidean distance matrices studied here. Improved the lower bound on the nonnegative rank of the slack matrix of the icosidodecahedron from 10 to 11. Clarified how the self-scaled bound recovers the known nonnegative rank of 7 for both M11 and M12 Timothy Baeckelant Arnaud Vandaele Nicolas Gillis http://arxiv.org/abs/2611.14342v1 2026-11-10T17:08:04Z

Given an unweighted directed graph, a sparsifier is a nonnegative reweighting of original arcs that preserves every in-degree and out-degree exactly. In this work, we study singular-value sparsifiers, which are generalizations of spectral sparsifiers. Singular-value sparsifiers find a number of applications in theoretical computer science, such as maintaining directed cuts and flows, speeding up directed Laplacian solvers, and sparsifying dense weight matrices in neural networks. Strong singular-value (SV) approximation supports sparse representations of directed random walks with guarantees that remain stable under products, and controls bilinear error in the left and right Schur-complement metrics. We prove that every unweighted directed graph on $n$ vertices admits an $\varepsilon$-SV sparsifier with $O(n\log(2n)/\varepsilon^2)$ arcs, improving the $O(n\log^5 n/\varepsilon^2)$ support bound of Lau, Wang, and Zhou. The sparsifier is a nonnegative reweighting of original arcs and preserves every in-degree and out-degree exactly. We also give a randomized construction with $\tilde{O}(m+n)$ real-arithmetic running time, where $m$ is the input support size, and the output has the same support bound and rational weights of polynomial bit length.

2026-11-10T17:08:04Z 44 pages Emile Anand http://arxiv.org/abs/2611.14327v1 2026-11-10T16:52:40Z

We give the first inductive characterization of planar graphs of treewidth $k$ for each $k \geq 3$. Our definition generalizes the well-known inductive definition of planar $3$-trees and the recent definition of so-called planar quasi-$4$-trees [Förster, 2024]. As a key step, which may be of independent interest, we show that every planar triangulation $G$ of treewidth $k$ admits a tree decomposition of width $k$ where each adhesion set induces a cycle in $G$. As an application of planar quasi-$4$-trees, we show that planar graphs of treewidth at most $4$ have vertex arboricity at most $2$. That is, the vertex-set of every planar graph of treewidth at most $4$ can be partitioned into two sets that each induce a forest.

2026-11-10T16:52:40Z Laura Merker Samuel Schneider Torsten Ueckerdt http://arxiv.org/abs/2605.13299v2 2026-11-10T15:41:26Z

A strong conflict-free vertex connection coloring of a graph is a graph coloring for which, for every two distinct vertices of the graph, there exists a shortest path between them in which some color in said coloring appears only once. The strong conflict-free vertex connection number, denoted by $\operatorname{svcfc}(G)$, is the number of colors in the strong conflict-free vertex connection coloring with the smallest amount of colors out of all such colorings of $G$. We study the problem of deciding whether this number is at most some threshold together with the parameter twin cover. Our first result is that when we have given $(G,k)$ in which $k$ is some target number of colors and given some twin cover $X$ of $G$ which is of size $t$, there is a polynomial time reduction to an equivalent instance which has at most $\max\{2,t+k2^t\}$ vertices. This result allows us to give a kernel for Strong CFVC Number which is parameterized by $\operatorname{tc}(G)+k$, which implies that Strong CFVC Number is FPT w.r.t. the twin-cover number of $G$ so long as $k$ is fixed. Our second result is that if $G$ is a connected graph for which there exists a twin cover of size $t$, then $χ(G)\le \operatorname{svcfc}(G)\le χ(G)+t$. Our last result is an an exact expression for the chromatic number of graphs whose twin cover number is bounded. Namely, we show that for every proper coloring $\varphi$ of $G[X]$, the minimum number of colors needed to extend $\varphi$ to all of $G$ is $K_\varphi=\max_{S\subseteq X}(|\varphi(S)|+m(S))$, and hence $χ(G)=\min_{\varphi\text{ proper on }G[X]} K_\varphi$. Our results indicate that twin cover is a meaningful parameter in the context of strong conflict-free vertex-connection, and show that once we have a fixed twin cover, the only difficulty left is in some additive threshold above the chromatic number.

2026-05-13T10:13:01Z This version strengthens the vertex bound in the kernelization from $\max\{2,t+(t+1)k2^{t+k-1}\}$ to $\max\{2,t+k2^t\}$, as well as streamlines the exposition 32nd International Computing and Combinatorics Conference (COCOON 2026), Lecture Notes in Computer Science, vol. 16835, pp. 397-408, Springer (2027) Samuel German 10.1007/978-981-92-3309-0_30 http://arxiv.org/abs/2611.14194v1 2026-11-10T15:15:19Z

We show that, for every fixed proper minor-closed graph class $\mathcal{G}$ and every positive integer $n$, there exists a graph $U_n$ with $n^{1+o(1)}$ vertices and edges such that every $n$-vertex graph in $\mathcal{G}$ is isomorphic to an induced subgraph of $U_n$. This result generalizes and unifies the results of Dujmović et al. (J. ACM 2021) on induced-universal graphs and the results of Esperet, Joret, and Morin (J. London Math. Soc. 2023) on sparse induced-universal graphs from planar graphs to all proper minor-closed graph classes. It simultaneously improves the previous bounds for the number of vertices in induced-universal graphs (previously $O(n^2)$ obtained as a corollary of a result of DeVos et al. (J. Comb. Theory, Ser. {B} 2004) and a result of Gavoille and Labourel (ESA 2007)) and the number of edges in subgraph-universal graphs (previously $O(n^{3/2})$ by Babai et al. (Theory and Practice of Combinatorics 1982)).

2026-11-10T15:15:19Z Extends the results in arXiv:2605.06616 to produce induced-universal graphs with $n^{1+o(1)}$ edges and vertices Vida Dujmović Cyril Gavoille Gwenaël Joret Piotr Micek Pat Morin David R. Wood http://arxiv.org/abs/2503.20550v9 2026-11-10T14:54:52Z

The pebble motion problem (PMP) asks whether one configuration of labeled pebbles on a graph can be transformed into another by moving pebbles to adjacent unoccupied vertices. Kornhauser, Miller, and Spirakis proved that the worst-case shortest solution length on an $N$-vertex graph is $Θ(N^3)$, but the graph structures responsible for this cubic behavior remained unclear. We first show that cubic complexity cannot occur on trees: every feasible instance on an $N$-vertex tree admits a solution sequence of length $\mathrm{O}(N^2\log N)$, constructible in time linear in its length. This is the first $\mathrm{o}(N^3)$ upper bound for PMP on trees. We then extend the method to general graphs. When $2\le N-n=\mathrm{O}(1)$, every instance on a feasible puzzle admits a solution of length $\mathrm{O}(n\,\mathrm{CL}(G)\,\mathrm{D}(G))$, where $\mathrm{D}(G)$ is the diameter and $\mathrm{CL}(G)$ is the maximum length of a shortest cycle through a vertex; this recovers the classical $\mathrm{O}(N^{3/2})$ bound for square grids. We further show that any graph with worst-case shortest solution length $Θ(N^3)$ has a unique biconnected component $X$ of order $Θ(N)$, while all structures attached through any one cut vertex of $X$ have bounded total size. Moreover, $X$ contains no cycle of unbounded sublinear order, and any two intersecting cycles of order $Θ(N)$ share at least as many vertices as there are blanks. Finally, cubic complexity occurs when a cycle of order $Θ(N)$ contains all but $\mathrm{O}(1)$ vertices, whereas two $Θ(N)$-cycles meeting at one vertex have complexity exactly $Θ(N^2\log N)$. We conjecture that the former construction essentially characterizes the cubic regime.

2025-03-26T13:46:44Z Tomoki Nakamigawa Tadashi Sakuma http://arxiv.org/abs/2606.05156v2 2026-11-10T14:40:33Z

A temporal graph is a graph in which every edge carries a non-empty set of time labels, and it is temporally connected if for every two vertices $u$ and $v$, there exists a $u$-$v$-path with non-decreasing time labels. A spanner is a subset of its edges preserving temporal connectivity. Unlike static graphs, temporally connected graphs need not admit sparse spanners; nonetheless, minimizing spanner size is a central and widely studied problem. A particularly intriguing question is whether temporal cliques admit spanners of linear size. Despite considerable effort over the past years, the best known upper bound remained $O(n \log n)$. We finally resolve this question, proving that every temporal clique on $n$ vertices admits a spanner of size $7n$. Moreover, such a spanner can be computed in polynomial time.

2026-06-03T17:56:31Z SODA 2027 Julia Baligacs http://arxiv.org/abs/2611.13917v1 2026-11-10T11:06:34Z

We examine the computational complexity of well-known problems on subgraphs of the strong product of two paths. Namely, for Max Cut we show NP-hardness on induced subgraphs of $P \boxtimes P$ answering a question by Dvořák, Huynh, Joret, Liu, and Wood (2021). For 3-Edge Coloring we show NP-hardness on subgraphs of $P \boxtimes P$ and that it is equivalent to 3-Edge Coloring on planar graphs for induced subgraphs of $P \boxtimes P$. It is a long standing open question whether 3-Edge Coloring on planar graphs is NP-hard. As a second contribution, we consider graphs of the form $G \boxtimes P$ and show that Feedback Vertex Set on these graphs is FPT in the clique-width of $G$. Furthermore, we show that it can be solved in polynomial time if $G$ is chordal or co-comparable and that the computational complexity depends on the parity of $P$ if $G$ is bipartite. Namely, it is solvable in polynomial time if $P$ has an even number of vertices but is NP-complete otherwise. For Max Cut, we show that it can be solved in polynomial time if $G$ is bipartite.

2026-11-10T11:06:34Z Jan Diester Kolja Kühn Manuel Rapp Samuel Schneider Torsten Ueckerdt http://arxiv.org/abs/2605.23291v2 2026-11-10T10:58:03Z

Let $M$ be a matroid on a finite ground set $E$, and suppose that the automorphism group of $M$ acts transitively on $E$. We show the following: if $X_1,\ldots,X_K$ are sampled independently from a distribution $p$ on $E$, then the probability that the samples are distinct and that $\{X_1,\ldots,X_K\}$ is an independent set in $M$ is quasi-concave in $p$ and maximized when $p$ is uniform. For $2\le K\le\rank(M)$, we characterize all maximizers by uniform total mass on the parallel classes and, in particular, show that the maximizer is unique and has global quadratic stability when $M$ is simple. As a corollary, for a random $K\times N$ matrix over a finite field with i.i.d.\ rows, uniform sampling from the nonzero vectors maximizes the probability of full row rank. Finally, we show that uniform sampling maximizes $\Prob\big(\rank_M(X_1,\ldots,X_L)\ge r\big)$, and hence also $\E\rank_M(X_1,\ldots,X_L)$, for every $L, r$.

2026-05-22T07:03:54Z 15 pages Mladen Kovačević http://arxiv.org/abs/2611.13813v1 2026-11-10T09:43:12Z

For a simple graph $G$, let $d(u,v)$ denote the distance between two vertices $u$ and $v$ in $G$, and let $diam(G)$ denote the diameter of $G$. A radio labeling of $G$ is a mapping $f : V(G) \rightarrow \mathbb{N} \cup \{0\}$ such that $|f(u)-f(v)|\geq diam(G) + 1 - d(u,v)$ holds for every pair of distinct vertices $u, v \in G$. The span of $f$ is the difference between the largest and smallest integers assigned by $f$, and the radio number $rn(G)$ is the minimum span taking over all radio labelings of $G$. Let $P_n$ denote the path on $n$ vertices and let $H$ denote the Heawood graph (see Figure-1). In this paper we determine the radio number for the Cartesian product of a path and the Heawood graph, and characterize all optimal radio labelings of $P_n \Box H$. Moreover, we show that the radio number of $P_n \Box H$ exceed the lower bound given for $rn(G)$ in [6], where $G$ is any graph, and that this gap is arbitrarily large.

2026-11-10T09:43:12Z 24 pages, 1 figures Payal Vasoya Miral Doshi Devsi Bantva http://arxiv.org/abs/2611.13787v1 2026-11-10T09:22:21Z

We study how changing a Boolean-valued function at $d$ inputs affects the size and precision of its exact representations. Starting from a representation of size $m$, we prove four bounds, two for nearest-neighbor (NN) representations and two for integer min-plus representations. (i) For NN representations on a finite subset of $\mathbb{R}^n$ with $n\ge2$, at most $m+2d$ anchors suffice. The coefficient $2$ is optimal: on a three-point domain, changing one value can increase the minimum number of anchors from one to three. (ii) For NN representations on the Boolean cube with rational anchors, let $R$ be the maximum original coordinate bit length, and let $Δ$ be the maximum bit length of the least common denominator of any one original anchor's coordinates. We construct a representation with at most $m+3d$ anchors on a common dyadic grid and coordinate bit length $O(R+Δ+\log(n+1))$. (iii) For integer min-plus representations on the Boolean cube, we give a construction that keeps the original $m$ forms and their labels and adds at most $d$ new forms. Its maximum weight is at most $W+2n$, where $W$ is the largest absolute original coefficient, including constant terms. (iv) For integer min-plus representations on a finite rational domain $X\subset\mathbb{Q}^n$, at most $m+2d$ forms suffice. Their maximum weight is polynomially bounded in $m,d,W,n,|X|$, the coordinate bound, and the common denominator of $X$. The coefficient $2$ is again optimal: on a three-point domain, changing one value can increase the minimum number of forms from one to three. These bounds imply stability under polynomially many changes on the cube for polynomial-size representations, including those with polynomially bounded NN coordinate bit length or min-plus weight.

2026-11-10T09:22:21Z 19 pages, 2 figures Liliia Redina