AlgorithmicaPub Date : 2026-03-10DOI: 10.1007/s00453-025-01367-z
Dominique Attali, André Lieutier
{"title":"Delaunay-Like Triangulation of Smooth Orientable Submanifolds by (ell _1)-Norm Minimization","authors":"Dominique Attali, André Lieutier","doi":"10.1007/s00453-025-01367-z","DOIUrl":"10.1007/s00453-025-01367-z","url":null,"abstract":"<div>\u0000 \u0000 <p>In this paper, we study the shape reconstruction problem, when the shape we wish to reconstruct is an orientable smooth <i>d</i>-dimensional submanifold of the Euclidean space. Assuming we have as input a simplicial complex <i>K</i> that approximates the submanifold (such as the Čech complex or the Rips complex), we recast the problem of reconstructing the submanifold from <i>K</i> as an <span>(ell _1)</span>-norm minimization problem in which the optimization variable is a <i>d</i>-chain of <i>K</i> over the field <span>(mathbb {R})</span>. Providing that <i>K</i>, satisfies certain reasonable conditions, we prove that the considered minimization problem has a unique solution which triangulates the submanifold and coincides with the flat Delaunay complex introduced and studied in a companion paper (Attali and Lieutier in Flat Delaunay complexes for homeomorphic manifold reconstruction, 2022). Since the objective is a weighted <span>(ell _1)</span>-norm and the constraints are linear, the triangulation process can thus be implemented by linear programming.</p>\u0000 </div>","PeriodicalId":50824,"journal":{"name":"Algorithmica","volume":"88 2","pages":""},"PeriodicalIF":0.7,"publicationDate":"2026-03-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"147441009","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
AlgorithmicaPub Date : 2026-03-09DOI: 10.1007/s00453-025-01368-y
Carlos Alegría, Ioannis Mantas, Evanthia Papadopoulou, Marko Savić, Carlos Seara, Martin Suderland
{"title":"The Voronoi Diagram of Rotating Rays with Applications to Floodlight Illumination","authors":"Carlos Alegría, Ioannis Mantas, Evanthia Papadopoulou, Marko Savić, Carlos Seara, Martin Suderland","doi":"10.1007/s00453-025-01368-y","DOIUrl":"10.1007/s00453-025-01368-y","url":null,"abstract":"<div><p>We study the <i>Voronoi Diagram of Rotating Rays</i>, a Voronoi structure where the input sites are rays and the distance function between a point and a site/ray is their counterclockwise angular distance. This novel Voronoi diagram is motivated by illumination and coverage problems, where a domain must be covered by floodlights, which are wedges of uniform angle, and the goal is to find the minimum angle necessary to cover the domain. This angle is called the <i>Brocard angle</i> and it is encoded in the Voronoi diagram of rotating rays. We study the diagram in the plane and present its structural properties, its combinatorial complexity bounds, and a construction algorithm. If the rays are induced by a convex polygon, we show how to construct the rotating rays Voronoi diagram within the polygon in optimal linear time. We can thus compute the Brocard angle of the polygon in the same time. Floodlights are used to model devices with limited sensing range, like surveillance cameras or directional antennas. In this context, the Brocard angle reveals the minimum range necessary for a set of devices to cover a domain.</p></div>","PeriodicalId":50824,"journal":{"name":"Algorithmica","volume":"88 2","pages":""},"PeriodicalIF":0.7,"publicationDate":"2026-03-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"147440936","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Bipartite Independent Set Reconfiguration: General and RNA-Inspired Parameterized Algorithms","authors":"Théo Boury, Laurent Bulteau, Bertrand Marchand, Yann Ponty","doi":"10.1007/s00453-026-01371-x","DOIUrl":"10.1007/s00453-026-01371-x","url":null,"abstract":"<div><p>Computing the energy barrier between RNA structures is a classic NP-hard problem in bioinformatics, of which the Independent Set (IS) reconfiguration in bipartite graphs represents a natural generalization. Parameterized algorithms, based on parameters taking limited or bounded values on biological instances, are thus crucial towards practical solutions. In this work, we show that bipartite IS reconfiguration is slice-wise Polynomial (XP) solvable for both the range <span>(rho )</span> of IS sizes allowed along the reconfiguration, and the arboricity <span>(Phi )</span> when the input is restricted to a circle graph. Such a setting is relevant to Bioinformatics as it provides a solution to the RNA energy barrier problem. We propose algorithms based on a divide-and-conquer approach, yielding a <span>(Oleft( n^{2}right) )</span>-space, <span>(Oleft( n^{2rho +2.5}right) )</span>-time algorithm for the range <span>(rho )</span>, and a <span>(Oleft( n^{Phi + 2}right) )</span>-space, <span>(Oleft( n^{Phi +3}right) )</span>-time algorithm for the arboricity <span>(Phi )</span>. We demonstrate the practicality of our algorithms on benchmarks respectively consisting of random Erdös-Rényi bipartite graphs, random pairs of RNA structures and experimentally-supported instances of RNA kinetics.</p></div>","PeriodicalId":50824,"journal":{"name":"Algorithmica","volume":"88 2","pages":""},"PeriodicalIF":0.7,"publicationDate":"2026-03-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"147362760","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
AlgorithmicaPub Date : 2026-03-02DOI: 10.1007/s00453-026-01377-5
Daniel Hathcock, Guy Kortsarz, R. Ravi
{"title":"The Telephone k-Multicast Problem","authors":"Daniel Hathcock, Guy Kortsarz, R. Ravi","doi":"10.1007/s00453-026-01377-5","DOIUrl":"10.1007/s00453-026-01377-5","url":null,"abstract":"<div><p>We consider minimum time multicasting problems in directed and undirected graphs: given a root node and a subset of <i>t</i> terminal nodes, multicasting seeks to find the minimum number of rounds within which all terminals can be informed with a message originating at the root. In each round, the telephone model we study allows the information to move via a matching from the informed nodes to the uninformed nodes. Since minimum time multicasting in digraphs is poorly understood compared to the undirected variant, we study an intermediate problem in undirected graphs that specifies a target <span>(k < t)</span>, and requires that only <i>k</i> of the terminals be informed in the minimum number of rounds. For this problem, we improve the implications of the previous results and obtain a multiplicative approximation factor of <span>(tilde{O}(t^{1/3}))</span>. For the directed version, we obtain an <i>additive</i> <span>(tilde{O}(k^{1/2}))</span> approximation algorithm (with a polylogarithmic multiplicative factor). Our algorithms are based on reductions to the related problems of finding <i>k</i>-trees of minimum poise (sum of maximum degree and diameter) and applying a combination of greedy network decomposition techniques and set covering under partition matroid constraints. We also study the problem of bounded degree Directed Steiner Tree, for which we obtain improved polylogarithmic approximations for the special case of bounded treewidth graphs. This extends prior work on the Group Steiner Tree problem.</p></div>","PeriodicalId":50824,"journal":{"name":"Algorithmica","volume":"88 2","pages":""},"PeriodicalIF":0.7,"publicationDate":"2026-03-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00453-026-01377-5.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"147336138","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Graph Exploration: The Impact of a Distance Constraint","authors":"Stéphane Devismes, Yoann Dieudonné, Arnaud Labourel","doi":"10.1007/s00453-026-01378-4","DOIUrl":"10.1007/s00453-026-01378-4","url":null,"abstract":"<div><p>A mobile agent, starting from a node <i>s</i> of a simple undirected graph <span>(G=(V,E))</span>, has to explore all nodes and edges of <i>G</i>. To do so, the agent uses a deterministic algorithm that allows it to gain information on <i>G</i> as it traverses its edges. During its exploration, the agent must always respect the constraint of knowing a path of length at most <i>D</i> to go back to node <i>s</i>. The upper bound <i>D</i> is fixed as being equal to <span>((1+alpha )r)</span>, where <i>r</i> is the eccentricity of node <i>s</i> and <span>(alpha )</span> is any positive real constant. This task has been introduced by Duncan et al. (ACM Trans Algorithms 2(3):380–402, 2006) and is known as <i>distance-constrained exploration</i>. The <i>penalty</i> of an exploration algorithm running in <i>G</i> is the number of edge traversals made by the agent in excess of |<i>E</i>|. In Panaite and Pelc (J Algorithms 33(2):281–295, 1999), Panaite and Pelc gave an algorithm for solving exploration without any constraint on the moves that is guaranteed to work in every graph <i>G</i> with a (small) penalty in <span>(mathcal {O}(|V|))</span>. <i>Can we obtain a distance-constrained exploration algorithm with the same guarantee?</i> In this paper, we provide a negative answer to this question. We also observe that an algorithm working in every graph <i>G</i> with a linear penalty in |<i>V</i>| cannot be obtained for the task of <i>fuel-constrained exploration</i>, another variant studied in the literature. This solves an open problem posed by Duncan et al. (ACM Trans Algorithms 2(3):380–402, 2006) and shows a fundamental separation with the task of exploration without constraint on the moves.</p></div>","PeriodicalId":50824,"journal":{"name":"Algorithmica","volume":"88 2","pages":""},"PeriodicalIF":0.7,"publicationDate":"2026-02-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"147342689","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
AlgorithmicaPub Date : 2026-02-19DOI: 10.1007/s00453-026-01369-5
Vijay V. Vazirani
{"title":"Towards a Practical, Budget-Oblivious Algorithm for the Adwords Problem Under Small Bids","authors":"Vijay V. Vazirani","doi":"10.1007/s00453-026-01369-5","DOIUrl":"10.1007/s00453-026-01369-5","url":null,"abstract":"<div><p>Motivated by recent insights into the online bipartite matching problem (<span>OBM</span>), our goal was to extend the optimal algorithm for it, namely <span>Ranking</span>, all the way to the special case of adwords problem, called <span>Small</span>, in which bids are small compared to budgets; the latter has been of considerable practical significance in ad auctions (Mehta et al. in J. ACM (JACM) 54:22-es, 2007). This approach would yield a <i>budget-oblivious algorithm</i>, i.e., the algorithm would not need to know budgets of advertisers and therefore could be used in autobidding platforms. We present such an algorithm for <span>Single-Valued</span>, a special case of <span>Small</span>. However, an extension to <span>Small</span> failed because of failure of the <i>No-Surpassing Property</i>. Since the probabilistic ideas underlying our algorithm are quite substantial, we have stated them formally, after assuming the No-Surpassing Property, and we leave the open problem of removing this assumption.</p></div>","PeriodicalId":50824,"journal":{"name":"Algorithmica","volume":"88 2","pages":""},"PeriodicalIF":0.7,"publicationDate":"2026-02-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00453-026-01369-5.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"147340291","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
AlgorithmicaPub Date : 2026-02-17DOI: 10.1007/s00453-026-01373-9
Gabriel Ponte, Marcia Fampa, Jon Lee
{"title":"Convex relaxation for the generalized maximum-entropy sampling problem","authors":"Gabriel Ponte, Marcia Fampa, Jon Lee","doi":"10.1007/s00453-026-01373-9","DOIUrl":"10.1007/s00453-026-01373-9","url":null,"abstract":"<div><p>The <i>generalized maximum-entropy sampling problem</i> (GMESP) is to select an order-<i>s</i> principal submatrix from an order-<i>n</i> covariance matrix, to maximize the product of its <i>t</i> greatest eigenvalues, <span>(0<tle s <n)</span>. Introduced more than 25 years ago, GMESP is a natural generalization of two fundamental problems in statistical design theory: (i) maximum-entropy sampling problem (MESP); (ii) binary D-optimality (D-Opt). In the general case, it can be motivated by a selection problem in the context of principal component analysis (PCA). We introduce the first convex-optimization based relaxation for GMESP, study its behavior, compare it to an earlier spectral bound, and demonstrate its use in a branch-and-bound scheme. We find that such an approach is practical when <span>(s-t)</span> is very small.</p></div>","PeriodicalId":50824,"journal":{"name":"Algorithmica","volume":"88 2","pages":""},"PeriodicalIF":0.7,"publicationDate":"2026-02-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00453-026-01373-9.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"147339854","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
AlgorithmicaPub Date : 2026-02-16DOI: 10.1007/s00453-026-01372-w
Sharmila Duppala, George Z. Li, Juan Luque, Aravind Srinivasan, Renata Valieva
{"title":"Concentration of Submodular Functions and Read-k Families Under Negative Dependence","authors":"Sharmila Duppala, George Z. Li, Juan Luque, Aravind Srinivasan, Renata Valieva","doi":"10.1007/s00453-026-01372-w","DOIUrl":"10.1007/s00453-026-01372-w","url":null,"abstract":"<div><p>We study the question of whether submodular functions of random variables satisfying various notions of negative dependence satisfy Chernoff-like concentration inequalities. We prove such a concentration inequality for the lower tail when the random variables satisfy negative association or negative regression, partially resolving an open problem raised in ([1]). Previous work showed such concentration results for random variables that come from specific dependent-rounding algorithms ([2, 3]). We discuss some applications of our results to combinatorial optimization and beyond. We also show applications to the concentration of read-<i>k</i> families [4] under certain forms of negative dependence; we further show a simplified proof of the entropy-method approach of [4].</p></div>","PeriodicalId":50824,"journal":{"name":"Algorithmica","volume":"88 2","pages":""},"PeriodicalIF":0.7,"publicationDate":"2026-02-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00453-026-01372-w.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"147339341","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
AlgorithmicaPub Date : 2026-02-07DOI: 10.1007/s00453-025-01363-3
Alexander Dobler, Martin Nöllenburg
{"title":"Block Crossings in One-Sided Tanglegrams","authors":"Alexander Dobler, Martin Nöllenburg","doi":"10.1007/s00453-025-01363-3","DOIUrl":"10.1007/s00453-025-01363-3","url":null,"abstract":"<div><p>Tanglegrams are drawings of two rooted binary phylogenetic trees and a matching between their leaf sets. The trees are drawn crossing-free on opposite sides with their leaf sets facing each other on two vertical lines. Instead of minimizing the number of pairwise edge crossings, we consider the problem of minimizing the number of <i>block crossings</i>, that is, two bundles of edges crossing each other locally. With one tree fixed, the leaves of the second tree can be permuted according to its tree structure. We give a complete picture of the algorithmic complexity of minimizing block crossings in one-sided tanglegrams by showing <span>NP</span>-completeness, 2.25-approximations, and a fixed-parameter algorithm with the parameter being the number of block crossings of the computed tanglegram. We also state results for non-binary trees.</p></div>","PeriodicalId":50824,"journal":{"name":"Algorithmica","volume":"88 2","pages":""},"PeriodicalIF":0.7,"publicationDate":"2026-02-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00453-025-01363-3.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"147337552","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
AlgorithmicaPub Date : 2026-01-14DOI: 10.1007/s00453-025-01353-5
Antonio Blanca, Xusheng Zhang
{"title":"Rapid Mixing of Global Markov Chains via Spectral Independence: The Unbounded Degree Case","authors":"Antonio Blanca, Xusheng Zhang","doi":"10.1007/s00453-025-01353-5","DOIUrl":"10.1007/s00453-025-01353-5","url":null,"abstract":"<div><p>We consider spin systems on general <i>n</i>-vertex graphs of unbounded degree and explore the effects of spectral independence on the rate of convergence to equilibrium of global Markov chains. Spectral independence is a novel way of quantifying the decay of correlations in spin system models, which has significantly advanced the study of Markov chains for spin systems. We prove that whenever spectral independence holds, the popular Swendsen–Wang dynamics for the <i>q</i>-state ferromagnetic Potts model on graphs of maximum degree <span>(Delta )</span>, where <span>(Delta )</span> is allowed to grow with <i>n</i>, converges in <span>(O((Delta log n)^c))</span> steps where <span>(c > 0)</span> is a constant independent of <span>(Delta )</span> and <i>n</i>. We also show a similar mixing time bound for the block dynamics of general spin systems, again assuming that spectral independence holds. Finally, for <i>monotone</i> spin systems such as the Ising model and the hardcore model on bipartite graphs, we show that spectral independence implies that the mixing time of the systematic scan dynamics is <span>(O(Delta ^c log n))</span> for a constant <span>(c>0)</span> independent of <span>(Delta )</span> and <i>n</i>. Systematic scan dynamics are widely popular but are notoriously difficult to analyze. Our result implies optimal <span>(O(log n))</span> mixing time bounds for any systematic scan dynamics of the ferromagnetic Ising model on general graphs up to the tree uniqueness threshold. Our main technical contribution is an improved factorization of the entropy functional: this is the common starting point for all our proofs. Specifically, we establish the so-called <i>k</i>-partite factorization of entropy with a constant that depends polynomially on the maximum degree of the graph.</p></div>","PeriodicalId":50824,"journal":{"name":"Algorithmica","volume":"88 1","pages":""},"PeriodicalIF":0.7,"publicationDate":"2026-01-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00453-025-01353-5.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145983138","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}