{"title":"Enumerating Graphlets with Amortized Time Complexity Independent of Graph Size","authors":"Alessio Conte, Roberto Grossi, Yasuaki Kobayashi, Kazuhiro Kurita, Davide Rucci, Takeaki Uno, Kunihiro Wasa","doi":"10.1007/s00453-025-01312-0","DOIUrl":"10.1007/s00453-025-01312-0","url":null,"abstract":"<div><p>Graphlets of order <i>k</i> in a graph <i>G</i> are connected subgraphs induced by <i>k</i> nodes (called <i>k</i>-graphlets) or by <i>k</i> edges (called edge <i>k</i>-graphlets). They are among the interesting subgraphs in network analysis to get insights on both the local and global structure of a network. While several algorithms exist for discovering and enumerating graphlets, the amortized time complexity of such algorithms typically depends on the size of the graph <i>G</i>, or its maximum degree. In real networks, even the latter can be in the order of millions, whereas <i>k</i> is typically required to be a small value. In this paper we provide the first algorithm to list all graphlets of order <i>k</i> in a graph <span>(G=(V,E))</span> with an amortized time complexity depending <i>solely</i> on the order <i>k</i>, contrarily to previous approaches where the cost depends <i>also</i> on the size of <i>G</i> or its maximum degree. Specifically, we show that it is possible to list <i>k</i>-graphlets in <span>(O(k^2))</span> time per solution, and to list edge <i>k</i>-graphlets in <i>O</i>(<i>k</i>) time per solution. Furthermore we show that, if the input graph has bounded degree, then the amortized time for listing <i>k</i>-graphlets is reduced to <i>O</i>(<i>k</i>). Whenever <span>(k = O(1))</span>, as it is often the case in practical settings, these algorithms are the first to achieve constant time per solution.</p></div>","PeriodicalId":50824,"journal":{"name":"Algorithmica","volume":"87 9","pages":"1247 - 1273"},"PeriodicalIF":0.7,"publicationDate":"2025-05-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00453-025-01312-0.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144891518","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 : 2025-05-09DOI: 10.1007/s00453-025-01316-w
Cléophée Robin, Eileen Robinson
{"title":"Coloring Bridge-Free Antiprismatic Graphs","authors":"Cléophée Robin, Eileen Robinson","doi":"10.1007/s00453-025-01316-w","DOIUrl":"10.1007/s00453-025-01316-w","url":null,"abstract":"<div><p>The coloring problem is a well-researched topic and its complexity is known for several classes of graphs. However, the question of its complexity remains open for the class of antiprismatic graphs, which are the complement of prismatic graphs and one of the four remaining cases highlighted by Lozin and Malishev. In this article we focus on the equivalent question of the complexity of the clique cover problem in prismatic graphs. A graph <i>G</i> is <i>prismatic</i> if for every triangle <i>T</i> of <i>G</i>, every vertex of <i>G</i> not in <i>T</i> has a unique neighbor in <i>T</i>. A graph is <i>co-bridge-free</i> if it has no <span>(C_4+2K_1)</span> as induced subgraph. We give a polynomial time algorithm that solves the clique cover problem in co-bridge-free prismatic graphs. It relies on the structural description given by Chudnovsky and Seymour, and on later work of Preissmann, Robin and Trotignon. We show that co-bridge-free prismatic graphs have a bounded number of disjoint triangles and that implies that the algorithm presented by Preissmann et al. applies.</p></div>","PeriodicalId":50824,"journal":{"name":"Algorithmica","volume":"87 9","pages":"1223 - 1246"},"PeriodicalIF":0.7,"publicationDate":"2025-05-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144891474","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 : 2025-05-08DOI: 10.1007/s00453-025-01318-8
Carl Feghali, Felicia Lucke, Daniël Paulusma, Bernard Ries
{"title":"Matching Cuts in Graphs of High Girth and H-Free Graphs","authors":"Carl Feghali, Felicia Lucke, Daniël Paulusma, 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}
AlgorithmicaPub Date : 2025-05-08DOI: 10.1007/s00453-025-01317-9
Ragesh Jaiswal, Amit Kumar
{"title":"Clustering What Matters in Constrained Settings","authors":"Ragesh Jaiswal, 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, Eun Jung Kim, Noleen Köhler, Nikolaos Melissinos, 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}
AlgorithmicaPub Date : 2025-04-28DOI: 10.1007/s00453-025-01314-y
Daniel Funke, Demian Hespe, Peter Sanders, Sabine Storandt, Carina Truschel
{"title":"Pareto Sums of Pareto Sets: Lower Bounds and Algorithms","authors":"Daniel Funke, Demian Hespe, Peter Sanders, Sabine Storandt, 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 > 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}
AlgorithmicaPub Date : 2025-04-18DOI: 10.1007/s00453-025-01307-x
Per Kristian Lehre, Andrew M. Sutton
{"title":"Runtime Analysis with Variable Cost","authors":"Per Kristian Lehre, 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}
AlgorithmicaPub Date : 2025-04-16DOI: 10.1007/s00453-025-01308-w
André van Renssen, Yuan Sha, Yucheng Sun, Sampson Wong
{"title":"The Tight Spanning Ratio of the Rectangle Delaunay Triangulation","authors":"André van Renssen, Yuan Sha, Yucheng Sun, 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}
AlgorithmicaPub Date : 2025-04-11DOI: 10.1007/s00453-025-01310-2
Yusuke Kobayashi, Ryoga Mahara, Tamás Schwarcz
{"title":"Reconfiguration of the Union of Arborescences","authors":"Yusuke Kobayashi, Ryoga Mahara, 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}