https://arxiv.org/api/p5VyoSjscCShZc1uJaRVZO3OTAA 2026-06-23T23:56:04Z 15694 1110 15 http://arxiv.org/abs/2511.02081v1 2025-11-03T21:41:29Z

Finding a Steiner strongly $k$-arc-connected orientation is particularly relevant in network design and reliability, as it guarantees robust communication between a designated set of critical nodes. Király and Lau (FOCS 2006) introduced a rooted variant, called the Steiner Rooted Orientation problem, where one is given an undirected graph on $n$ vertices, a root vertex, and a set of $t$ terminals. The goal is to find an orientation of the graph such that the resulting directed graph is Steiner rooted $k$-arc-connected. This problem generalizes several classical connectivity results in graph theory, such as those on edge-disjoint paths and spanning-tree packings. While the maximum $k$ for which a Steiner strongly $k$-arc-connected orientation exists can be determined in polynomial time via Nash-Williams' orientation theorem, its rooted counterpart is significantly harder: the problem is NP-hard when both $k$ and $t$ are part of the input. In this work, we provide a complete understanding of the problem with respect to these two parameters. In particular, we give an algorithm that solves the problem in time $f(k,t)\cdot n^{O(1)}$, establishing fixed-parameter tractability with respect to the number of terminals $t$ and the target connectivity $k$. We further show that the problem remains NP-hard if either $k$ or $t$ is treated as part of the input, meaning that our algorithm is essentially optimal from a parameterized perspective. Importantly, our results extend far beyond the Steiner setting: the same framework applies to the more general orientation problem with local connectivity requirements, establishing fixed-parameter tractability when parameterized by the total demand and thereby covering a wide range of arc-connectivity orientation problems.

2025-11-03T21:41:29Z Kristóf Bérczi Florian Hörsch András Imolay Tamás Schwarcz http://arxiv.org/abs/2510.07065v4 2025-11-03T15:29:33Z

We study the parameterized and kernelization complexity of the s-Club Cluster Edge Deletion problem, a distance-bounded generalization of Cluster Edge Deletion. Given a graph G = (V, E) and integers k and s, the goal is to delete at most k edges so that every connected component in the resulting graph has diameter at most s. This captures a broad class of distance-constrained graph modification problems that lie between clustering and connectivity control. We prove that for s = 2 the problem is NP-hard already on split graphs, closing the gap between the polynomially solvable cases s = 1 and s = 3. For this setting we give a cubic vertex kernel parameterized by k, the first polynomial kernel for 2-Club Cluster Edge Deletion on split graphs. On the structural side, we show that the problem is W[1]-hard when parameterized by pathwidth (and hence treewidth), implying that the diameter bound s is crucial for fixed-parameter tractability. In contrast, the problem is FPT when parameterized by treedepth, neighborhood diversity, or the cluster vertex deletion number. Finally, we design an FPT bicriteria approximation scheme that, for graphs excluding long induced cycles, runs in time f(k, 1/epsilon) * n^{O(1)} and outputs a solution of size at most k whose components have diameter at most (1 + epsilon) * s. We further present an exact FPT algorithm for interval graphs parameterized by k and a polynomial-time algorithm for unit interval graphs. We also introduce the directed variant s-Club Cluster Arc Deletion and show it is W[1]-hard when parameterized by k, even on DAGs.

2025-10-08T14:30:42Z Ajinkya Gaikwad http://arxiv.org/abs/2511.01532v1 2025-11-03T12:52:05Z

Let $G$ be a graph. An acyclic $k$-coloring of $G$ is a map $c:V(G)\rightarrow \{1,\dots,k\}$ such that $c(u)\neq c(v)$ for any $uv\in E(G)$ and the subgraph induced by the vertices of any two colors $i,j\in \{1,\dots,k\}$ is a forest. If every vertex $v$ of a color class $V_i$ misses a color $\ell_v\in\{1,\dots,k\}$ in its closed neighborhood, then every $v\in V_i$ can be recolored with $\ell_v$ and we obtain a $(k-1)$-coloring of $G$. If a new coloring $c'$ is also acyclic, then such a recoloring is an acyclic recoloring step and $c'$ is in relation $\triangleleft_a$ with $c$. The acyclic b-chromatic number $A_b(G)$ of $G$ is the maximum number of colors in an acyclic coloring where no acyclic recoloring step is possible. Equivalently, it is the maximum number of colors in a minimum element of the transitive closure of $\triangleleft_a$. In this paper, we consider $A_b(G)$ of cubic graphs.

2025-11-03T12:52:05Z Marcin Anholcer Sylwia Cichacz Iztok Peterin http://arxiv.org/abs/2511.01422v1 2025-11-03T10:15:53Z

