arXiv++ Combinatorics

Given a finite set of $2$-edge-coloured graphs $\mathcal F$ and a hereditary property of graphs $\mathcal{P}$, we say that $\mathcal F$ expresses $\mathcal{P}$ if a graph $G$ has the property $\mathcal{P}$ if and only if it admits a $2$-edge-colouring not having any graph in $\mathcal F$ as an induced $2$-edge-coloured subgraph. We show that certain classic hereditary classes are expressible by some set of $2$-edge-coloured graphs on three vertices. We then initiate a systematic study of the following problem. Given a finite set of $2$-edge-coloured graphs $\mathcal F$, structurally characterize the hereditary property expressed by $\mathcal F$. In our main results we describe all hereditary properties expressed by $\mathcal F$ when $\mathcal F$ consists of 2-edge-coloured graphs on three vertices and (1) patterns have at most two edges, or (2) $\mathcal F$ consists of both monochromatic paths and a set of coloured triangles. On the algorithmic side, we consider the $\mathcal F$-free colouring problem, i.e., deciding if an input graph admits an $\mathcal F$-free $2$-edge-colouring. It follows from our structural characterizations, that for all sets considered in (1) and (2) the $\mathcal F$-free colouring problem is solvable in polynomial time. We complement these tractability results with a uniform reduction to boolean constraint satisfaction problems which yield polynomial-time algorithms that recognize most graph classes expressible by a set $\mathcal F$ of $2$-edge-coloured graphs on at most three vertices. Finally, we exhibit some sets $\mathcal F$ such that the $\mathcal F$-free colouring problem is NP-complete.

Littlewood-Richardson, Kronecker and plethysm coefficients are fundamental multiplicities of interest in Representation Theory and Algebraic Combinatorics. Determining a combinatorial interpretation for the Kronecker and plethysm coefficients is a major open problem, and prompts the consideration of their computational complexity. Recently it was shown that they behave relatively well with respect to quantum computation, and for some large families there are polynomial time quantum algorithms [Larocca,Havlicek, arXiv:2407.17649] (also [BCGHZ,arXiv:2302.11454]). In this paper we show that for many of those cases the Kronecker and plethysm coefficients can also be computed in polynomial time via classical algorithms, thereby refuting some of the conjectures in [LH24]. This vastly limits the cases in which the desired super-polynomial quantum speedup could be achieved.

We introduce the following variant of the Gale-Berlekamp switching game. Let $P$ be a set of n noncollinear points in the plane, each of them having weight $+1$ or $-1$. At each step, we pick a line $\ell$ passing through at least two points of $P$, and switch the sign of every point $p \in P\cap\ell$. The objective is to maximize the total weight of the elements of $P$. We show that one can always achieve that this quantity is at least $n - o(n)$, as $n\rightarrow\infty$, and at least $n/3$, for every $n$. Moreover, these can be attained by a polynomial time algorithm.

In the Hunters and Rabbit game, $k$ hunters attempt to shoot an invisible rabbit on a given graph $G$. In each round, the hunters select $k$ vertices to shoot at, while the rabbit moves along an edge of $G$. The hunters win if, at any point, the rabbit is shot. The hunting number of $G$, denoted $h(G)$, is the minimum integer $k$ such that $k$ hunters have a winning strategy regardless of the rabbit's moves. The computational complexity of determining $h(G)$ has been one of the longest-standing open questions about the game. Our first main contribution resolves this by proving that computing $h(G)$ is NP-hard, even for bipartite simple graphs. We further show that the problem remains NP-hard even when $h(G) = O(n^ε)$ or when $n - h(G) = O(n^ε)$, where $n$ is the order of $G$. In addition, we prove that it is NP-hard to approximate $h(G)$ additively within $O(n^{1-ε})$. When a time limit $l$ is imposed on the hunting process, we show that computing $h(G)$ remains NP-hard for any $l \ge 2$ bounded by a polynomial in $n$. On the positive side, we present a polynomial-time $l$-factor approximation algorithm for computing the hunting number with time limit $l$, and we show that $h(G)$ can be computed in polynomial time for bipartite graphs when only two time slots are allowed ($l = 2$). Finally, we provide a forbidden-subgraph characterization of graphs with loops that satisfy $h(G) = 1$, extending a known characterization for simple graphs.

