https://arxiv.org/api/zGBXu54pmLZ+eRdcptrrRO+aW98 2026-06-21T20:23:25Z 15689 720 15 http://arxiv.org/abs/2508.10443v2 2026-02-08T20:29:13Z

The localization game is a variant of the game of Cops and Robber in which the robber is invisible and moves between adjacent vertices, but the cops can probe any $k$ vertices of the graph to obtain the distance between probed vertices and the robber. The localization number of a graph is the minimum $k$ needed for cops to be able to locate the robber in finite time. The localization capture time is the number of rounds needed for cops to win. The localization capture time conjecture claims that there exists a constant $C$ such that the localization number of every connected graph on $n$ vertices is at most $Cn$. While it is known that the conjecture holds for trees, in this paper we significantly improve the known upper bound for the localization capture time of trees. We also prove the conjecture for a subclass of outerplanar graphs and present a generalization of the localization game that appears useful for making further progress towards the conjecture.

2025-08-14T08:30:16Z 16 pages, 3 figures Vesna Iršič Chenoweth Matija Skrt http://arxiv.org/abs/2501.03788v3 2026-02-08T19:41:42Z

We introduce a family of domination-type problems in Cartesian products of two graphs. The framework captures several well-studied topics, including variants of bootstrap percolation, line growth, distance domination, and target set selection. We focus on Cartesian products of two complete graphs and formulate the notion of Young domination number in terms of a growth rule determined by a Young diagram; this number is the smallest cardinality of an initial set that covers the entire vertex set in a prescribed number $L$ of iterations of the rule. We compute the Young domination number with $L=1$ for several natural cases, including $k$-domination for Cartesian products of two complete graphs of the same order, thereby proving a conjecture from 2009 due to Burchett, Lane, and Lachniet. We show that the case of $L=1$ of Young domination is equivalent to computing bipartite Turán numbers for families of double stars, yielding implications of our results in extremal graph theory. For arbitrary fixed $L$, we devise constant-factor approximation algorithms for the problem. Our approach is based on a variety of techniques, including duality between Young diagrams, algebraic formulations, explicit constructions, and dynamic programming.

2025-01-07T13:52:02Z Janko Gravner Matjaž Krnc Martin Milanič Jean-Florent Raymond http://arxiv.org/abs/2111.08895v2 2026-02-08T17:52:33Z

We show that any total preorder on a set with $\binom{n}{2}$ elements coincides with the order on pairwise distances of some point collection of size $n$ in $\mathbb{R}^{n-1}$. For linear orders, a collection of $n$ points in $\mathbb{R}^{n-2}$ suffices. These bounds turn out to be optimal. We also find an optimal bound in a bipartite version for total preorders and a near-optimal bound for a bipartite version for linear orders. Our arguments include tools from convexity and positive semidefinite quadratic forms.

2021-11-17T04:22:27Z Edit made on February 2026: Corollary 4 is false as stated. The inductive approach fails soon after the inductive base. See page 5 for details on this Víctor Hugo Almendra-Hernández Leonardo Martínez-Sandoval http://arxiv.org/abs/2301.00434v4 2026-02-08T14:13:22Z

Here we merge the two fields of Cops and Robbers and Graph Pebbling to introduce the new topic of Cops and Robbers Pebbling. Both paradigms can be described by moving tokens (the cops) along the edges of a graph to capture a special token (the robber). In Cops and Robbers, all tokens move freely, whereas, in Graph Pebbling, some of the chasing tokens disappear with movement while the robber is stationary. In Cops and Robbers Pebbling, some of the chasing tokens (cops) disappear with movement, while the robber moves freely. We define the cop pebbling number of a graph to be the minimum number of cops necessary to capture the robber in this context, and present upper and lower bounds and exact values, some involving various domination parameters, for an array of graph classes, including paths, cycles, trees, chordal graphs, high girth graphs, and cop-win graphs, as well as graph products. Furthermore we show that the analogous inequality for Graham's Pebbling Conjecture fails for cop pebbling and posit a conjecture along the lines of Meyniel's Cops and Robbers Conjecture that may hold for cop pebbling. We also offer several new problems.