Graph connectivity serves as a fundamental metric for evaluating the reliability and fault tolerance of interconnection networks. To more precisely characterize network robustness, the concept of cyclic connectivity has been introduced, requiring that there are at least two components containing cycles after removing the vertex set. This property ensures the preservation of essential cyclic communication structures under faulty conditions. Cayley graphs exhibit several ideal properties for interconnection networks, which permits identical routing protocols at all vertices, facilitates recursive constructions, and ensures operational robustness. In this paper, we investigate the cyclic connectivity of Cayley graphs generated by unicyclic triangle free graphs. Given an symmetric group $Sym(n)$ on $\left\{ 1,2,\dots,n\right\}$ and a set $\mathcal{T}$ of transpositions of $Sym(n)$. Let $G(\mathcal{T})$ be the graph on vertex set $\left\{ 1,2,\dots,n\right\}$ and edge set $\left\{ij\colon(ij)\in \mathcal{T}\right\}$. If $G(\mathcal{T})$ is a unicyclic triangle free graphs, then denoted the Cayley graph Cay$(Sym(n),\mathcal{T})$ by $UG_{n}$. As a result, we determine the exact value of cyclic connectivity of $UG_{n}$ as $κ_{c}(UG_{n})=4n-8$ for $n\ge 4 $.

2025-11-03T10:15:53Z Interconnection networks;,Cyclic connectivity,Cayley graphs,Unicyclic triangle free,graphs; Fault tolerance Ting Tian Shumin Zhang Bo Zhu http://arxiv.org/abs/2511.01397v1 2025-11-03T09:47:29Z

The Resource Constrained Shortest Path Problem (RCSPP) is a fundamental combinatorial optimisation problem in which the goal is to find a least-cost path in a directed graph subject to one or more resource constraints. In this paper we present a pull labelling algorithm for the RCSPP that introduces i) a highly parallelisable approach at a label bucket level, ii) an extension to bi-directional search with a dynamic midpoint, and iii) a vectorised dominance criterion that uses vector instructions to speed-up the label comparison with another level of parallelisation. Compared to a baseline version of the algorithm the optimisations result in a speed-up of around 14x on a set of hard instances and up to 200x on some of the hardest instances. The proposed algorithm demonstrates significant computational improvements that may enhance the efficiency of column generation frameworks incorporating resource constrained shortest path sub-problems, potentially enabling the efficient solution of larger-scale instances in routing, scheduling, supply chain and transportation network optimisation applications.

2025-11-03T09:47:29Z Bjørn Petersen Simon Spoorendonk http://arxiv.org/abs/2506.24052v2 2025-11-02T22:22:55Z

We consider the problem of translating between irreducible closed sets and implicational bases in closure systems. To date, the complexity status of this problem is widely open, and it is further known to generalize the notorious hypergraph dualization problem, even in the context of acyclic convex geometries, i.e., closure systems admitting an acyclic implicational base. This paper studies this later class with a focus on the degree, which corresponds to the maximal number of implications in which an element occurs. We show that the problem is tractable for bounded values of this parameter, even when relaxed to the notions of premise- and conclusion-degree. Our algorithms rely on structural properties of acyclic convex geometries and involve various techniques from algorithmic enumeration such as solution graph traversal, saturation techniques, and a sequential approach leveraging from acyclicity. They are shown to perform in incremental-polynomial time. Finally, we complete these results by showing that our running times cannot be improved to polynomial delay using the standard framework of flashlight search.

2025-06-30T16:59:12Z 35 pages, 8 figures Oscar Defrain Arthur Ohana Simon Vilmin http://arxiv.org/abs/2412.01540v2 2025-11-02T22:08:16Z

Various algorithms have been proposed to enumerate all connected induced subgraphs of a graph $G=(V,E)$. As a variation we enumerate all "packings of connected sets", i.e. partitions $Π$ of $V$ with the property that each part of $Π$ induces a connected subgraph. More generally, for various types $T$ of graphs we do (one or both of) the following: (i) enumerate all type $T$ (induced) subgraphs of a given graph $G$, or (ii) enumerate all packings of type $T$ subgraphs of $G$

2024-12-02T14:29:33Z 24 pages, 8 figures Marcel Wild http://arxiv.org/abs/2511.00992v1 2025-11-02T16:05:04Z