In 2010, Brešar, Klavžar and Rall introduced the optimization variant of the graph domination game and the game domination number, which was proved PSPACE-hard by Brešar et al. in 2016. In 2024, Leo Versteegen obtained the celebrated proof of the Conjecture $\frac{3}{5}$ on this variant of the domination game, proposed by Kinnersley, West and Zamani in 2013. In this paper, we investigate for the first time the normal play of the domination game, which we call Normal Domination Game, that is an impartial game where the last to play wins. We first prove that this game is PSPACE-complete even in graphs with diameter two. We also use the Sprague-Grundy theory to prove that Alice (the first player) wins in the path $P_n$ if and only if $n$ is not a multiple of $4$, and wins in the cycle $C_n$ if and only if $n=4k+3$ for some integer $k$. Moreover, we obtain a polynomial time algorithm to decide the winner for any disjoint union of paths and cycles in the Normal Domination Game and its natural partizan variant. Finally, we also prove that the Misère Domination Game (the last to play loses) is PSPACE-complete, as are the natural partizan variants of the normal game and the misère game.

In this paper, we present efficient algorithms for solving the Diophantine equation $f(x, y) = m$ for an arbitrary definite binary quadratic form $f$, given the factorization of $m$. While Cornacchia's algorithm to solve $x^2 + dy^2 = m$ is efficient in many cases, its runtime becomes exponentially large when $m$ is highly composite and encounters subtleties when generalized to arbitrary forms $f$. To address these issues, we give a reduction from our problem to an instance of the Subset sum, a weakly NP complete problem, allowing for more efficient solutions. Leveraging this approach, we develop deterministic algorithms that adapt to different cases based on $\mathrm{disc}(f)$ and $ m $. In particular, when $|\mathrm{disc}(f)| = \mathrm{polylog}(m) $, we provide a polynomial time solution that remains efficient regardless of the structure of $ m $. For more general cases, we present an algorithm that improves upon Cornacchia's method, achieving a quadratic speedup. Recently, the problem of representing integers by a form $ f $ found important applications in elliptic curves and isogeny based cryptography, where these algorithms are central to solving norm form equations.

A directed graph $F$ with a root node $r$ is called a flame if for every vertex $v$ other than $r$ the local edge-connectivity value $λ(r,v)$ from $r$ to $v$ is equal to $\varrho_F(v)$, the in-degree of $v$. It is a classic, simple and beautiful result of Lovász that every digraph $D$ with a root node $r$ has a spanning subgraph $F$ that is a flame and the $λ(r,v)$ values are the same in $F$ as in $D$ for every vertex $v$ other than $r$. However, the complexity of finding the minimum weight of such a subgraph is open. In this paper we prove that this problem is solvable in strongly polynomial time for acyclic digraphs. Besides that, we prove a decomposition result of flames into a chain of smaller flames via edge-disjoint branchings and use this to prove a common generalization of Lovász's above mentioned theorem and Edmonds' classic disjoint arborescences theorem.

We continue the study of the recently-introduced C123-framework, for (simple) graph problems restricted to inputs specified by the forbidding of some finite set of subgraphs, to more general graph problems possibly involving multiedges and self-loops. We study specifically the problems Multigraph Matching Cut, Multigraph d-Cut and Partially Reflexive Stable Cut in this connection. The last may be seen as a Surjective Homomorphism problem to a path P_3 in which both leaves are looped while the interior vertex is loopless. We consider also another family of Surjective Homomorphism problems to a cycle in which only one vertex is loopless. When one forbids a single (simple) subgraph, our first three problems exhibit the same complexity behaviour as C123-problems, but on finite sets of forbidden subgraphs, the classification appears more complex. While Multigraph Matching Cut and Multigraph d-Cut have the same classification as C123-problems, already Partially Reflexive Stable Cut fails to have. This is witnessed by forbidding as subgraphs both C_3 and H_1. Indeed, the difference of behaviour occurs only around pendant subdivisions of nets and pendant subdivisions of H_1. We examine this area in close detail. Our other Surjective Homomorphism problem, ostensibly somewhat similar to Partially Reflexive Stable Cut, behaves very differently when the input is restricted to some class that is H-subgraph-free. For example, it is solvable in polynomial time on any class of bounded degree. Also, its hardness will never be preserved under any form of edge subdivision.

