https://arxiv.org/api/+V5aGO93+KR26zfTWLltDQ4Tsf4 2026-06-22T20:29:53Z 15689 1035 15 http://arxiv.org/abs/2511.15156v1 2025-11-19T06:16:16Z

We investigate string graphs through the lens of graph product structure theory, which describes complicated graphs as subgraphs of strong products of simpler building blocks. A graph $G$ is called a string graph if its vertices can be represented by a collection $\mathcal{C}$ of continuous curves (called a string representation of $G$) in a surface so that two vertices are adjacent in $G$ if and only if the corresponding curves in $\mathcal{C}$ cross. We prove that every string graph with bounded maximum degree in a fixed surface is isomorphic to a subgraph of the strong product of a graph with bounded treewidth and a path. This extends recent product structure theorems for string graphs. Applications of this result are presented. This product structure theorem ceases to be true if the `bounded maximum degree' assumption is relaxed to `bounded degeneracy'. For string graphs in the plane, we give an alternative proof of this result. Specifically, we show that every string graph in the plane has a `localised' string representation where the number of crossing points on the curve representing a vertex $u$ is bounded by a function of the degree of $u$. Our proof of the product structure theorem also leads to a result about the treewidth of outerstring graphs, which qualitatively extends a result of Fox and Pach [Eur. J. Comb. 2012] about outerstring graphs with bounded maximum degree. We extend our result to outerstring graphs defined in arbitrary surfaces.

2025-11-19T06:16:16Z Nikolai Karol http://arxiv.org/abs/2511.15742v1 2025-11-18T19:53:42Z

This review aims to provide a comprehensive update on the progress made on the Sequential Testing problem (STP) in the last 20 years after the review, [1] was published. Many studies have provided new theoretical results, extensions of the problem, and new applications. In this review, we pinpoint the main results and discuss the relations between the problems studied. We also provide possible research directions for the problem.

2025-11-18T19:53:42Z Discrete Applied Mathematics, Volume 377, 31 December 2025, 356-369 Tonguç Ünlüyurt 10.1016/j.dam.2025.07.039 http://arxiv.org/abs/2303.02872v2 2025-11-18T14:44:10Z

We address the problem of finding sets of integers of a given size with a maximum number of pairs summing to powers of $2$. By fixing particular pairs, this problem reduces to finding a labeling of the vertices of a given graph with pairwise distinct integers such that the endpoint labels for each edge sum up to a power of $2$. We propose an efficient algorithm for this problem, which at its core relies on another algorithm that, given two sets of linear homogeneous polynomials with integer coefficients, computes all variable assignments to powers of $2$ that nullify polynomials from the first set but not from the second. With the proposed algorithms, we determine the maximum size of graphs of order $n$ that admit such a labeling for all $n\leq 21$, and construct the maximum admissible graphs for $n\leq 20$. We also identify the minimal forbidden subgraphs of order $\leq 11$, whose presence prevents the graphs from having such a labeling.

2023-03-06T03:48:49Z Journal of Computer and System Sciences 157 (2026), 103735 Max A. Alekseyev 10.1016/j.jcss.2025.103735 http://arxiv.org/abs/2511.14514v1 2025-11-18T14:11:47Z

We pursue the study of edge-irregulators of graphs, which were recently introduced in [Fioravantes et al. Parametrised Distance to Local Irregularity. IPEC, 2024]. That is, we are interested in the parameter Ie(G), which, for a given graph G, denotes the smallest k >= 0 such that G can be made locally irregular (i.e., with no two adjacent vertices having the same degree) by deleting k edges. We exhibit notable properties of interest of the parameter Ie, in general and for particular classes of graphs, together with parameterized algorithms for several natural graph parameters. Despite the computational hardness previously exhibited by this problem (NP-hard, W[1]-hard w.r.t. feedback vertex number, W[1]-hard w.r.t. solution size), we present two FPT algorithms, the first w.r.t. the solution size plus Delta and the second w.r.t. the vertex cover number of the input graph. Finally, we take important steps towards better understanding the behaviour of this problem in dense graphs. This is crucial when considering some of the parameters whose behaviour is still uncharted in regards to this problem (e.g., neighbourhood diversity, distance to clique). In particular, we identify a subfamily of complete graphs for which we are able to provide the exact value of Ie(G). These investigations lead us to propose a conjecture that Ie(G) should always be at most m/3 + c, where $m$ is the number of edges of the graph $G$ and $c$ is some constant. This conjecture is verified for various families of graphs, including trees.

