Algorithmica最新文献

Upward Pointset Embeddings of Planar st-Graphs 平面st图的向上点集嵌入

IF 0.9 4区计算机科学

Algorithmica Pub Date : 2025-03-15 DOI: 10.1007/s00453-025-01302-2

Carlos Alegría, Susanna Caroppo, Giordano Da Lozzo, Marco D’Elia, Giuseppe Di Battista, Fabrizio Frati, Fabrizio Grosso, Maurizio Patrignani

{"title":"Upward Pointset Embeddings of Planar st-Graphs","authors":"Carlos Alegría, Susanna Caroppo, Giordano Da Lozzo, Marco D’Elia, Giuseppe Di Battista, Fabrizio Frati, Fabrizio Grosso, Maurizio Patrignani","doi":"10.1007/s00453-025-01302-2","DOIUrl":"10.1007/s00453-025-01302-2","url":null,"abstract":"<div>We study upward pointset embeddings (UPSEs) of planar st-graphs. Let G be a planar st-graph and let (S subset mathbb {R}^2) be a pointset with (|S|= |V(G)|). An UPSE of G on S is an upward planar straight-line drawing of G that maps the vertices of G to the points of S. We consider both the problem of testing the existence of an UPSE of G on S (UPSE Testing) and the problem of enumerating all UPSEs of G on S. We prove that UPSE Testing is NP-complete even for st-graphs that consist of a set of directed st-paths sharing only s and t. On the other hand, if G is an n-vertex planar st-graph whose maximum st-cutset has size k, then UPSE Testing can be solved in (mathcal {O}(n^{4k})) time with (mathcal {O}(n^{3k})) space; also, all the UPSEs of G on S can be enumerated with (mathcal {O}(n)) worst-case delay, using (mathcal {O}(k n^{4k} log n)) space, after (mathcal {O}(k n^{4k} log n)) set-up time. Moreover, for an n-vertex st-graph whose underlying graph is a cycle, we provide a necessary and sufficient condition for the existence of an UPSE on a given pointset, which can be tested in (mathcal {O}(n log n)) time. Related to this result, we give an algorithm that, for a set S of n points, enumerates all the non-crossing monotone Hamiltonian cycles on S with (mathcal {O}(n)) worst-case delay, using (mathcal {O}(n^2)) space, after (mathcal {O}(n^2)) set-up time.</div>","PeriodicalId":50824,"journal":{"name":"Algorithmica","volume":"87 6","pages":"930 - 960"},"PeriodicalIF":0.9,"publicationDate":"2025-03-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00453-025-01302-2.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143938584","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}

引用次数: 0

Structural Parameterization of Cluster Deletion 集群删除的结构参数化

IF 0.9 4区计算机科学

Algorithmica Pub Date : 2025-03-15 DOI: 10.1007/s00453-025-01303-1

Giuseppe F. Italiano, Athanasios L. Konstantinidis, Charis Papadopoulos

{"title":"Structural Parameterization of Cluster Deletion","authors":"Giuseppe F. Italiano, Athanasios L. Konstantinidis, Charis Papadopoulos","doi":"10.1007/s00453-025-01303-1","DOIUrl":"10.1007/s00453-025-01303-1","url":null,"abstract":"<div>In the Weighted Cluster Deletion problem we are given a graph with non-negative integral edge weights and the task is to determine, for a target value k, if there is a set of edges of total weight at most k such that its removal results in a disjoint union of cliques. It is well-known that the problem is FPT parameterized by k, the total weight of edge deletions. In scenarios in which the solution size is large, naturally one needs to drop the constraint on the solution size. Here we study Weighted Cluster Deletion where the parameter does not represent the size of the solution, but the parameter captures structural properties of the input graph. Our main contribution is to classify the parameterized complexity of Weighted Cluster Deletion with three structural parameters, namely, vertex cover number, twin cover number and neighborhood diversity. We show that the problem is FPT when parameterized by the vertex cover number, whereas it becomes paraNP-hard when parameterized by the twin cover number or the neighborhood diversity. To illustrate the applicability of our FPT result, we turn our attention to the unweighted variant of the problem, namely Cluster Deletion. We show that Cluster Deletion is FPT parameterized by the twin cover number. This is the first algorithm with single-exponential running time parameterized by the twin cover number. Interestingly, we are able to achieve an FPT result for Cluster Deletion parameterized by the neighborhood diversity that involves an ILP formulation. In fact, our results generalize the parameterized setting by the solution size, as we deduce that both parameters, twin cover number and neighborhood diversity, are linearly bounded by the number of edge deletions.</div>","PeriodicalId":50824,"journal":{"name":"Algorithmica","volume":"87 6","pages":"961 - 981"},"PeriodicalIF":0.9,"publicationDate":"2025-03-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143938586","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}

引用次数: 0

Improved Algorithms for Distance Selection and Related Problems 距离选择的改进算法及相关问题

IF 0.9 4区计算机科学

Algorithmica Pub Date : 2025-03-14 DOI: 10.1007/s00453-025-01305-z

Haitao Wang, Yiming Zhao

{"title":"Improved Algorithms for Distance Selection and Related Problems","authors":"Haitao Wang, Yiming Zhao","doi":"10.1007/s00453-025-01305-z","DOIUrl":"10.1007/s00453-025-01305-z","url":null,"abstract":"<div>In this paper, we propose new techniques for solving geometric optimization problems involving interpoint distances of a point set in the plane. Given a set P of n points in the plane and an integer (1 le k le left( {begin{array}{c}n 2end{array}}right) ), the distance selection problem is to find the k-th smallest interpoint distance among all pairs of points of P. The previously best deterministic algorithm solves the problem in (O(n^{4/3} log ^2 n)) time (Katz and Sharir in SIAM J Comput 26(5):1384–1408, 1997 and SoCG 1993). In this paper, we improve their algorithm to (O(n^{4/3} log n)) time. Using similar techniques, we also give improved algorithms on both the two-sided and the one-sided discrete Fréchet distance with shortcuts problem for two point sets in the plane. For the two-sided problem (resp., one-sided problem), we improve the previous work (Avraham et al. in ACM Trans Algorithms 11(4):29, 2015 and SoCG 2014) by a factor of roughly (log ^2(m+n)) (resp., ((m+n)^{epsilon })), where m and n are the sizes of the two input point sets, respectively. Other problems whose solutions can be improved by our techniques include the reverse shortest path problems for unit-disk graphs. Our techniques are quite general and we believe they will find many other applications in future.</div>","PeriodicalId":50824,"journal":{"name":"Algorithmica","volume":"87 6","pages":"908 - 929"},"PeriodicalIF":0.9,"publicationDate":"2025-03-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143938336","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}

引用次数: 0

On the Parameterized Complexity of Controlling Amendment and Successive Winners 控制修正和连续赢家的参数化复杂性

IF 0.9 4区计算机科学

Algorithmica Pub Date : 2025-03-13 DOI: 10.1007/s00453-025-01304-0

Yongjie Yang

引用次数: 0

Online Metric Matching on the Line with Recourse 联机度量匹配与追索权

IF 0.9 4区计算机科学

Algorithmica Pub Date : 2025-03-01 DOI: 10.1007/s00453-025-01299-8

Nicole Megow, Lukas Nölke

{"title":"Online Metric Matching on the Line with Recourse","authors":"Nicole Megow, Lukas Nölke","doi":"10.1007/s00453-025-01299-8","DOIUrl":"10.1007/s00453-025-01299-8","url":null,"abstract":"<div>In online metric matching on the line, n requests appear one by one and have to be matched immediately and irrevocably to a given set of servers, all located on the real line. The goal is to minimize the sum of distances between the requests and their assigned servers. The best known online algorithm achieves a competitive ratio of (Theta (log n)), leaving a gap to the best-known lower bound of (Omega (sqrt{log n})). In this work, we approach the problem in a recourse model where online decisions can be partially revised, allowing for the reassignment of previously matched edges. In contrast to the traditional online setting, we show that with an amortized recourse budget of (O(log n)), we can obtain an O(1)-competitive algorithm for online metric matching on the line. This is one of the first non-trivial results for metric matching with recourse. Additionally, for so-called alternating instances, where no more than one request lies between two servers, we achieve a near-optimal result. Specifically, we give a simple algorithm that is ((1+varepsilon ))-competitive and reassigns any request at most (O(frac{1}{varepsilon ^2})) times. This special case is particularly noteworthy, as a lower bound of (Omega (log n)), constructed using such instances, applies to a broad class of online algorithms, including all deterministic algorithms studied in the literature.</div>","PeriodicalId":50824,"journal":{"name":"Algorithmica","volume":"87 6","pages":"813 - 841"},"PeriodicalIF":0.9,"publicationDate":"2025-03-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00453-025-01299-8.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143938239","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}

引用次数: 0

Simultaneous Representation of Proper and Unit Interval Graphs 固有图与单位区间图的同时表示

IF 0.9 4区计算机科学

Algorithmica Pub Date : 2025-02-28 DOI: 10.1007/s00453-025-01296-x

Ignaz Rutter, Darren Strash, Peter Stumpf, Michael Vollmer

{"title":"Simultaneous Representation of Proper and Unit Interval Graphs","authors":"Ignaz Rutter, Darren Strash, Peter Stumpf, Michael Vollmer","doi":"10.1007/s00453-025-01296-x","DOIUrl":"10.1007/s00453-025-01296-x","url":null,"abstract":"<div>In a confluence of combinatorics and geometry, simultaneous representations provide a way to realize combinatorial objects that share common structure. A standard case in the study of simultaneous representations is the sunflower case where all objects share the same common structure. While the recognition problem for general simultaneous interval graphs—the simultaneous version of arguably one of the most well-studied graph classes—is NP-complete, the complexity of the sunflower case for three or more simultaneous interval graphs is currently open. In this work we settle this question for proper interval graphs. We give an algorithm to recognize simultaneous proper interval graphs in linear time in the sunflower case where we allow any number of simultaneous graphs. Simultaneous unit interval graphs are much more ‘rigid’ and therefore have less freedom in their representation. We show they can be recognized in time (mathcal {O}(|V|cdot |E|)) for any number of simultaneous graphs in the sunflower case where (G=(V,E)) is the union of the simultaneous graphs. We further show that both recognition problems are in general NP-complete if the number of simultaneous graphs is not fixed. The restriction to the sunflower case is in this sense necessary.</div>","PeriodicalId":50824,"journal":{"name":"Algorithmica","volume":"87 5","pages":"783 - 811"},"PeriodicalIF":0.9,"publicationDate":"2025-02-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00453-025-01296-x.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143919077","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}

引用次数: 0

Enumerating Minimal Solution Sets for Metric Graph Problems 度量图问题的最小解集枚举

IF 0.9 4区计算机科学

Algorithmica Pub Date : 2025-02-25 DOI: 10.1007/s00453-025-01300-4

Benjamin Bergougnoux, Oscar Defrain, Fionn Mc Inerney

{"title":"Enumerating Minimal Solution Sets for Metric Graph Problems","authors":"Benjamin Bergougnoux, Oscar Defrain, Fionn Mc Inerney","doi":"10.1007/s00453-025-01300-4","DOIUrl":"10.1007/s00453-025-01300-4","url":null,"abstract":"<div>Problems from metric graph theory like Metric Dimension, Geodetic Set, and Strong Metric Dimension have recently had an impact in parameterized complexity by being the first known problems in NP to admit double-exponential lower bounds in the treewidth, and even in the vertex cover number for the latter, assuming the Exponential Time Hypothesis. We initiate the study of enumerating minimal solution sets for these problems and show that they are also of great interest in enumeration. Specifically, we show that enumerating minimal resolving sets in graphs and minimal geodetic sets in split graphs are equivalent to enumerating minimal transversals in hypergraphs (denoted Trans-Enum), whose solvability in total-polynomial time is one of the most important open problems in algorithmic enumeration. This provides two new natural examples to a question that emerged in recent works: for which vertex (or edge) set graph property (Pi ) is the enumeration of minimal (or maximal) subsets satisfying (Pi ) equivalent to Trans-Enum? As very few properties are known to fit within this context—namely, those related to minimal domination—our results make significant progress in characterizing such properties, and provide new angles to approach Trans-Enum. In contrast, we observe that minimal strong resolving sets can be enumerated with polynomial delay. Additionally, we consider cases where our reductions do not apply, namely graphs with no long induced paths, and show both positive and negative results related to the enumeration and extension of partial solutions.</div>","PeriodicalId":50824,"journal":{"name":"Algorithmica","volume":"87 5","pages":"712 - 735"},"PeriodicalIF":0.9,"publicationDate":"2025-02-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143919252","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}

引用次数: 0

Counting Temporal Paths 计算时间路径

IF 0.9 4区计算机科学

Algorithmica Pub Date : 2025-02-25 DOI: 10.1007/s00453-025-01301-3

Jessica Enright, Kitty Meeks, Hendrik Molter

{"title":"Counting Temporal Paths","authors":"Jessica Enright, Kitty Meeks, Hendrik Molter","doi":"10.1007/s00453-025-01301-3","DOIUrl":"10.1007/s00453-025-01301-3","url":null,"abstract":"<div>This work investigates the parameterised complexity of counting temporal paths. The problem of counting temporal paths is mainly motivated by temporal betweenness computation. The betweenness centrality of a vertex v is an important centrality measure that quantifies how many optimal paths between pairs of other vertices visit v. Computing betweenness centrality in a temporal graph, in which the edge set may change over discrete timesteps, requires us to count temporal paths that are optimal with respect to some criterion. For several natural notions of optimality, including foremost or fastest temporal paths, this counting problem reduces to #Temporal Path, the problem of counting all temporal paths between a fixed pair of vertices; like the problems of counting foremost and fastest temporal paths, #Temporal Path is #P-hard in general. Motivated by the many applications of this intractable problem, we initiate a systematic study of the parameterised and approximation complexity of #Temporal Path. We show that the problem presumably does not admit an FPT-algorithm for the feedback vertex number of the static underlying graph, and that it is hard to approximate in general. On the positive side, we prove several exact and approximate FPT-algorithms for special cases.</div>","PeriodicalId":50824,"journal":{"name":"Algorithmica","volume":"87 5","pages":"736 - 782"},"PeriodicalIF":0.9,"publicationDate":"2025-02-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00453-025-01301-3.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143919253","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}

引用次数: 0

Convergence of the Number of Period sets in Strings 字符串中周期集合数目的收敛性

IF 0.9 4区计算机科学

Algorithmica Pub Date : 2025-02-21 DOI: 10.1007/s00453-025-01295-y

Eric Rivals, Michelle Sweering, Pengfei Wang

{"title":"Convergence of the Number of Period sets in Strings","authors":"Eric Rivals, Michelle Sweering, Pengfei Wang","doi":"10.1007/s00453-025-01295-y","DOIUrl":"10.1007/s00453-025-01295-y","url":null,"abstract":"<div>Consider words of length n. The set of all periods of a word of length n is a subset of ({0,1,2,ldots ,n-1}). However, not every subset of ({0,1,2,ldots ,n-1}) can be a valid set of periods. In a seminal paper in 1981, Guibas and Odlyzko proposed encoding the set of periods of a word into a binary string of length n, called an autocorrelation, where a 1 at position i denotes the period i. They considered the question of recognizing a valid period set, and also studied the number (kappa _n) of valid period sets for strings of length n. They conjectured that (ln kappa _n) asymptotically converges to a constant times ((ln n)^2). Although improved lower bounds for (ln kappa _n/(ln n)^2) were proved in 2001, the question of a tight upper bound has remained open since Guibas and Odlyzko’s paper. Here, we exhibit an upper bound for this fraction, which implies its convergence and closes this longstanding conjecture. Moreover, we extend our result to find similar bounds for the number of correlations: a generalization of autocorrelations that encodes the overlaps between two strings.\u0000</div>","PeriodicalId":50824,"journal":{"name":"Algorithmica","volume":"87 5","pages":"690 - 711"},"PeriodicalIF":0.9,"publicationDate":"2025-02-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143918966","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}

引用次数: 0

Analysis of the (1+1) EA on LeadingOnes with Constraints 带约束导联器的（1+1）EA分析

IF 0.9 4区计算机科学

Algorithmica Pub Date : 2025-02-19 DOI: 10.1007/s00453-025-01298-9

Tobias Friedrich, Timo Kötzing, Aneta Neumann, Frank Neumann, Aishwarya Radhakrishnan

引用次数: 0