https://arxiv.org/api/ZsAFU7aBC4OMsEleIH8lHfLExls 2026-06-22T22:29:25Z 15689 1065 15 http://arxiv.org/abs/2511.07766v1 2025-11-11T02:32:19Z

The presence of symmetries is one of the central structural features that make some integer programs challenging for state-of-the-art solvers. In this work, we study the efficacy of Linear Programming (LP) hierarchies in the presence of symmetries. Our main theorem unveils a connection between the algebraic structure of these relaxations and the geometry of the initial integer-empty polytope: We show that under $(k+1)$-transitive symmetries--a measure of the underlying symmetry in the problem--the corresponding relaxation at level $k$ of the hierarchy is non-empty if and only if the initial polytope intersects all $(n-k)$-dimensional faces of the hypercube. In particular, the hierarchies of Sherali-Adams, Lovász-Schrijver, and the Lift-and-Project closure are equally effective at detecting integer emptiness. Our result provides a unifying, group-theoretic characterization of the poor performance of LP-based hierarchies, and offers a simple procedure for proving lower bounds on the integrality gaps of symmetric polytopes under these hierarchies.

2025-11-11T02:32:19Z Yuri Faenza Víctor Verdugo José Verschae Matías Villagra http://arxiv.org/abs/2511.07631v1 2025-11-10T21:00:35Z

In this paper, we study edge-transitive surfaces, i.e. triangulated 2-dimensional manifolds whose automorphism groups act transitively on the edges of these triangulated surfaces. We show that there exist four types of edge-transitive surfaces, splitting up further into a total of five sub-types. We exploit our theoretical results to compute a census of edge-transitive surfaces with up to 5000 faces by constructing suitable cycle double covers of edge-transitive cubic graphs.

2025-11-10T21:00:35Z Reymond Akpanya http://arxiv.org/abs/2511.07601v1 2025-11-10T20:18:26Z

It is well-known that any finite triangulation possesses a unique maximal Schnyder wood. We introduce Schnyder woods of infinite triangulations, and prove there exists a unique maximal Schnyder wood of any infinite triangulation with finite boundary, and of the uniform infinite half-planar triangulation. Furthermore, the maximal Schnyder wood of the uniform infinite planar triangulation is the limit of maximal Schnyder woods of large finite random triangulations. Several structural properties of infinite Schnyder woods are also described.

2025-11-10T20:18:26Z 68 pages, 15 figures Louigi Addario-Berry Emma Hogan Lukas Michel Alex Scott http://arxiv.org/abs/2511.07374v1 2025-11-10T18:30:47Z

We solve a recent question of Caro, Patkós and Tuza by determining the exact maximum number of edges in a bipartite connected graph as a function of the longest path it contains as a subgraph and of the number of vertices in each side of the bipartition. This was previously known only in the case where both sides of the bipartition have equal size and the longest path has size at most $5$. We also discuss possible generalizations replacing "path" with some specific types of trees.

2025-11-10T18:30:47Z 10 pages, 1 figure Marthe Bonamy Théotime Leclere Timothé Picavet http://arxiv.org/abs/2511.07350v1 2025-11-10T17:53:58Z

Independent sets in graphs are sets of vertices containing no neighbors, and they represent a canonical spin system with hardcore constraints. Of particular interest is the setting of the boolean hypercube, where counting independent sets was the original motivator for Sapozhenko's famous graph container method. A modern perspective on such problems is to consider the effect of disorder, and the study of independent sets in random subgraphs of the hypercube obtained via bond percolation with parameter $p$ was initiated by Kronenberg and Spinka. They employed tools from statistical mechanics to obtain detailed information about the moments of the number of independent sets (now a random variable), and posed many interesting questions. Previous work by the authors addressed many of these questions in the regime $p \geq \frac{2}{3}$, where the behavior is relatively simple and can be modeled well by a related family of independent particles. As $p$ decreases, though, typical independent sets become larger and feature more intricate clustering behavior. In the present article we overcome many of the challenges presented by this phenomenon and analyze the model for all $p> 0.465$. We obtain a sharp in-probability approximation for the number of independent sets in the percolated hypercube in terms of explicit random variables, as well as provide a sampling algorithm. Note that this shows, curiously, that $p = \frac{1}{2}$ is not a natural barrier for this problem unlike in many other problems where it appears as a point of a phase transition. A key contribution of this work is the introduction of a new probabilistic framework to handle the clustering behavior for these low values of $p$. Although our analysis is restricted to $p > 0.465$, our arguments are expected to be helpful for studying this model at even lower values of $p$, and possibly for other related problems.