2025-11-18T14:11:47Z Julien Bensmail Noémie Catherinot Foivos Fioravantes Clara Marcille Nacim Oijid http://arxiv.org/abs/2506.01359v2 2025-11-18T06:13:45Z

We prove that for any $k\geq3$ for clause/variable ratios up to the Gibbs uniqueness threshold of the corresponding Galton-Watson tree, the number of satisfying assignments of random $k$-SAT formulas is given by the `replica symmetric solution' predicted by physics methods [Monasson, Zecchina: Phys. Rev. Lett. (1996)]. Furthermore, while the Gibbs uniqueness threshold is still not known precisely for any $k\geq3$, we derive new lower bounds on this threshold that improve over prior work [Montanari and Shah: SODA (2007)].The improvement is significant particularly for small $k$.

2025-06-02T06:32:12Z Arnab Chatterjee Amin Coja-Oghlan Catherine Greenhill Vincent Pfenninger Maurice Rolvien Pavel Zakharov Kostas Zampetakis http://arxiv.org/abs/2510.06533v2 2025-11-18T02:36:47Z

In the covering version of the pinwheel scheduling problem, a daily task must be assigned to agents under the constraint that agent $i$ can perform the task at most once in any $a_i$-day interval. In this paper, we determine the optimal constant $α^* = 1.264\ldots {}$ such that every instance with $\sum_{i} \frac{1}{a_i} \ge α^*$ is schedulable. This resolves an open problem posed by Soejima and Kawamura (2020). Our proof combines Kawamura's (2024) techniques for the packing version with new mathematical insights, along with an exhaustive computer-aided search that draws on some ideas from Gąsieniec, Smith, and Wild (2022).

2025-10-08T00:20:29Z Akitoshi Kawamura Yusuke Kobayashi http://arxiv.org/abs/2409.17076v2 2025-11-17T23:36:31Z

We investigate the integer solutions of Diophantine equations related to Lehmer's totient conjecture. We give an algorithm that computes all nontrivial spoof Lehmer factorizations with a fixed number of factors, and enumerate all nontrivial spoof Lehmer factorizations with 6 or fewer factors.

2024-09-25T16:40:36Z 11 pages; 2 tables Grant Molnar Guntas Singh http://arxiv.org/abs/2511.13528v1 2025-11-17T16:01:36Z

We prove that every graph of rankwidth at least $72r$ contains an induced subgraph whose minimum balanced cutrank is at least $r$, which implies a vertex subset where every balanced separation has $\mathbb{F}_2$-cutrank at least $r$. This implies a novel relation between rankwidth and a well-linkedness measure, defined entirely by balanced vertex cuts. As a byproduct, our result supports the notion of rank-expansion as a suitable candidate for measuring expansion in dense graphs.

2025-11-17T16:01:36Z 20 pages Emile Anand http://arxiv.org/abs/2511.13805v1 2025-11-17T14:44:00Z

The reformulation-linearization-technique (RLT) is a well-known strengthening technique for binary mixed-integer optimization. It is well known to dominate lift-and-project strengthening, which is based on disjunctive programming (DP) for single-variable disjunctions. In contrast to the latter, the geometry of RLT is not understood completely. We provide some insights by characterizing the points in the corresponding RLT closure geometrically. We exploit this insight to show that RLT even dominates DP approaches based on cardinality equations with right-hand side 1. This is in contrast to cardinality inequalities with right-hand side 1, whose DPs are not dominated. Our results have applications in the strength comparison for the quadratic assignment problem.

2025-11-17T14:44:00Z 21 pages, 4 figures Hugo A. Hof Matthias Walter http://arxiv.org/abs/2402.16923v8 2025-11-17T13:33:58Z

Endowing the set of functional graphs (FGs) with the sum (disjoint union of graphs) and product (standard direct product on graphs) operations induces on FGs a structure of a commutative semiring R. The operations on R can be naturally extended to the set of univariate polynomials R[X] over R. This paper provides a polynomial time algorithm for deciding if equations of the type AX=B have solutions when A is just a single cycle and B a set of cycles of identical size. We also prove a similar complexity result for some variants of the previous equation.

2024-02-26T10:18:49Z Final version accepted by DMTCS; added a linefeed before 'Clearly' in the before last page, as asked by the editor Discrete Mathematics & Theoretical Computer Science, vol. 27:3, Discrete Algorithms (November 21, 2025) dmtcs:14590 Alberto Dennunzio Enrico Formenti Luciano Margara Sara Riva 10.46298/dmtcs.14590 http://arxiv.org/abs/2506.01228v4 2025-11-17T12:01:52Z

We establish that a simple polynomial-time algorithm that we call reweighted spectral partitioning obtains small 2/3-balanced vertex-separators for a number of graph classes, including $O(\sqrt{n})$-sized separators for planar graphs, $O(\min\{(\log g)^2,\logΔ\}\cdot\sqrt{gn})$-sized separators for genus-$g$ graphs of maximum degree $Δ$, and $O(\min\{\log h,\sqrt{\logΔ}\}(h\log h\log\log h)\sqrt{n})$-sized separators for $K_h$-minor-free graphs of maximum degree $Δ$. To accomplish this, we first obtain a refined form of a Cheeger-style inequality relating the vertex expansion of a graph and the solution to a semidefinite program defined over the graph. Then, to obtain the guarantees for specific graph classes, we derive direct bounds on the value of the semidefinite program. We also obtain several other results of independent interest, including an improved separator theorem for the intersection graphs of $d$-dimensional balls with bounded ply, a new bound on the Fiedler value of genus-$g$ graphs, and a new "spectral" proof of the planar separator theorem.

2025-06-02T00:40:30Z 42 pages, 12 figures Jack Spalding-Jamieson http://arxiv.org/abs/2511.19445v1 2025-11-16T14:07:36Z

We propose a parallel shared-memory schema to cooperatively optimize the solution of a Capacitated Vehicle Routing Problem instance with minimal synchronization effort and without the need for an explicit decomposition. To this end, we design FILO2$^x$ as a single-trajectory parallel adaptation of the FILO2 algorithm originally proposed for extremely large-scale instances and described in Accorsi and Vigo (2024). Using the locality of the FILO2 optimization applications, in FILO2$^x$ several possibly unrelated solution areas are concurrently asynchronously optimized. The overall search trajectory emerges as an iteration-based parallelism obtained by the simultaneous optimization of the same underlying solution performed by several solvers. Despite the high efficiency exhibited by the single-threaded FILO2 algorithm, the computational results show that, by better exploiting the available computing resources, FILO2$^x$ can greatly enhance the resolution time compared to the original approach, still maintaining a similar final solution quality for instances ranging from hundreds to hundreds of thousands customers.

2025-11-16T14:07:36Z Luca Accorsi Demetrio Laganà Federico Michelotto Roberto Musmanno Daniele Vigo http://arxiv.org/abs/2511.12587v1 2025-11-16T13:16:45Z

The M-polynomial, introduced by Deutsch and Klavžar in 2015, provides a unifying algebraic framework for the computation of numerous degree-based topological indices such as the Zagreb, Randic, harmonic, and forgotten indices. Despite its broad applications in chemical graph theory and network analysis, closed expressions of the M-polynomial remain unknown for many important graph families. In this work we derive, for the first time, a complete explicit expression of the M-polynomial of the generalized Hanoi graphs $H_p^n$ for arbitrary positive $p$ and $n$. Our derivation relies on a detailed combinatorial analysis of the occupancy-based structure of $H_p^n$, refined using Stirling and $2$-associated Stirling numbers to enumerate all configurations with prescribed singleton and multiton counts. We obtain closed formulas for all diagonal and off-diagonal coefficients of the M-polynomial and show how these expressions yield exact values of the main degree-based topological indices. The correctness of the formulas is supported through numerical computation in small instances. These results provide a complete degree-based description of $H_p^n$ and make their structural complexity fully accessible through the M-polynomial framework.

2025-11-16T13:16:45Z Discrete Applied Mathematics 387 (2026), 181--198 El-Mehdi Mehiri 10.1016/j.dam.2026.03.006 http://arxiv.org/abs/2211.11204v3 2025-11-16T04:51:51Z

For any finite group $G$, any transitive $G$-set $X$ and any field ${\Bbb F}$, we consider the vector space ${\Bbb F}^X$ of all functions from $X$ to ${\Bbb F}$, which is a $G$-space isomorphic to the permutation ${\Bbb F} G$-module ${\Bbb F} X$. When the group algebra ${\Bbb F} G$ is semisimple and split, we find a specific basis $\widehat X$ of ${\Bbb F}^X$ and, for $f\in{\Bbb F}^X$, construct the Fourier transform $\widehat f\in{\Bbb F}^{\widehat X}$. We define the rank support $\mbox{rk-supp}(\widehat f)$ and prove that $\mbox{rk-supp}(\widehat f)=\dim {\Bbb F} G f$, where ${\Bbb F} G f$ is the submodule of ${\Bbb F} X$ generated by the element $f=\sum_{x\in X}f(x)x$. Next, we extend and strengthen the sharpened uncertainty principle for finite abelian groups, established by Feng, Hollmann, and Xiang in 2019, to a broader framework and a sharp version. For $0\ne f\in{\Bbb F}^X$, we construct a block $X_{{\rm supp}(f)}$ of $X$ and a subset ${\mathscr S}'^{-\!1}$ of $G$ determined by the support ${\rm supp}(f)$ of $f$, and show that $\dim{\Bbb F} Gf-\dim{\Bbb F}{\mathscr S}'^{-\!1}\!f\ge 1$ and $$ |{\rm supp}(f)|\cdot \dim{\Bbb F} Gf \ge |X|+ (\!\dim{\Bbb F} Gf-\dim{\Bbb F}{\mathscr S}'^{-1}f) \cdot|{\rm supp}(f)| -|X_{{\rm supp}(f)}|, $$ where ${\Bbb F}{\mathscr S}'^{-1}f$ denotes the subspace of ${\Bbb F}X$ spanned by the subset ${\mathscr S}'^{-1}f=\{αf\,|\,α\in{\mathscr S}'^{-1}\}\subseteq{\Bbb F} X$. We provide necessary and sufficient conditions for the above inequality to achieve equality. As corollaries, we derive many sharpened or classical versions of the finite-dimensional uncertainty principle, address an open question posed by Feng, Hollmann, and Xiang. When $|G|$ is a prime and $X=G$, we give a lower bound on $\dim {\Bbb F}Gf$ that recovers Tao's 2005 strong uncertainty principle, along with a precise characterization of the equality case.

2022-11-21T06:32:01Z Bocong Chen Yun Fan Gaojun Luo http://arxiv.org/abs/2511.11855v1 2025-11-14T20:24:01Z

We study the problem of partitioning the edges of a $d$-uniform hypergraph $H$ into a family $F$ of complete $d$-partite hypergraphs ($d$-cliques). We show that there is a partition $F$ in which every vertex $v \in V(H)$ belongs to at most $(\frac{1}{d!} + o_d(1))n^{d-1}/\lg n$ members of $F$. This settles the central question of a line of research initiated by Erdős and Pyber (1997) for graphs, and more recently by Csirmaz, Ligeti, and Tardos (2014) for hypergraphs. The $d=2$ case of this theorem answers a 40-year-old question of Chung, Erdős, and Spencer (1983). An immediate corollary of our result is an improved upper bound for the maximum share size for binary secret sharing schemes on uniform hypergraphs. Building on results of Nechiporuk (1969), we prove that every graph with fixed edge density $γ\in (0,1)$ has a biclique partition of total weight at most $(\tfrac{1}{2}+o(1))\cdot h_2(γ) \frac{n^2}{\lg n}$, where $h_2$ is the binary entropy function. Our construction implies that such biclique partitions can be constructed in time $O(m)$, which answers a question of Feder and Motwani (1995) and also improves upon results of Mubayi and Turán (2010) as well as Chavan, Rabinia, Grosu, and Brocanelli (2025). Using similar techniques, we also give an $n^{1+o(1)}$ algorithm for finding a subgraph $K_{t,t}$ with $t = (1-o(1)) \fracγ{h_2(γ)} \lg n$. Our results show that biclique partitions are information-theoretically optimal representations for graphs at every fixed density. We show that with this succinct representation one can answer independent set queries and cut queries in time $O(n^2/ \lg n)$, and if we increase the space usage by a constant factor, we can compute a $2α$-approximation for the densest subgraph problem in time $O(n^2/\lg α)$ for any $α> 1$.

2025-11-14T20:24:01Z Comments welcome! Abstract trimmed due to arxiv requirements Andrew Krapivin Benjamin Przybocki Nicolás Sanhueza-Matamala Bernardo Subercaseaux