arXiv++ Combinatorics

In this paper, we study a reversible process (more precisely, a groupoid/group action) resembling the classical 15-puzzle, where the legal moves are to ``move the unique hole inside a translate of a shape $S$''. Such a process can be defined for any finite subset $S$ of a group, and we refer to such a process as simply ``solitaire''. We develop a general theory of solitaire, and then concentrate on the simplest possible example, solitaire for the plane $\mathbb{Z}^2$, and $S$ the triangle shape (equivalently, any three-element set in general position). In this case, we give a polynomial time algorithm that puts any finite subset of the plane in normal form using solitaire moves, and show that the solitaire orbit of a line of consecutive ones -- the line orbit -- is completely characterised by the notion of a so-called fill matrix. We show that the diameter of the line orbit, as a graph with edges the solitaire moves, is cubic. We show that analogous results hold for the square shape, but indicate some shapes (still on the group $\mathbb{Z}^2$) where this is less immediate. We then explain in detail the connection of the solitaire to TEP and more generally permutive subshifts. Namely, the solitaire is a closure property of various sets of subsets of the group that can be associated to such a subshift, such as the independence, spanning and filling sets.

We present a 1.8334-approximation algorithm for Vertex Cover on string graphs given with a representation, which takes polynomial time in the size of the representation; the exact approximation factor is $11/6$. Recently, the barrier of 2 was broken by Lokshtanov et al. [SoGC '24] with a 1.9999-approximation algorithm. Thus we increase by three orders of magnitude the distance of the approximation ratio to the trivial bound of 2. Our algorithm is very simple. The intricacies reside in its analysis, where we mainly establish that string graphs without odd cycles of length at most 11 are 8-colorable. Previously, Chudnovsky, Scott, and Seymour [JCTB '21] showed that string graphs without odd cycles of length at most 7 are 80-colorable, and string graphs without odd cycles of length at most 5 have bounded chromatic number.

For a graph $G$ define the parameters $\ell(G)$ and $L(G)$ as the minimum and maximum value of $ν(G\backslash F)$, where $F$ is a maximum matching of $G$ and $ν(G)$ is the matching number of $G$. In this paper, we show that there is a small constant $c>0$, such that the following decision problem is NP-complete: given a graph $G$ and $k\leq \frac{|V|}{2}$, check whether there is a maximum matching $F$ in $G$, such that $|ν(G\backslash F)-k|\leq c\cdot |V|$. Note that when $c=1$, this problem is polynomial time solvable as we observe in the paper. Since in any graph $G$, we have $L(G)\leq 2\ell(G)$, any polynomial time algorithm constructing a maximum matching of a graph is a 2-approximation algorithm for $\ell(G)$ and $\frac{1}{2}$-approximation algorithm for $L(G)$. We complement these observations by presenting two inapproximability results for $\ell(G)$ and $L(G)$.

We investigate a cheating robot version of Cops and Robber, first introduced by Huggan and Nowakowski, where both the cops and the robber move simultaneously, but the robber is allowed to react to the cops' moves. For conciseness, we refer to this game as Cops and Cheating Robot. The cheating robot number for a graph is the fewest number of cops needed to win on the graph. We introduce a new parameter for this variation, called the push number, which gives the value for the minimum number of cops that move onto the robber's vertex given that there are a cheating robot number of cops on the graph. After producing some elementary results on the push number, we use it to give a relationship between Cops and Cheating Robot and Surrounding Cops and Robbers. We investigate the cheating robot number for planar graphs and give a tight bound for bipartite planar graphs. We show that determining whether a graph has a cheating robot number at most fixed $k$ can be done in polynomial time. We also obtain bounds on the cheating robot number for strong and lexicographic products of graphs.

A class ${\cal G}$ of graphs is $χ$-{\em polydet} if ${\cal G}$ has a polynomial binding function $f$ and there is a polynomial time algorithm to determine an $f(ω(G))$-coloring of $G\in {\cal G}$. Let $P_t$ and $C_t$ denote a path and a cycle on $t$ vertices, respectively. A {\em bull} consists of a triangle with two disjoint pendant edges, a {\em hammer} is obtained by identifying an end of $P_3$ with a vertex of a triangle, a {\em fork$^+$} is obtained from $K_{1, 3}$ by subdividing an edge twice. Let $H$ be a bull or a hammer, and $F$ be a $P_7$ or a fork$^+$. We determine all $(C_3, C_4, F)$-free graphs without clique cutsets and universal cliques, and present a close relation between $(C_4, F, H)$-free graphs and the Petersen graph. As a consequence, we show that the classes of $(C_4, F, H)$-free graphs are $χ$-polydet with nearly optimal linear binding functions.