For a fixed graph $F$, let $ex_F(G)$ denote the size of the largest $F$-free subgraph of $G$. Computing or estimating $ex_F(G)$ for various pairs $F,G$ is one of the central problems in extremal combinatorics. It is thus natural to ask how hard is it to compute this function. Motivated by an old problem of Yannakakis from the 80's, Alon, Shapira and Sudakov [ASS'09] proved that for every non-bipartite graph $F$, computing $ex_F(G)$ is NP-hard. Addressing a conjecture of Ailon and Alon (2007), we prove a hypergraph analogue of this theorem, showing that for every $k \geq 3$ and every non-$k$-partite $k$-graph $F$, computing $ex_F(G)$ is NP-hard. Furthermore, we conjecture that our hardness result can be extended to all $k$-graphs $F$ other than a matching of fixed size. If true, this would give a precise characterization of the $k$-graphs $F$ for which computing $ex_F(G)$ is NP-hard, since we also prove that when $F$ is a matching of fixed size, $ex_F(G)$ is computable in polynomial time. This last result can be considered an algorithmic version of the celebrated Erdős-Ko-Rado Theorem. The proof of [ASS'09] relied on a variety of tools from extremal graph theory, one of them being Turán's theorem. One of the main challenges we have to overcome in order to prove our hypergraph extension is the lack of a Turán-type theorem for $k$-graphs. To circumvent this, we develop a completely new graph theoretic approach for proving such hardness results.

The matrix recovery (completion) problem, a central problem in data science and theoretical computer science, is to recover a matrix $A$ from a relatively small sample of entries. While such a task is impossible in general, it has been shown that one can recover $A$ exactly in polynomial time, with high probability, from a random subset of entries, under three (basic and necessary) assumptions: (1) the rank of $A$ is very small compared to its dimensions (low rank), (2) $A$ has delocalized singular vectors (incoherence), and (3) the sample size is sufficiently large. There are many different algorithms for the task, including convex optimization by Candes, Tao and Recht (2009), alternating projection by Hardt and Wooters (2014) and low rank approximation with gradient descent by Keshavan, Montanari and Oh (2009, 2010). In applications, it is more realistic to assume that data is noisy. In this case, these approaches provide an approximate recovery with small root mean square error. However, it is hard to transform such an approximate recovery to an exact one. Recently, results by Abbe et al. (2017) and Bhardwaj et al. (2023) concerning approximation in the infinity norm showed that we can achieve exact recovery even in the noisy case, given that the ground matrix has bounded precision. Beyond the three basic assumptions above, they required either the condition number of $A$ is small (Abbe et al.) or the gap between consecutive singular values is large (Bhardwaj et al.). In this paper, we remove these extra spectral assumptions. As a result, we obtain a simple algorithm for exact recovery in the noisy case, under only the three basic assumptions. This is the first such algorithm. To analyse this algorithm, we introduce a contour integration argument which is totally different from all previous methods and may be of independent interest.

Kohnert polynomials and their associated posets are combinatorial objects with deep geometric and representation theoretic connections, generalizing both Schubert polynomials and type A Demazure characters. In this paper, we explore the properties of Kohnert polynomials and their posets indexed by northeast diagrams. We give separate classifications of the bounded, ranked, and multiplicity-free Kohnert posets for northeast diagrams, each of which can be computed in polynomial time with respect to the number of cells in the diagram. As an initial application, we specialize these classifications to simple criteria in the case of lock diagrams.

In this paper we consider the Hamilton cycle problem in the rectangular meshes with at most two faulty nodes.We prove that this problem is solvable in polynomial time with a corresponding algorithm. We provided an entirely new approach to this problem being different from the method early used on this problem.

Using the algebraic approach to promise constraint satisfaction problems, we establish complexity classifications of three natural variants of hypergraph colourings: standard nonmonochromatic colourings, conflict-free colourings, and linearly-ordered colourings. Firstly, we show that finding an $\ell$-colouring of a $k$-colourable $r$-uniform hypergraph is NP-hard for all constant $2\leq k\leq \ell$ and $r\geq 3$. This provides a shorter proof of a celebrated result by Dinur et al. [FOCS'02/Combinatorica'05]. Secondly, we show that finding an $\ell$-conflict-free colouring of an $r$-uniform hypergraph that admits a $k$-conflict-free colouring is NP-hard for all constant $3\leq k\leq\ell$ and $r\geq 4$, except for $r=4$ and $k=2$ (and any $\ell$); this case is solvable in polynomial time. The case of $r=3$ is the standard nonmonochromatic colouring, and the case of $r=2$ is the notoriously difficult open problem of approximate graph colouring. Thirdly, we show that finding an $\ell$-linearly-ordered colouring of an $r$-uniform hypergraph that admits a $k$-linearly-ordered colouring is NP-hard for all constant $3\leq k\leq\ell$ and $r\geq 4$, thus improving on the results of Nakajima and Živný [ICALP'22/ACM TocT'23].

In a digraph, a dicut is a cut where all the arcs cross in one direction. A dijoin is a subset of arcs that intersects every dicut. Edmonds and Giles conjectured that in a weighted digraph, the minimum weight of a dicut is equal to the maximum size of a packing of dijoins. This has been disproved. However, the unweighted version conjectured by Woodall remains open. We prove that the Edmonds-Giles conjecture is true if the underlying undirected graph is chordal. We also give a strongly polynomial time algorithm to construct such a packing.

In this paper, we introduce new concepts of domination and packing functions in graphs, which generalize, respectively, the labelled dominating and packing functions defined by Lee and Chang in 2008, and Hinrichsen et al. in 2019. These generalized functions offer a unified and simpler framework for addressing many of the variations of domination and packing concepts in graphs explored in the literature. Interestingly, their associated optimization problems turn out to be equivalent, providing insight to explain the observed coincidences in computational complexity results for graph classes where both problems, the domination one and its corresponding packing variation, have been analyzed. This equivalence also allows us to solve some computational complexity open questions, for some graph classes. Furthermore, we prove that the generalized problems remain solvable in polynomial time for graphs with bounded clique-width and strongly chordal graphs.

In this article, we investigate the decoding of the rank metric Reed--Muller codes introduced by Augot, Couvreur, Lavauzelle and Neri in 2021. These codes are defined from Abelian Galois extensions extending the construction of Gabidulin codes over arbitrary cyclic Galois extensions. We propose a polynomial time algorithm that rests on the structure of Dickson matrices, works on any such code and corrects any error of rank up to half the minimum distance.

The $H$-Induced Minor Containment problem ($H$-IMC) consists in deciding if a fixed graph $H$ is an induced minor of a graph $G$ given as input, that is, whether $H$ can be obtained from $G$ by deleting vertices and contracting edges. Equivalently, the problem asks if there exists an induced minor model of $H$ in $G$, that is, a collection of disjoint subsets of vertices of $G$, each inducing a connected subgraph, such that contracting each subgraph into a single vertex results in $H$. It is known that $H$-IMC is NP-complete for several graphs $H$, even when $H$ is a tree. In this work, we investigate which properties of $H$ guarantee the existence of an induced minor model whose structure can be leveraged to solve the problem in polynomial time. This allows us to identify four infinite families of graphs $H$ that enjoy such properties. Moreover, we show that if the input graph $G$ excludes long induced paths, then $H$-IMC is polynomial-time solvable for any fixed graph $H$. As a byproduct of our results, this implies that $H$-IMC is polynomial-time solvable for all graphs $H$ with at most $5$ vertices, except for three open cases.

Constructing the maximum spanning tree $T$ of an edge-weighted connected graph $G$ is one of the important research topics in computer science and optimization, and the related research results have played an active role in practical applications. In this paper, we are concerned with the ratio of the weighted sum of a spanning tree $T$ of $G$ to the weighted sum of $G$, which we try to minimize. We propose an interesting theorem to simplify this problem and show that this optimal problem can be solved in polynomial time. Furthermore, we apply the optimal problem in chordal graphs.

A tree is said to be even if for every pair of distinct leaves, the length of the unique path between them is even. In this paper we discuss the problem of determining whether an input graph has a spanning even tree. Hofmann and Walsh [Australas. J Comb. 35, 2006] proved that this problem can be solved in polynomial time on bipartite graphs. In contrast to this, we show that this problem is NP-complete even on planar graphs. We also give polynomial-time algorithms for several restricted classes of graphs, such as split graphs, cographs, cobipartite graphs, unit interval graphs, and block graphs.

Many natural computational problems, including e.g. Max Weight Independent Set, Feedback Vertex Set, or Vertex Planarization, can be unified under an umbrella of finding the largest sparse induced subgraph, that satisfies some property definable in CMSO$_2$ logic. It is believed that each problem expressible with this formalism can be solved in polynomial time in graphs that exclude a fixed path as an induced subgraph. This belief is supported by the existence of a quasipolynomial-time algorithm by Gartland, Lokshtanov, Pilipczuk, Pilipczuk, and Rzążewski [STOC 2021], and a recent polynomial-time algorithm for $P_6$-free graphs by Chudnovsky, McCarty, Pilipczuk, Pilipczuk, and Rzążewski [SODA 2024]. In this work we extend polynomial-time tractability of all such problems to $P_7$-free graphs of bounded clique number.