2025-11-10T17:53:58Z 66 pages. Abstract shortened to meet arXiv requirements Mriganka Basu Roy Chowdhury Shirshendu Ganguly Vilas Winstein http://arxiv.org/abs/2511.07285v1 2025-11-10T16:31:59Z

The Cycle double cover (CDC) conjecture states that for every bridgeless graph $G$, there exists a family $\mathcal{F}$ of cycles such that each edge of the graph is contained in exactly two members of $\mathcal{F}$. Given an embedding of a graph~$G$, an edge $e$ is called a \emph{singular edge} if it is visited twice by the boundary of one face. The CDC conjecture is equivalent to bridgeless cubic graphs having an embedding with no singular edge. In this work, we introduce nontrivial upper bounds on the minimum number of singular edges in an embedding of a cubic graph. Moreover, we present efficient algorithms to find embeddings satisfying these bounds.

2025-11-10T16:31:59Z 20 pages Babak Ghanbari Robert Šámal http://arxiv.org/abs/2511.07247v1 2025-11-10T16:00:38Z

The cage problem concerns finding $(k,g)$-graphs, which are $k$-regular graphs with girth $g$, of the smallest possible number of vertices. The central goal is to determine $n(k,g)$, the minimum order of such a graph, and to identify corresponding extremal graphs. In this paper, we study the cage problem and several of its variants from a computational perspective. Four complementary graph generation algorithms are developed based on exhaustive generation of lifts, a tabu search heuristic, a hill climbing heuristic and excision techniques. Using these methods, we establish new upper bounds for eleven cases of the classical cage problem: $n(3,16) \leq 936$, $n(3,17) \leq 2048$, $n(4,9) \leq 270$, $n(4,10) \leq 320$, $n(4,11) \leq 713$, $n(5,9) \leq 1116$, $n(6,11) \leq 7783$, $n(8,7) \leq 774$, $n(10,7) \leq 1608$, $n(12,7) \leq 2890$ and $n(14,7) \leq 4716$. Notably, our results improve upon several of the best-known bounds, some of which have stood unchanged for 22 years. Moreover, the improvement for $n(4,10)$, from the longstanding upper bound of 384 down to 320, is surprising and constitutes a substantial improvement. While the main focus is on the cage problem, we also adapted our algorithms for variants of the cage problem that received attention in the literature. For these variants, additional improvements are obtained, further narrowing the gaps between known lower and upper bounds.

2025-11-10T16:00:38Z 19 pages Geoffrey Exoo Jan Goedgebeur Jorik Jooken Louis Stubbe Tibo Van den Eede http://arxiv.org/abs/2511.07160v1 2025-11-10T14:50:22Z

In the PATH COVER problem, one asks to cover the vertices of a graph using the smallest possible number of (not necessarily disjoint) paths. While the variant where the paths need to be pairwise vertex-disjoint, which we call PATH PARTITION, is extensively studied, surprisingly little is known about PATH COVER. We start filling this gap by designing a linear-time algorithm for PATH COVER on trees. We show that PATH COVER can be solved in polynomial time on graphs of bounded treewidth using a dynamic programming scheme. It runs in XP time $n^{t^{O(t)}}$ (where $n$ is the number of vertices and $t$ the treewidth of the input graph) or $κ^{t^{O(t)}}n$ if there is an upper-bound $κ$ on the solution size. A similar algorithm gives an FPT $2^{O(t\log t)}n$ algorithm for PATH PARTITION, which can be improved to (randomized) $2^{O(t)}n$ using the Cut\&Count technique. These results also apply to the variants where the paths are required to be induced (i.e. chordless) and/or edge-disjoint.

2025-11-10T14:50:22Z Florent Foucaud Atrayee Majumder Tobias Mömke Aida Roshany-Tabrizi http://arxiv.org/abs/2511.07008v1 2025-11-10T11:58:21Z