Given integers $k,c > 0$, we say that a digraph $D$ is $(k,c)$-linked if for every pair of ordered sets $\{s_1, \ldots, s_k\}$ and $\{t_1, \ldots, t_k\}$ of vertices of $D$, there are $P_1, \ldots, P_k$ such that for $i \in [k]$ each $P_i$ is a path from $s_i$ to $t_i$ and every vertex of $D$ appears in at most $c$ of those paths. Thomassen [Combinatorica, 1991] showed that for every fixed $k \geq 2$ there is no integer $p$ such that every $p$-strong digraph is $(k,1)$-linked. Edwards et al. [ESA, 2017] showed that every digraph $D$ with directed treewidth at least some function $f(k)$ contains a large bramble of congestion $2$ and that every $(36k^3 + 2k)$-strong digraph containing a bramble of congestion $2$ and size roughly $188k^3$ is $(k,2)$-linked. Since the directed treewidth of a digraph has to be at least its strong connectivity, this implies that there is a function $L(k)$ such that every $L(k)$-strong digraph is $(k,2)$-linked. This result was improved by Campos et al. [ESA, 2023], who showed that any $k$-strong digraph containing a bramble of size at least $2k(c\cdot k -c + 2) + c(k-1)$ and congestion $c$ is $(k,c)$-linked. Regarding the bramble, although the given bound on $f(k)$ is very large, Masařík et al. [SIDMA, 2022] showed that directed treewidth $\mathcal{O}(k^{48}\log^{13} k)$ suffices if the congestion is relaxed to $8$. We first show how to drop the dependence on $c$, for even $c$, on the size of the bramble that is needed in the work of Campos et al. [ESA, 2023]. Then, by making two local changes in the proof of Masařík et al. [SIDMA, 2022] we show how to build in polynomial time a bramble of size $k$ and congestion $8$ assuming that a large obstruction to directed treewidth (namely, a path system) is given. Applying these results, we show that there is a polynomial function $g(k)$ such that every $g(k)$-strong digraph is $(k,8)$-linked.

Let $G=(V, E)$ be a graph where $V$ and $E$ are the vertex and edge sets, respectively. For two disjoint subsets $A$ and $B$ of $V$, we say $A$ \textit{dominates} $B$ if every vertex of $B$ is adjacent to at least one vertex of $A$ in $G$. A vertex partition $π= \{V_1, V_2, \ldots, V_k\}$ of $G$ is called a \emph{transitive partition} of size $k$ if $V_i$ dominates $V_j$ for all $1\leq i<j\leq k$. A vertex partition $π= \{V_1, V_2, \ldots, V_k\}$ of $G$ is called a \emph{tournament transitive partition} of size $k$ if $V_i$ dominates $V_j$ for all $1\leq i<j\leq k$ and $V_j$ does not dominate $V_i$ for $i<j$. The maximum integer $k$ for which the above partition exists is called \emph{tournament transitivity} of $G$, and it is denoted by $TTr(G)$. The \textsc{Maximum Tournament Transitivity Problem} is to find a tournament transitive partition of a given graph with the maximum number of parts. In this article, we study this variation of transitive partition from a structure and algorithmic point of view. We show that the decision version of this problem is NP-complete for chordal graphs (connected), perfect elimination bipartite graphs (disconnected) and doubly chordal graphs (disconnected). On the positive side, we prove that this problem can be solved in polynomial time for trees. Furthermore, we characterize \textup{Type-I BCG} with equal transitivity and tournament transitivity and find some sufficient conditions under which the above two parameters are equal for a \textup{Type-II BCG}. Finally, we show that for \textup{Type-III BCG}, these two parameters are never equal.

This present paper provides the absolutely necessary corrections to the previous work entitled {\it A polynomial Time Algorithm to Solve The Max-atom Problem} (arXiv:2106.08854v1). The max-atom-problem (MAP) deals with system of scalar inequalities (called atoms or max-atom) of the form: $x \leq a + \max(y,z)$. Where $a$ is a real number and $x,y$ and $z$ belong to the set of the variables of the whole MAP. A max-atom is said to be positive if its scalar $a$ is $\geq 0$ and stricly negative if its scalar $a <0$. A MAP will be said to be positive if all atoms are positive. In the case of non positive MAP we present a saturation principle for system of vectorial inequalities of the form $x \leq A x + b$ in the so-called $(\max,+)$-algebra assuming some properties on the matrix $A$. Then, we apply such principle to explore all non-trivial solutions (ie $\neq -\infty$). We deduce a strongly polynomial method to express all solutions of a non positive MAP. In the case a positive MAP which has always the vector $x^{1}=(0)$ as trivial solution we show that looking for all solutions requires the enumeration of all elementary circuits in a graph associated with the MAP. However, we propose a strongly polynomial method wich provides some non trivial solutions.