2023-01-01T16:03:43Z Nancy Clarke Joshua Forkin Glenn Hurlbert http://arxiv.org/abs/2602.07927v1 2026-02-08T11:51:17Z

A \emph{multipacking} in an undirected graph $G=(V,E)$ is a set $M\subseteq V$ such that for every vertex $v\in V$ and for every integer $r\geq 1$, the ball of radius $ r $ around $ v $ contains at most $r$ vertices of $M$. The \textsc{Multipacking} problem asks whether a graph contains a multipacking of size at least $k$. For more than a decade, it remained open whether \textsc{Multipacking} is \textsc{NP-complete} or polynomial-time solvable, although it is known to be polynomial-time solvable for some classes (e.g., strongly chordal graphs and grids). Foucaud, Gras, Perez, and Sikora [\textit{Algorithmica} 2021] showed it is \textsc{NP-complete} for directed graphs and \textsc{W[1]-hard} when parameterized by the solution size. We resolve the open question by proving \textsc{Multipacking} is \textsc{NP-complete} for undirected graphs and \textsc{W[2]-hard} when parameterized by the solution size. Furthermore, we show it remains \textsc{NP-complete} and \textsc{W[2]-hard} even for chordal, bipartite, claw-free, regular, CONV, and chordal$\cap\frac{1}{2}$-hyperbolic graphs (a superclass of strongly chordal graphs), and we provide approximation algorithms for cactus, chordal, and $δ$-hyperbolic graphs. Moreover, we study the relationship between multipacking number and broadcast domination number for cactus, chordal, and $δ$-hyperbolic graphs. Further, we prove that for all $r\geq 2$, \textsc{$r$-Multipacking} is \textsc{NP-complete} even for planar bipartite graphs with bounded degree, and also for bounded-diameter chordal and bounded-diameter bipartite graphs. For geometric variants, in $\mathbb{R}^2$ a maximum $1$-multipacking can be computed in polynomial time, but computing a maximum $2$-multipacking is \textsc{NP-hard}, and we provide approximation and parameterized algorithms for the $2$-multipacking problem.

2026-02-08T11:51:17Z Doctoral Thesis Sk Samim Islam http://arxiv.org/abs/2602.07607v1 2026-02-07T16:22:41Z

We give a short, self-contained, and easily verifiable proof that determining the outerthickness of a general graph is NP-hard. This resolves a long-standing open problem on the computational complexity of outerthickness. Moreover, our hardness result applies to a more general covering problem $P_F$, defined as follows. Fix a proper graph class $F$ whose membership is decidable. Given an undirected simple graph $G$ and an integer $k$, the task is to cover the edge set $E(G)$ by at most $k$ subsets $E_1,\ldots,E_k$ such that each subgraph $(V(G),E_i)$ belongs to $F$. Note that if $F$ is monotone (in particular, when $F$ is the class of all outerplanar graphs), any such cover can be converted into an edge partition by deleting overlaps; hence, in this case, covering and partitioning are equivalent. Our result shows that for every proper graph class $F$ whose membership is decidable and that satisfies all of the following conditions: (a) $F$ is closed under topological minors, (b) $F$ is closed under $1$-sums, and (c) $F$ contains a cycle of length $3$, the problem $P_F$ is NP-hard for every fixed integer $k\ge 3$. In particular: For $F$ equal to the class of all outerplanar graphs, our result settles the long-standing open problem on the complexity of determining outerthickness. For $F$ equal to the class of all planar graphs, our result complements Mansfield's NP-hardness result for the thickness, which applies only to the case $k=2$. It is also worth noting that each of the three conditions above is necessary. If $F$ is the class of all eulerian graphs, then cond. (a) fails. If $F$ is the class of all pseudoforests, then cond. (b) fails. If $F$ is the class of all forests, then cond. (c) fails. For each of these three classes $F$, the problem $P_F$ is solvable in polynomial time for every fixed integer $k\ge 3$, showing that none of the three conditions can be dropped.