Recently, in weighted automata theory the weight structure of strong bimonoids has found much interest; they form a generalization of semirings and are closely related to near-semirings studied in algebra. Here, we define polynomials over a set $X$ of indeterminates as well as an addition and a multiplication. We show that with these operations, they form a right-distributive strong bimonoid, that this polynomial strong bimonoid is free over $X$ in the class of all right-distributive strong bimonoids and that it is both left- and right-cancellative. We show by purely algebraic reasoning that two arbitrary terms are equivalent modulo the laws of right-distributive strong bimonoids if and only if their representing polynomials are equivalent by the laws of only associativity and commutativity of addition and associativity of multiplication. We give effective procedures for constructing the representing polynomials. As a consequence, we obtain that the equivalence of arbitrary terms modulo the laws of right-distributive strong bimonoids can be decided in exponential time. Using term-rewriting methods, we show that each term can be reduced to a unique polynomial as normal form. We also derive corresponding results for the free idempotent right-distributive polynomial strong bimonoid over $X$. We construct an idempotent strong bimonoid which is weakly locally finite but not locally finite and show an application of it in weighted automata theory.

2025-11-02T16:05:04Z Manfred Droste Zoltán Fülöp http://arxiv.org/abs/2511.00692v1 2025-11-01T20:20:21Z

Given a set $P$ of $n$ points in $\mathbf{R}^d$, and a positive integer $k \leq n$, the $k$-dispersion problem is that of selecting $k$ of the given points so that the minimum inter-point distance among them is maximized (under Euclidean distances). Among others, we show the following: (I) Given a set $P$ of $n$ points in the plane, and a positive integer $k \geq 2$, the $k$-dispersion problem can be solved by an algorithm running in $O\left(n^{k-1} \log{n}\right)$ time. This extends an earlier result for $k=3$, due to Horiyama, Nakano, Saitoh, Suetsugu, Suzuki, Uehara, Uno, and Wasa (2021) to arbitrary $k$. In particular, it improves on previous running times for small $k$. (II) Given a set $P$ of $n$ points in $\mathbf{R}^3$, and a positive integer $k \geq 2$, the $k$-dispersion problem can be solved by an algorithm running in $O\left(n^{k-1} \log{n}\right)$ time, if $k$ is even; and $O\left(n^{k-1} \log^2{n}\right)$ time, if $k$ is odd. For $k \geq 4$, no combinatorial algorithm running in $o(n^k)$ time was known for this problem. (III) Let $P$ be a set of $n$ random points uniformly distributed in $[0,1]^2$. Then under suitable conditions, a $0.99$-approximation for $k$-dispersion can be computed in $O(n)$ time with high probability.

2025-11-01T20:20:21Z 8 pages Ke Chen Adrian Dumitrescu http://arxiv.org/abs/1808.05177v3 2025-10-31T13:55:17Z

In a recent paper by a superset of the authors it was proved that for every primitive 3-constrained space $Γ$ of finite diameter $δ$ from Cherlin's catalogue of metrically homogeneous graphs, there exists a finite family $\mathcal F$ of $\{1,\ldots, δ\}$-edge-labelled cycles such that a $\{1,\ldots, δ\}$-edge-labelled graph is a subgraph of $Γ$ if and only if it contains no homomorphic images of cycles from $\mathcal F$. However, the cycles in the families $\mathcal F$ were not described explicitly as it was not necessary for the analysis of Ramsey expansions and the extension property for partial automorphisms. This paper fills this gap by providing an explicit description of the cycles in the families $\mathcal F$, heavily using the previous result in the process. Additionally, we explore the potential applications of this result, such as interpreting the graphs as semigroup-valued metric spaces or homogenizations of $ω$-categorical $\{1,δ\}$-edge-labelled graphs.

2018-08-15T16:40:54Z 25 pages. Updated references, journal version now in print in European Journal of Combinatorics European Journal of Combinatorics (132), 2026 European Journal of Combinatorics (132), 2026 European Journal of Combinatorics (132), 2026 Jan Hubička Michael Kompatscher Matěj Konečný 10.1016/j.ejc.2025.104262 http://arxiv.org/abs/1707.02612v7 2025-10-31T13:54:27Z

We investigate Ramsey expansions, the coherent extension property for partial isometries (EPPA), and the existence of a stationary independence relation for all classes of metrically homogeneous graphs from Cherlin's catalogue. We show that, with the exception of tree-like graphs, all metric spaces in the catalogue have precompact Ramsey expansions (or lifts) with the expansion property. With two exceptions we can also characterise the existence of a stationary independence relation and coherent EPPA. Our results are a contribution to Nešetřil's classification programme of Ramsey classes and can be seen as empirical evidence of the recent convergence in techniques employed to establish the Ramsey property, the expansion property, EPPA and the existence of a stationary independence relation. At the heart of our proof is a canonical way of completing edge-labelled graphs to metric spaces in Cherlin's classes. The existence of such a ``completion algorithm'' then allows us to apply several strong results in the areas that imply EPPA or the Ramsey property. The main results have numerous consequences for the automorphism groups of the Fraisse limits of the classes. As corollaries, we prove amenability, unique ergodicity, existence of universal minimal flows, ample generics, small index property, 21-Bergman property and Serre's property (FA).