In 2012, Cohen, Dasbach, and Russell presented an algorithm to construct a weighted adjacency matrix for a given knot diagram. In the case of pretzel knots, it is shown that after evaluation, the determinant of the matrix recovers the Jones polynomial. Although the Jones polynomial is known to be #P-hard by Jaeger, Vertigan, and Welsh, this presents a class of knots for which the Jones polynomial can be computed in polynomial time by using the determinant. In this paper, we extend these results by recovering the Jones polynomial as the determinant of a weighted adjacency matrix for certain subfamilies of the braid group. Lastly, we compute the Kauffman polynomial of (2,q) torus knots in polynomial time using the balanced overlaid Tait graphs. This is the first known example of generalizing the methodology of Cohen to a class of quantum invariants which cannot be derived from the HOMFLYPT polynomial.

In this paper, we introduce a novel star partitioning problem for simple connected graphs $G=(V,E)$. The goal is to find a partition of the edges into stars that minimizes the maximum number of stars a node is contained in while simultaneously satisfying node-specific capacities. We design and analyze an efficient polynomial time algorithm with a runtime of $\mathcal{O}(|E|^2)$ that determines an optimal partition. Moreover, we explicitly provide a closed form of an optimal value for some graph classes. We generalize our algorithm to find even an optimal star partition of linear hypergraphs, multigraphs, and graphs with self-loop. We use flow techniques to design an algorithm for the star partitioning problem with an improved runtime of $\mathcal{O}(\log(Δ) \cdot |E| \cdot \min\{|V|^{\frac{2}{3}},|E|^{\frac{1}{2}}\})$, where $Δ$ is maximum node degree in $G$. In contrast to the unweighted setting, we show that a node-weighted decision variant of this problem is \texttt{strongly NP-complete} even without capacity constraints. Furthermore, we provide an extensive comparison to the problem of minimizing the minimum indegree satisfying node capacity constraints.

In this article, we introduce the parametric matroid $\ell$-interdiction problem, where $\ell\in\mathbb{N}_{>0}$ is a fixed number of elements allowed to be interdicted. Each element of the matroid's ground set is assigned a weight that depends linearly on a real parameter from a given interval. The goal is to compute, for each possible parameter value, a set of $\ell$-most vital elements with corresponding objective value the deletion of which causes a maximum increase of the weight of a minimal basis. We show that such a set, which of course depends on the parameter, can only change polynomially often if the parameter varies. We develop several exact algorithms to solve the problem that have polynomial running times if an independence test can be performed in polynomial time.

Let $Δ,q\geq 3$ be integers. We prove that there exists $η\geq 0.002$ such that if $q\geq (2-η)Δ$, then there exists an open set $\mathcal{U}\subset \mathbb{C}$ that contains the interval $[0,1]$ such that for each $w\in \mathcal{U}$ and any graph $G=(V,E)$ of maximum degree at most $Δ$, the partition function of the anti-ferromagnetic $q$-state Potts model evaluated at $w$ does not vanish. This provides a (modest) improvement on a result of Liu, Sinclair, and Srivastava, and breaks the $q=2Δ$-barrier for this problem. As a direct consequence we obtain via Barvinok's interpolation method a deterministic polynomial time algorithm to approximate the number of proper $q$-colorings of graphs of maximum degree at most $Δ$, provided $q\geq (2-η)Δ$.