The Strip Packing Problem is a classical optimization problem in which a given set of rectangles must be packed, without overlap, into a strip of fixed width and infinite height, while minimizing the total height of the packing. A straightforward and widely studied approach to this problem is the Bottom-Left Heuristic. It consists of iteratively placing each rectangle in the given order at the lowest feasible position in the strip and, in case of ties, at the leftmost of those. Due to its simplicity and good empirical performance, this heuristic is widely used in practical applications. The most efficient implementation of this heuristic was proposed by Chazelle in 1983, requiring $O(n^2)$ time and $O(n)$ space to place $n$ rectangles. However, although Chazelle's original description was largely correct, it omitted several formal details. Furthermore, our analysis revealed a critical flaw in the original runtime analysis, which, in certain cases, results in $Ω(n^3)$ running time. Motivated by this finding, this paper provides a rigorous and corrected presentation of the implementation, addressing the imprecise arguments and resolving the identified flaw. The resulting analysis establishes a formally verified version of Chazelle's implementation and confirms its quadratic time complexity.

2025-11-10T11:58:21Z 48 pages, 34 figures Stefan Michel http://arxiv.org/abs/2510.16236v2 2025-11-09T21:22:11Z

Let $G=(V, E)$ be a graph where $V(G)$ and $E(G)$ are the vertex and edge sets, respectively. In a graph $G$, two edges $e_1, e_2\in E(G)$ are said to have a \emph{common edge} $e\neq e_1, e_2$ if $e$ joins an endpoint of $e_1$ to an endpoint of $e_2$ in $G$. A subset $D\subseteq E(G)$ is called an \emph{edge open packing set} in $G$ if no two edges in $D$ share a common edge in $G$, and the largest size of such a set in $G$ is known as the \emph{edge open packing number}, represented by $ρ_{e}^o(G)$. The \textsc{Maximum Edge Open Packing Problem} is to find an edge open packing set of a given graph with maximum size. In [Bre{š}ar and Samadi. Edge open packing: complexity, algorithmic aspects, and bounds. Theor. Comput. Sci., 2024.], Bre{š}ar and Samadi pose an open question of the edge open packing problem in chordal graphs. In this paper, we partially answer this open question by showing a polynomial-time algorithm to solve the maximum edge open packing problem in the subclasses of chordal graphs. First, we show that the \textsc{Maximum Edge Open Packing Problem} can be solved in polynomial time for \emph{proper interval graphs}. Furthermore, we show that in \emph{block graphs} we can solve this problem in polynomial time. Finally, we prove that this problem can be solved in linear time for \emph{split graphs}.

2025-10-17T21:56:17Z Kamal Santra http://arxiv.org/abs/2508.05532v2 2025-11-09T20:16:05Z

The aircraft routing problem is one of the most studied problems of operations research applied to aircraft management. It involves assigning flights to aircraft while ensuring regular visits to maintenance bases. This paper examines two aspects of the problem. First, we explore the relationship between periodic instances, where flights are the same every day, and periodic solutions. The literature has implicitly assumed-without discussion-that periodic instances necessitate periodic solutions, and even periodic solutions in a stronger form, where every two airplanes perform either the exact same cyclic sequence of flights, or completely disjoint cyclic sequences. However, enforcing such periodicity may eliminate feasible solutions. We prove that, when regular maintenance is required at most every four days, there always exist periodic solutions of this form. Second, we consider the computational hardness of the problem. Even if many papers in this area refer to the NP-hardness of the aircraft routing problem, such a result is only available in the literature for periodic instances. We establish its NP-hardness for a non-periodic version. Polynomiality of a special but natural case is also proven.

2025-08-07T16:03:37Z Frédéric Meunier Axel Parmentier Nour ElHouda Tellache http://arxiv.org/abs/2511.06505v1 2025-11-09T19:25:02Z