2026-02-07T16:22:41Z Pin-Hsian Lee Te-Cheng Liu Meng-Tsung Tsai http://arxiv.org/abs/2602.07606v1 2026-02-07T16:20:58Z

A theorem of Ding, Oporowski, Oxley, and Vertigan implies that any sufficiently large twin-free graph contains a large matching, a co-matching, or a half-graph as a semi-induced subgraph. The sizes of these unavoidable patterns are measured by the matching index, co-matching index, and half-graph index of a graph. Consequently, graph classes can be organized into the eight classes determined by which of the three indices are bounded. We completely classify the parameterized complexity of Independent Set, Clique, and Dominating Set across all eight of these classes. For this purpose, we first derive multiple tractability and hardness results from the existing literature, and then proceed to fill the identified gaps. Among our novel results, we show that Independent Set is fixed-parameter tractable on every graph class where the half-graph and co-matching indices are simultaneously bounded. Conversely, we construct a graph class with bounded half-graph index (but unbounded co-matching index), for which the problem is W[1]-hard. For the W[1]-hard cases of our classification, we review the state of approximation algorithms. Here, we contribute an approximation algorithm for Independent Set on classes of bounded half-graph index.

2026-02-07T16:20:58Z Jan Dreier Nikolas Mählmann Sebastian Siebertz http://arxiv.org/abs/2602.07563v1 2026-02-07T14:20:35Z

In a random model of minimum cost bipartite matching based on exponentially distributed edge costs, we show that the distribution of the cost of the optimal solution can be computed efficiently. The distribution is represented by its moment generating function, which in this model is always a rational function. The complex zeros of this function are of interest as the lack of zeros near the origin indicates a certain regularity of the distribution. We propose a conjecture according to which these moment generating functions never have complex zeros of smaller modulus than their first pole. For minimum cost perfect matching, also known as the assignment problem, such a zero-free disk would imply a Gaussian scaling limit.

2026-02-07T14:20:35Z 37 pages, 6 figures Johan Wästlund http://arxiv.org/abs/2602.07552v1 2026-02-07T13:55:40Z

We discuss recent progress on topological Helly-type theorems and their variants. We provide an overview of two different proof techniques, one based on the nerve lemma, while the other on non-embeddability.

2026-02-07T13:55:40Z Pavel Paták Zuzana Patáková http://arxiv.org/abs/2602.07435v1 2026-02-07T08:32:55Z

Meyniel's conjecture states that $n$-vertex connected graphs have cop number $O(\sqrt{n})$. The current best known upper bound is $n/2^{(1-o(1))\sqrt{\log n}}$, proved independently by Lu and Peng (2011), and by Scott and Sudakov (2011). In this paper, we extend their result by showing that every connected graph with vertex cover number $k$ has cop number at most $k/2^{(1-o(1))\sqrt{\log k}}$. This is the first sublinear upper bound on the cop number in terms of the vertex cover number.

2026-02-07T08:32:55Z Prosenjit Bose Louis Esperet Jędrzej Hodor Gwenaël Joret Piotr Micek Clément Rambaud http://arxiv.org/abs/2509.23511v2 2026-02-06T23:52:30Z

Consider two $n$-vertex graphs $X$ and $Y$, where we interpret $X$ as a social network with edges representing friendships and $Y$ as a movement graph with edges representing adjacent positions. The friends-and-strangers graph $\mathsf{FS}(X,Y)$ is a graph on the $n!$ permutations $V(X)\to V(Y)$, where two configurations are adjacent if and only if one can be obtained from the other by swapping two friends located on adjacent positions. Friends-and-strangers graphs were first introduced by Defant and Kravitz, and generalize sliding puzzles as well as token swapping problems. Previous work has largely focused on their connectivity properties. In this paper, we study the diameter of the connected components of $\mathsf{FS}(X, Y)$. We extend the result of Kornhauser, Miller, and Spirakis on sliding puzzles to general graphs in two ways. First, we show that the diameter of $\mathsf{FS}(X, Y)$ is polynomially bounded when both the friendship and the movement graphs have large minimum degree. Second, when both the underlying graphs $X$ and $Y$ are Erdős-Rényi random graphs, we show that the distance between any pair of configurations is almost always polynomially bounded under certain conditions on the edge probabilities.