We study push-pull rumour spreading in ultra-small-world models for social networks where the degrees follow a power-law distribution. In a non-geometric setting, Fountoulakis, Panagiotou and Sauerwald have shown that rumours always spread ultra-fast (SODA 2012), i.e. in doubly logarithmic time. On the other hand, Janssen and Mehrabian have found that rumours spread slowly (polynomial time) in a spatial preferential attachment model (SIDMA 2017). We study the question systematically for the model of Geometric Inhomogeneous Random Graphs (GIRGs). Our results are two-fold: first, with Euclidean geometry slow, fast (polylogarithmic) and ultra-fast rumour spreading may occur, depending on the exponent of the power law and the strength of the geometry in the networks, and we fully characterise the phase boundaries in between. The regimes do not coincide with the graph distance regimes, i.e., polylogarithmic or even polynomial rumour spreading may occur even if graph distances are doubly logarithmic. We expect these results to hold with little effort for related models, e.g. Scale-Free Percolation. Second, we show that rumour spreading is always (at least) fast in a non-metric geometry. The considered non-metric geometry allows to model social connections where resemblance of vertices in a single attribute, such as familial kinship, already strongly indicates the presence of an edge. Euclidean geometry fails to capture such ties. For some regimes in the Euclidean setting, the efficient pathways for spreading rumours differ from previously identified paths. For example, a vertex of degree $d$ can transmit the rumour to a vertex of larger degree by a chain of length $3$, where one of the two intermediaries has constant degree, and the other has degree $d^{c}$ for some constant $c<1$. Similar but longer chains of vertices, all having non-constant degree, turn out to be useful as well.

The coloring problem is a well-research topic and its complexity is known for several classes of graphs. However, the question of its complexity remains open for the class of antiprismatic graphs, which are the complement of prismatic graphs and one of the four remaining cases highlighted by Lozin and Malishev. In this article we focus on the equivalent question of the complexity of the clique cover problem in prismatic graphs. A graph $G$ is prismatic if for every triangle $T$ of $G$, every vertex of $G$ not in $T$ has a unique neighbor in $T$. A graph is co-bridge-free if it has no $C_4+2K_1$ as induced subgraph. We give a polynomial time algorithm that solves the clique cover problem in co-bridge-free prismatic graphs. It relies on the structural description given by Chudnovsky and Seymour, and on later work of Preissmann, Robin and Trotignon. We show that co-bridge-free prismatic graphs have a bounded number of disjoint triangles and that implies that the algorithm presented by Preissmann et al. applies.

We study the natural extended-variable formulation for the disjunction of $n+1$ polytopes in $\mathbb{R}^d$. We demonstrate that the convex hull $D$ in the natural extended-variable space $\mathbb{R}^{d+n}$ is given by full optimal big-M lifting (i) when $d\leq 2$ (and that it is not generally true for $d\geq 3$), and also (ii) under some technical conditions, when the polytopes have a common facet-describing constraint matrix, for arbitrary $d\geq 1$ and $n\geq 1$. We give a broad family of examples with $d\geq 3$ and $n=1$, where the convex hull is not described after employing all full optimal big-M lifting inequalities, but it is described after one round of MIR inequalities. Additionally, we give some general results on the polyhedral structure of $D$, and we demonstrate that all facets of $D$ can be enumerated in polynomial time when $d$ is fixed.

For a multigraph $G$, $χ'(G)$ denotes the chromatic index of $G$, $Δ(G)$ the maximum degree of $G$, and $Γ(G) = \max\left\{\left\lceil \frac{2|E(H)|}{|V(H)|-1} \right\rceil: H \subseteq G \text{ and } |V(H)| \text{ odd}\right\}$. As a generalization of Vizing's classical coloring result for simple graphs, the Goldberg-Seymour conjecture, posed in the 1970s, states that $χ'(G)=\max\{Δ(G), Γ(G)\}$ or $χ'(G)=\max\{Δ(G) + 1, Γ(G)\}$. Hochbaum, Nishizeki, and Shmoys further conjectured in 1986 that such a coloring can be found in polynomial time. A long proof of the Goldberg-Seymour conjecture was announced in 2019 by Chen, Jing, and Zang, and one case in that proof was eliminated recently by Jing (but the proof is still long); and neither proof has been verified. In this paper, we give a proof of the Goldberg-Seymour conjecture that is significantly shorter and confirm the Hochbaum-Nishizeki-Shmoys conjecture by providing an $O(|V|^5|E|^3)$ time algorithm for finding a $\max\{Δ(G) + 1, Γ(G)\}$-edge-coloring of $G$.

It is a notorious open question whether integer programs (IPs), with an integer coefficient matrix $M$ whose subdeterminants are all bounded by a constant $Δ$ in absolute value, can be solved in polynomial time. We answer this question in the affirmative if we further require that, by removing a constant number of rows and columns from $M$, one obtains a submatrix $A$ that is the transpose of a network matrix. Our approach focuses on the case where $A$ arises from $M$ after removing $k$ rows only, where $k$ is a constant. We achieve our result in two main steps, the first related to the theory of IPs and the second related to graph minor theory. First, we derive a strong proximity result for the case where $A$ is a general totally unimodular matrix: Given an optimal solution of the linear programming relaxation, an optimal solution to the IP can be obtained by finding a constant number of augmentations by circuits of $[A\; I]$. Second, for the case where $A$ is transpose of a network matrix, we reformulate the problem as a maximum constrained integer potential problem on a graph $G$. We observe that if $G$ is $2$-connected, then it has no rooted $K_{2,t}$-minor for $t = Ω(k Δ)$. We leverage this to obtain a tree-decomposition of $G$ into highly structured graphs for which we can solve the problem locally. This allows us to solve the global problem via dynamic programming.