We study the following fundamental network optimization problem known as Maximum Robust Flow (MRF): A planner determines a flow on $s$-$t$-paths in a given capacitated network. Then, an adversary removes $k$ arcs from the network, interrupting all flow on paths containing a removed arc. The planner's goal is to maximize the value of the surviving flow, anticipating the adversary's response (i.e., a worst-case failure of $k$ arcs). It has long been known that MRF can be solved in polynomial time when $k = 1$ (Aneja et al., 2001), whereas it is $N\!P$-hard when $k$ is part of the input (Disser and Matuschke, 2020). However, the complexity of the problem for constant values of $k > 1$ has remained elusive, in part due to structure of the natural LP description preventing the use of the equivalence of optimization and separation. This paper introduces a reduction showing that the basic version of MRF described above encapsulates the seemingly much more general variant where the adversary's choices are constrained to $k$-cliques in a compatibility graph on the arcs of the network. As a consequence of this reduction, we are able to prove the following results: (1) MRF is $N\!P$-hard for any constant number $k > 1$ of failing arcs. (2) When $k$ is part of the input, MRF is $P^{N\!P[\log]}$-hard. (3) The integer version of MRF is $Σ_2^P$-hard.

2025-11-09T19:25:02Z Jannik Matuschke http://arxiv.org/abs/2511.06486v1 2025-11-09T18:14:33Z

Twin-width is a recently formulated graph and matrix invariant that intuitively quantifies how far a graph is from having the structural simplicity of a co-graph. Since its introduction in 2020, twin-width has received increasing attention and has driven research leading to notable advances in algorithmic fields, including graph theory and combinatorics. The 2023 edition of the Parameterized Algorithms and Computational Experiments (PACE) Challenge aimed to fulfill the need for a diverse and consistent public benchmark encompassing various graph structures, while also collecting state-of-the-art heuristic and exact approaches to the problem. In this paper, we propose two algorithms for efficiently computing the twin-width of graphs with arbitrary structures, comprising one exact and one heuristic approach. The proposed solutions performed strongly in the competition, with the exact algorithm achieving the best student result and ranking fourth overall. We release our source code publicly to enable practical applications of our work and support further research.

2025-11-09T18:14:33Z Best Paper Award at Romanian Collegiate Algorithms Workshop 2025 Andrei Arhire Matei Chiriac Radu Timofte http://arxiv.org/abs/2412.12958v2 2025-11-09T15:41:43Z

The stability number of a graph, defined as the cardinality of the largest set of pairwise non-adjacent vertices, is NP-hard to compute. The exact subgraph hierarchy (ESH) provides a sequence of increasingly tighter upper bounds on the stability number, starting with the Lovász theta function at the first level and including all exact subgraph constraints of subgraphs of order $k$ into the semidefinite program to compute the Lovász theta function at level $k$. In this paper, we investigate the ESH for Paley graphs, a class of strongly regular, vertex-transitive graphs. We show that for Paley graphs, the bounds obtained from the ESH remain the Lovász theta function up to a certain threshold level, i.e., the bounds of the ESH do not improve up to a certain level. To overcome this limitation, we introduce the vertex-transitive ESH for the stable set problem for vertex-transitive graphs such as Paley graphs. We prove that this new hierarchy provides upper bounds on the stability number of vertex-transitive graphs that are at least as tight as those obtained from the ESH. Additionally, our computational experiments reveal that the vertex-transitive ESH produces superior bounds compared to the ESH for Paley graphs.

2024-12-17T14:40:45Z 26 pages, 3 figures, 2 tables Elisabeth Gaar Dunja Pucher 10.1016/j.dam.2025.09.014 http://arxiv.org/abs/2305.02570v3 2025-11-09T12:34:19Z

A conflict-free open neighborhood coloring of a graph is an assignment of colors to the vertices such that for every vertex there is a color that appears exactly once in its open neighborhood. For a graph $G$, the smallest number of colors required for such a coloring is called the conflict-free open neighborhood (CFON) chromatic number and is denoted by $χ_{ON}(G)$. By considering closed neighborhood instead of open neighborhood, we obtain the analogous notions of conflict-free closed neighborhood (CFCN) coloring, and CFCN chromatic number (denoted by $χ_{CN}(G)$). The notion of conflict-free coloring was introduced in 2002, and has since received considerable attention. In this paper, we study some extremal questions related to CFON and CFCN coloring.

2023-05-04T05:56:00Z 18 pages Sriram Bhyravarapu Shiwali Gupta Subrahmanyam Kalyanasundaram Rogers Mathew