2025-09-27T22:03:21Z 14 pages, 1 figure Amogh Akella Rupert Li http://arxiv.org/abs/2602.07230v1 2026-02-06T22:20:22Z

We introduce the Unsplittable Transshipment Problem in directed graphs with multiple sources and sinks. An unsplittable transshipment routes given supplies and demands using at most one path for each source-sink pair. Although they are a natural generalization of single source unsplittable flows, unsplittable transshipments raise interesting new challenges and require novel algorithmic techniques. As our main contribution, we give a nontrivial generalization of a seminal result of Dinitz, Garg, and Goemans (1999) by showing how to efficiently turn a given transshipment $x$ into an unsplittable transshipment $y$ with $y_a<x_a+d_{\max}$ for all arcs $a$, where $d_{\max}$ is the maximum demand (or supply) value. Further results include bounds on the number of rounds required to satisfy all demands, where each round consists of an unsplittable transshipment that routes a subset of the demands while respecting arc capacity constraints.

2026-02-06T22:20:22Z Srinwanti Debgupta Sarah Morell Martin Skutella http://arxiv.org/abs/2602.06950v1 2026-02-06T18:50:32Z

Say you and some friends decide to make brackets for March Madness and are told how each of your brackets scored. The question we ask is: when can you determine how the actual tournament went given your scores? We determine the exact minimum number of brackets needed to do this for any March Madness-style tournament regardless of the scoring system used, and more generally we prove effective bounds for the problem for arbitrary single-elimination tournaments.

2026-02-06T18:50:32Z Sam Spiro http://arxiv.org/abs/2602.16807v1 2026-02-06T17:52:13Z

A collection of hyperplanes $\mathcal{H}$ slices all edges of the $n$-dimensional hypercube $Q_n$ with vertex set $\{-1,1\}^n$ if, for every edge $e$ in the hypercube, there exists a hyperplane in $\mathcal{H}$ intersecting $e$ in its interior. Let $S(n)$ be the minimum number of hyperplanes needed to slice $Q_n$. We prove that $S(n) \leq \lceil \frac{4n}{5} \rceil$, except when $n$ is an odd multiple of $5$, in which case $S(n) \leq \frac{4n}{5} +1$. This improves upon the previously known upper bound of $S(n) \leq \lceil\frac{5n}{6} \rceil$ due to Paterson reported in 1971. We also obtain new lower bounds on the maximum number of edges in $Q_n$ that can be sliced using $k<n$ hyperplanes. We prove the improved upper bound on $S(n)$ by constructing $8$ hyperplanes slicing $Q_{10}$ aided by the recently introduced CPro1: an automatic tool that uses reasoning LLMs coupled with automated hyperparameter tuning to create search algorithms for the discovery of mathematical constructions.

2026-02-06T17:52:13Z Duncan Soiffer Nathaniel Itty Christopher D. Rosin Blake Bruell Mason DiCicco Gábor N. Sárközy Ryan Offstein Daniel Reichman http://arxiv.org/abs/2602.06874v1 2026-02-06T16:58:18Z

Let $G$ be a graph and let $\mathrm{cl}(G)$ be the number of distinct induced cycle lengths in $G$. We show that for $c,t\in \mathbb N$, every graph $G$ that does not contain an induced subgraph isomorphic to $K_{t+1}$ or $K_{t,t}$ and satisfies $\mathrm{cl}(G) \le c$ has bounded treewidth. As a consequence, we obtain a polynomial-time algorithm for deciding whether a graph $G$ contains induced cycles of at least three distinct lengths.

2026-02-06T16:58:18Z Maria Chudnovsky Ilya Maier