2017-07-09T18:16:18Z 60 pages, 14 figures. Minor revision, a journal version now in print in European Journal of Combinatorics European Journal of Combinatorics (132), 2026 Andrés Aranda David Bradley-Williams Jan Hubička Miltiadis Karamanlis Michael Kompatscher Matěj Konečný Micheal Pawliuk 10.1016/j.ejc.2025.104255 http://arxiv.org/abs/2501.17293v5 2025-10-31T13:25:49Z

In the 1970s, structural Ramsey theory emerged as a new branch of combinatorics. This development came with the isolation of the concepts of the $\mathbf{A}$-Ramsey property and Ramsey class. Following the influential Nešetřil-Rödl theorem, several Ramsey classes have been identified. In the 1980s, Nešetřil, inspired by a seminar of Lachlan, discovered a crucial connection between Ramsey classes and Fraïssé classes, and, in his 1989 paper, connected the classification programme of homogeneous structures to structural Ramsey theory. In 2005, Kechris, Pestov, and Todorčević revitalized the field by connecting Ramsey classes to topological dynamics. This breakthrough motivated Nešetřil to propose a program for classifying Ramsey classes. We review the progress made on this program in the past two decades, list open problems, and discuss recent extensions to new areas, namely the extension property for partial automorphisms (EPPA), and big Ramsey structures.

2025-01-28T20:50:08Z 109 pages, 12 figures. A postprint version adding some references Computer Science Review 59 (2026), 100814 Jan Hubička Matěj Konečný 10.1016/j.cosrev.2025.100814 http://arxiv.org/abs/2510.26975v1 2025-10-30T19:59:34Z

Minimum joins in a graft $(G, T)$, also known as minimum $T$-joins of a graph $G$, are said to be connected if they determine a connected subgraph of $G$. Grafts with a connected minimum join have gained interest ever since Middendorf and Pfeiffer showed that they satisfy Seymour's min-max formula for joins and $T$-cut packings; that is, in such grafts, the size of a minimum join is equal to the size of a maximum packing of $T$-cuts. In this paper, we provide a constructive characterization of grafts with a connected minimum join. We also obtain a polynomial time algorithm that decides whether a given graft has a connected minimum join and, if so, outputs one. Our algorithm has two bottlenecks; one is the time required to compute a minimum join of a graft, and the other is the time required to solve the single-source all-sink shortest path problem in a graph with conservative $\pm 1$-valued edge weights. Thus, our algorithm runs in $O(n(m + n\log n) )$ time. In the nondense case, it improves upon the time bound for this problem due to Sebő and Tannier that was introduced as an application of their results on metrics on graphs.

2025-10-30T19:59:34Z Nanano Kita http://arxiv.org/abs/2411.16559v3 2025-10-30T18:50:11Z

We characterize mixed-level orthogonal arrays in terms of algebraic designs in a special multigraph. We prove a mixed-level analog of the Bierbrauer-Friedman (BF) bound for pure-level orthogonal arrays and show that arrays attaining it are radius-1 completely regular codes (equivalently, intriguing sets, equitable 2-partitions, perfect 2-colorings) in the corresponding multigraph. For the case when the numbers of levels are powers of the same prime number, we characterize, in terms of multispreads, additive mixed-level orthogonal arrays attaining the BF bound. For pure-level orthogonal arrays, we consider versions of the BF bound obtained by replacing the Hamming graph by its polynomial generalization and show that in some cases this gives a new bound. Keywords: orthogonal array, algebraic t-design, completely regular code, equitable partition, intriguing set, Hamming graph, Bierbrauer-Friedman bound, additive codes.

2024-11-25T16:46:06Z Des. Codes Cryptogr. 93(11) 2025, 4937-4950 Denis S. Krotov Ferruh Özbudak Vladimir N. Potapov 10.1007/s10623-025-01711-y http://arxiv.org/abs/2510.26587v1 2025-10-30T15:13:57Z

We prove a generalization to Jennrich's uniqueness theorem for tensor decompositions in the undercomplete setting. Our uniqueness theorem is based on an alternative definition of the standard tensor decomposition, which we call matrix-vector decomposition. Moreover, in the same settings in which our uniqueness theorem applies, we also design and analyze an efficient randomized algorithm to compute the unique minimum matrix-vector decomposition (and thus a tensor rank decomposition of minimum rank). As an application of our uniqueness theorem and our efficient algorithm, we show how to compute all matrices of minimum rank (up to scalar multiples) in certain generic vector spaces of matrices.

2025-10-30T15:13:57Z Pascal Koiran Rafael Oliveira