We study the semistability of quiver representations from an algorithmic perspective. We present efficient algorithms for several fundamental computational problems on the semistability of quiver representations: deciding the semistability and $σ$-semistability, finding the maximizers of King's criterion, and computing the Harder--Narasimhan filtration. We also investigate a class of polyhedral cones defined by the linear system in King's criterion, which we refer to as King cones. For rank-one representations, we demonstrate that these King cones can be encoded by submodular flow polytopes, enabling us to decide the $σ$-semistability in strongly polynomial time. Our approach employs submodularity in quiver representations, which may be of independent interest.

Positional games were introduced by Hales and Jewett in 1963, and their study became more popular after Erdos and Selfridge's first result on their connection to Ramsey theory and hypergraph coloring in 1973. Several conventions of these games exist, and the most popular one, Maker-Breaker was proved to be PSPACE-complete by Schaefer in 1978. The study of their complexity then stopped for decades, until 2017 when Bonnet, Jamain, and Saffidine proved that Maker-Breaker is W[1]-complete when parameterized by the number of moves. The study was then intensified when Rahman and Watson improved Schaefer's result in 2021 by proving that the PSPACE-hardness holds for 6-uniform hypergraphs. More recently, Galliot, Gravier, and Sivignon proved that computing the winner on rank 3 hypergraphs is in P. We focus here on the Client-Waiter and the Waiter-Client conventions. Both were proved to be NP-hard by Csernenszky, Martin, and Pluhár in 2011, but neither completeness nor positive results were known for these conventions. In this paper, we complete the study of these conventions by proving that the former is PSPACE-complete, even restricted to 6-uniform hypergraphs, and by providing an FPT-algorithm for the latter, parameterized by the size of its largest edge. In particular, the winner of Waiter-Client can be computed in polynomial time in k-uniform hypergraphs for any fixed integer k. Finally, in search of finding the exact bound between the polynomial result and the hardness result, we focused on the complexity of rank 3 hypergraphs in the Client-Waiter convention. We provide an algorithm that runs in polynomial time with an oracle in NP.

An induced packing of cycles in a graph is a set of vertex-disjoint cycles with no edges between them. We generalise the classic Erdős-Pósa theorem to induced packings of cycles. More specifically, we show that there exist functions $f(k,\ell)=\mathcal{O}(\ell k\log k)$ and $g(k)=\mathcal{O}(k\log k)$ such that for all integers $k\geq1$ and $\ell\geq3$, every graph $G$ contains either an induced packing of $k$ cycles of length at least $\ell$, not necessarily induced cycles, or sets $X_1$ and $X_2$ of vertices with $|X_1|\leq f(k,\ell)$ and $|X_2|\leq g(k)$ such that, after removing the closed neighbourhood of $X_1$ or the ball of radius $\ell$ around $X_2$, the resulting graph has no cycle of length at least $\ell$ in $G$. Our proof is constructive and yields a polynomial-time algorithm finding either the induced packing or the sets $X_1$ and $X_2$ when $\ell$ is a constant. Furthermore, we show that for every positive integer $d$, if a graph $G$ does not contain two cycles at distance more than $d$, then $G$ contains sets $X_1$ and $X_2$ of vertices with $|X_1|\leq12(d+1)$ and $|X_2|\leq12$ such that, after removing the ball of radius $2d$ around $X_1$ or the ball of radius $3d$ around $X_2$, the resulting graphs are forests. As a corollary, we prove that every graph with no $K_{1,t}$ induced subgraph and no induced packing of $k$ cycles of length at least $\ell$ has tree-independence number at most $\mathcal{O}(t\ell k\log k)$, and one can construct a corresponding tree-decomposition in polynomial time when $\ell$ is a constant. This resolves a special case of a conjecture of Dallard et al. (arXiv:2402.11222), and implies that on such graphs, many NP-hard problems, are solvable in polynomial time. On the other hand, we show that the class of all graphs with no $K_{1,3}$ induced subgraph and no two cycles at distance more than $2$ has unbounded tree-independence number.