Algorithmica最新文献

{"title":"Matching Cuts in Graphs of High Girth and H-Free Graphs","authors":"Carl Feghali,&nbsp;Felicia Lucke,&nbsp;Daniël Paulusma,&nbsp;Bernard Ries","doi":"10.1007/s00453-025-01318-8","DOIUrl":"10.1007/s00453-025-01318-8","url":null,"abstract":"<div><p>The <span>(Perfect) Matching Cut</span> problem is to decide if a connected graph has a (perfect) matching that is also an edge cut. The <span>Disconnected Perfect Matching</span> problem is to decide if a connected graph has a perfect matching that contains a matching cut. Both <span>Matching Cut</span> and <span>Disconnected Perfect Matching</span> are <span>NP</span>-complete for planar graphs of girth 5, whereas <span>Perfect Matching Cut</span> is known to be <span>NP</span>-complete even for subcubic bipartite graphs of arbitrarily large fixed girth. We prove that <span>Matching Cut</span> and <span>Disconnected Perfect Matching</span> are also <span>NP</span>-complete for bipartite graphs of arbitrarily large fixed girth and bounded maximum degree. Our result for <span>Matching Cut</span> resolves a 20-year old open problem. We also show that the more general problem <i>d</i><span>-Cut</span>, for every fixed <span>(dge 1)</span>, is <span>NP</span>-complete for bipartite graphs of arbitrarily large fixed girth and bounded maximum degree. Furthermore, we show that <span>Matching Cut</span>, <span>Perfect Matching Cut</span> and <span>Disconnected Perfect Matching</span> are <span>NP</span>-complete for <i>H</i>-free graphs whenever <i>H</i> contains a connected component with two vertices of degree at least 3. Afterwards, we update the state-of-the-art summaries for <i>H</i>-free graphs and compare them with each other, and with a known and full classification of the <span>Maximum Matching Cut</span> problem, which is to determine a largest matching cut of a graph <i>G</i>. Finally, by combining existing results, we obtain a complete complexity classification of <span>Perfect Matching Cut</span> for <span>(mathcal{H})</span>-subgraph-free graphs where <span>(mathcal{H})</span> is any finite set of graphs.</p></div>","PeriodicalId":50824,"journal":{"name":"Algorithmica","volume":"87 8","pages":"1199 - 1221"},"PeriodicalIF":0.7,"publicationDate":"2025-05-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00453-025-01318-8.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144861467","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":"Clustering What Matters in Constrained Settings","authors":"Ragesh Jaiswal,&nbsp;Amit Kumar","doi":"10.1007/s00453-025-01317-9","DOIUrl":"10.1007/s00453-025-01317-9","url":null,"abstract":"<div><p>Constrained clustering problems generalize classical clustering formulations, e.g., <span>(k)</span><span>-median</span>, <span>(k)</span><span>-means</span>, by imposing additional constraints on the feasibility of a clustering. There has been significant recent progress in obtaining approximation algorithms for these problems, both in the metric and the Euclidean settings. However, the outlier version of these problems, where the solution is allowed to leave out <i>m</i> points from the clustering, is not well understood. In this work, we give a general framework for reducing the outlier version of a constrained <span>(k)</span><span>-median</span> or <span>(k)</span><span>-means</span> problem to the corresponding outlier-free version with only <span>((1+varepsilon ))</span>-loss in the approximation ratio. The reduction is obtained by mapping the original instance of the problem to <span>(f(k,m, varepsilon ))</span> instances of the outlier-free version, where <span>(f(k, m, varepsilon ) = left( frac{k+m}{varepsilon }right) ^{O(m)})</span>. As specific applications, we get the following results:</p><ul>\u0000 <li>\u0000 <p>First FPT (<i>in the parameters k and m</i>) <span>((1+varepsilon ))</span>-approximation algorithm for the outlier version of capacitated <span>(k)</span><span>-median</span> and <span>(k)</span><span>-means</span> in Euclidean spaces with <i>hard</i> capacities.</p>\u0000 </li>\u0000 <li>\u0000 <p>First FPT (<i>in the parameters k and m</i>) <span>((3+varepsilon ))</span> and <span>((9+varepsilon ))</span> approximation algorithms for the outlier version of capacitated <span>(k)</span><span>-median</span> and <span>(k)</span><span>-means</span>, respectively, in general metric spaces with <i>hard</i> capacities.</p>\u0000 </li>\u0000 <li>\u0000 <p>First FPT (<i>in the parameters k and m</i>) <span>((2-delta ))</span>-approximation algorithm for the outlier version of the <span>(k)</span><span>-median</span> problem under the Ulam metric.</p>\u0000 </li>\u0000 </ul><p> Our work generalizes the results of Bhattacharya et al. and Agrawal et al. to a larger class of constrained clustering problems. Further, our reduction works for arbitrary metric spaces and so can extend clustering algorithms for outlier-free versions in both Euclidean and arbitrary metric spaces.</p></div>","PeriodicalId":50824,"journal":{"name":"Algorithmica","volume":"87 8","pages":"1178 - 1198"},"PeriodicalIF":0.7,"publicationDate":"2025-05-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00453-025-01317-9.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144861466","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":"Bandwidth Parameterized by Cluster Vertex Deletion Number","authors":"Tatsuya Gima,&nbsp;Eun Jung Kim,&nbsp;Noleen Köhler,&nbsp;Nikolaos Melissinos,&nbsp;Manolis Vasilakis","doi":"10.1007/s00453-025-01315-x","DOIUrl":"10.1007/s00453-025-01315-x","url":null,"abstract":"<div><p>Given a graph <i>G</i> and an integer <i>b</i>, <span>Bandwidth</span> asks whether there exists a bijection <span>(pi )</span> from <i>V</i>(<i>G</i>) to <span>({1, ldots , |V(G)|})</span> such that <span>(max _{{u, v } in E(G)} | pi (u) - pi (v) | le b)</span>. This is a classical NP-complete problem, known to remain NP-complete even on very restricted classes of graphs, such as trees of maximum degree 3 and caterpillars of hair length 3. In the realm of parameterized complexity, these results imply that the problem remains NP-hard on graphs of bounded pathwidth, while it is additionally known to be W[1]-hard when parameterized by the tree-depth of the input graph. In contrast, the problem does become FPT when parameterized by the vertex cover number. In this paper we make progress in understanding the parameterized (in)tractability of <span>Bandwidth</span>. We first show that it is FPT when parameterized by the cluster vertex deletion number cvd plus the clique number <span>(omega )</span>, thus significantly strengthening the previously mentioned result for vertex cover number. On the other hand, we show that <span>Bandwidth</span> is W[1]-hard when parameterized only by cvd. Our results develop and generalize some of the methods of argumentation of the previous results and narrow some of the complexity gaps.</p></div>","PeriodicalId":50824,"journal":{"name":"Algorithmica","volume":"87 8","pages":"1146 - 1177"},"PeriodicalIF":0.7,"publicationDate":"2025-05-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00453-025-01315-x.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144861424","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":"Editor’s Note: Special Issue on GECCO 2023","authors":"","doi":"10.1007/s00453-025-01319-7","DOIUrl":"10.1007/s00453-025-01319-7","url":null,"abstract":"","PeriodicalId":50824,"journal":{"name":"Algorithmica","volume":"87 8","pages":"1145 - 1145"},"PeriodicalIF":0.7,"publicationDate":"2025-05-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144861369","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":"Pareto Sums of Pareto Sets: Lower Bounds and Algorithms","authors":"Daniel Funke,&nbsp;Demian Hespe,&nbsp;Peter Sanders,&nbsp;Sabine Storandt,&nbsp;Carina Truschel","doi":"10.1007/s00453-025-01314-y","DOIUrl":"10.1007/s00453-025-01314-y","url":null,"abstract":"<div><p>In bi-criteria optimization problems, the goal is typically to compute the set of Pareto-optimal solutions. Many algorithms for these types of problems rely on efficient merging or combining of partial solutions and filtering of dominated solutions in the resulting sets. In this article, we consider the task of computing the Pareto sum of two given Pareto sets <i>A</i>, <i>B</i> of size <i>n</i>. The Pareto sum <i>C</i> contains all non-dominated points of the Minkowski sum <span>(M = {a+b|a in A, bin B})</span>. Since the Minkowski sum has a size of <span>(n^2)</span>, but the Pareto sum <i>C</i> can be much smaller, the goal is to compute <i>C</i> without having to compute and store all of <i>M</i>. We present several new algorithms for efficient Pareto sum computation, including an output-sensitive successive algorithm with a running time of <span>(mathcal {O}(n log n + nk))</span> and a space consumption of <span>(mathcal {O}(n+k))</span> for <span>(k=|C|)</span>. If the elements of <i>C</i> are streamed, the space consumption reduces to <span>(mathcal {O}(n))</span>. For output sizes <span>(k ge 2n)</span>, we prove a conditional lower bound for Pareto sum computation, which excludes running times in <span>(mathcal {O}(n^{2-delta }))</span> for <span>(delta &gt; 0)</span> unless the (min,+)-convolution hardness conjecture fails. The successive algorithm matches this lower bound for <span>(k in Theta (n))</span>. However, for <span>(k in Theta (n^2))</span>, the successive algorithm exhibits a cubic running time. But we also present an algorithm with an output-sensitive space consumption and a running time of <span>(mathcal {O}(n^2 log n))</span>, which matches the lower bound up to a logarithmic factor even for large <i>k</i>. Furthermore, we describe suitable engineering techniques to improve the practical running times of our algorithms. Finally, we provide an extensive comparative experimental study on generated and real-world data. As a showcase application, we consider preprocessing-based bi-criteria route planning in road networks. Pareto sum computation is the bottleneck task in the preprocessing phase and in the query phase. We show that using our algorithms with an output-sensitive space consumption allows to tackle larger instances and reduces the preprocessing and query time compared to algorithms that fully store <i>M</i>.</p></div>","PeriodicalId":50824,"journal":{"name":"Algorithmica","volume":"87 8","pages":"1111 - 1144"},"PeriodicalIF":0.7,"publicationDate":"2025-04-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00453-025-01314-y.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144861416","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":"Runtime Analysis with Variable Cost","authors":"Per Kristian Lehre,&nbsp;Andrew M. Sutton","doi":"10.1007/s00453-025-01307-x","DOIUrl":"10.1007/s00453-025-01307-x","url":null,"abstract":"<div><p>The usual approach in runtime analysis is to derive estimates on the number of fitness function evaluations required by a method until a suitable element of the search space is found. One justification for this is that in real applications, fitness evaluation often contributes the most computational effort. A tacit assumption in this approach is that this effort is uniform and static across the search space. However, this assumption often does not hold in practice: some candidates may be far more expensive to evaluate than others. This might occur, for example, when fitness evaluation requires running a simulation or training a machine learning model. Despite the availability of a wide range of benchmark functions coupled with various runtime performance guarantees, the runtime analysis community currently lacks a solid perspective of handling variable fitness cost. Our goal with this paper is to argue for incorporating this perspective into our theoretical toolbox. We introduce two models of handling variable cost: a simple non-adaptive model together with a more general adaptive model. We prove cost bounds in these scenarios and discuss the implications for taking into account costly regions in the search space.</p></div>","PeriodicalId":50824,"journal":{"name":"Algorithmica","volume":"87 7","pages":"1081 - 1110"},"PeriodicalIF":0.7,"publicationDate":"2025-04-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00453-025-01307-x.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145144157","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":"The Tight Spanning Ratio of the Rectangle Delaunay Triangulation","authors":"André van Renssen,&nbsp;Yuan Sha,&nbsp;Yucheng Sun,&nbsp;Sampson Wong","doi":"10.1007/s00453-025-01308-w","DOIUrl":"10.1007/s00453-025-01308-w","url":null,"abstract":"<div><p>Spanner construction is a well-studied problem and Delaunay triangulations are among the most popular spanners. Tight bounds are known if the Delaunay triangulation is constructed using an equilateral triangle, a square, or a regular hexagon. However, all other shapes have remained elusive. In this paper, we extend the restricted class of spanners for which tight bounds are known. We prove that Delaunay triangulations constructed using rectangles with aspect ratio <span>(A)</span> have spanning ratio at most <span>(sqrt{2} sqrt{1+A^2 + Asqrt{A^2 + 1}})</span>, which matches the known lower bound.</p></div>","PeriodicalId":50824,"journal":{"name":"Algorithmica","volume":"87 7","pages":"1060 - 1080"},"PeriodicalIF":0.7,"publicationDate":"2025-04-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00453-025-01308-w.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145143678","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":"Reconfiguration of the Union of Arborescences","authors":"Yusuke Kobayashi,&nbsp;Ryoga Mahara,&nbsp;Tamás Schwarcz","doi":"10.1007/s00453-025-01310-2","DOIUrl":"10.1007/s00453-025-01310-2","url":null,"abstract":"<div><p>An arborescence in a digraph is an acyclic arc subset in which every vertex except a root has exactly one incoming arc. In this paper, we show the reconfigurability of the union of <i>k</i> arborescences for fixed <i>k</i> in the following sense: for any pair of arc subsets that can be partitioned into <i>k</i> arborescences, one can be transformed into the other by exchanging arcs one by one so that every intermediate arc subset can also be partitioned into <i>k</i> arborescences. This generalizes the result by Ito et al. (2023), who showed the case with <span>(k=1)</span>. Since the union of <i>k</i> arborescences can be represented as a common matroid basis of two matroids, our result gives a new non-trivial example of matroid pairs for which two common bases are always reconfigurable to each other.</p></div>","PeriodicalId":50824,"journal":{"name":"Algorithmica","volume":"87 7","pages":"1040 - 1059"},"PeriodicalIF":0.7,"publicationDate":"2025-04-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145143149","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":"Improved Smoothed Analysis of 2-Opt for the Euclidean TSP","authors":"Bodo Manthey,&nbsp;Jesse van Rhijn","doi":"10.1007/s00453-025-01309-9","DOIUrl":"10.1007/s00453-025-01309-9","url":null,"abstract":"<div><p>The 2-opt heuristic is a simple local search heuristic for the travelling salesperson problem (TSP). Although it usually performs well in practice, its worst-case running time is exponential in the number of cities. Attempts to reconcile this difference between practice and theory have used smoothed analysis, in which adversarial instances are perturbed probabilistically. We are interested in the classical model of smoothed analysis for the Euclidean TSP, in which the perturbations are Gaussian. This model was previously used by Manthey and Veenstra, who obtained smoothed complexity bounds polynomial in <i>n</i>, the dimension <i>d</i>, and the perturbation strength <span>(sigma ^{-1})</span>. However, their analysis only works for <span>(d ge 4)</span>. The only previous analysis for <span>(d le 3)</span> was performed by Englert, Röglin and Vöcking, who used a different perturbation model which can be translated to Gaussian perturbations. Their model yields bounds polynomial in <i>n</i> and <span>(sigma ^{-d})</span>, and super-exponential in <i>d</i>. As the fact that no direct analysis exists for Gaussian perturbations that yields polynomial bounds for all <i>d</i> is somewhat unsatisfactory, we perform this missing analysis. Along the way, we improve all existing smoothed complexity bounds for Euclidean 2-opt with Gaussian perturbations.</p></div>","PeriodicalId":50824,"journal":{"name":"Algorithmica","volume":"87 7","pages":"1008 - 1039"},"PeriodicalIF":0.7,"publicationDate":"2025-04-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC12334457/pdf/","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144818122","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":"Linear-Time MaxCut in Multigraphs Parameterized Above the Poljak-Turzík Bound","authors":"Jonas Lill,&nbsp;Kalina Petrova,&nbsp;Simon Weber","doi":"10.1007/s00453-025-01306-y","DOIUrl":"10.1007/s00453-025-01306-y","url":null,"abstract":"<div><p><span>MaxCut</span> is a classical <span>(textsf{NP})</span>-complete problem and a crucial building block in many combinatorial algorithms. The famous <i>Edwards-Erdös bound</i> states that any connected graph on <i>n</i> vertices with <i>m</i> edges contains a cut of size at least <span>(frac{m}{2}+frac{n-1}{4})</span>. Crowston, Jones and Mnich [Algorithmica, 2015] showed that the <span>MaxCut</span> problem on simple connected graphs admits an FPT algorithm, where the parameter <i>k</i> is the difference between the desired cut size <i>c</i> and the lower bound given by the Edwards-Erdös bound. This was later improved by Etscheid and Mnich [Algorithmica, 2017] to run in parameterized linear time, i.e., <span>(f(k)cdot O(m))</span>. We improve upon this result in two ways: Firstly, we extend the algorithm to work also for <i>multigraphs</i> (alternatively, graphs with positive integer weights). Secondly, we change the parameter; instead of the difference to the Edwards-Erdös bound, we use the difference to the <i>Poljak-Turzík bound</i>. The Poljak-Turzík bound states that any weighted graph <i>G</i> has a cut of weight at least <span>(frac{w(G)}{2}+frac{w_{MSF}(G)}{4})</span>, where <i>w</i>(<i>G</i>) denotes the total weight of <i>G</i>, and <span>(w_{MSF}(G))</span> denotes the weight of its minimum spanning forest. In connected simple graphs the two bounds are equivalent, but for multigraphs the Poljak-Turzík bound can be larger and thus yield a smaller parameter <i>k</i>. Our algorithm also runs in parameterized linear time, i.e., <span>(f(k)cdot O(m+n))</span>.</p></div>","PeriodicalId":50824,"journal":{"name":"Algorithmica","volume":"87 7","pages":"983 - 1007"},"PeriodicalIF":0.7,"publicationDate":"2025-04-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC12334541/pdf/","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144818123","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}