Algorithmica最新文献

筛选
英文 中文
Nearly Tight Spectral Sparsification of Directed Hypergraphs by a Simple Iterative Sampling Algorithm 基于简单迭代采样算法的有向超图近紧谱稀疏化
IF 1 4区 计算机科学
Algorithmica Pub Date : 2026-10-16 DOI: 10.1007/s00453-026-01408-1
Kazusato Oko, Shinsaku Sakaue, Shin-ichi Tanigawa
{"title":"Nearly Tight Spectral Sparsification of Directed Hypergraphs by a Simple Iterative Sampling Algorithm","authors":"Kazusato Oko,&nbsp;Shinsaku Sakaue,&nbsp;Shin-ichi Tanigawa","doi":"10.1007/s00453-026-01408-1","DOIUrl":"10.1007/s00453-026-01408-1","url":null,"abstract":"<div><p>Spectral hypergraph sparsification, an attempt to extend well-known spectral graph sparsification to hypergraphs, has been extensively studied over the past few years. For undirected hypergraphs, Kapralov, Krauthgamer, Tardos, and Yoshida (2022) have proved an <span>(varepsilon )</span>-spectral sparsifier of the optimal <span>(O^*(n))</span> size, where <i>n</i> is the number of vertices and <span>(O^*)</span> suppresses the <span>(varepsilon ^{-1})</span> and <span>(log n)</span> factors. For directed hypergraphs, however, the optimal sparsifier size has not been known. Our main contribution is the first algorithm that constructs an <span>(O^*(n^2))</span>-size <span>(varepsilon )</span>-spectral sparsifier for a weighted directed hypergraph. Our result is optimal up to the <span>(varepsilon ^{-1})</span> and <span>(log n)</span> factors since there is a lower bound of <span>(Omega (n^2))</span> even for directed graphs. We also show the first non-trivial lower bound of <span>(Omega (n^2/varepsilon ))</span> for general directed hypergraphs. The basic idea of our algorithm is borrowed from the spanner-based sparsification for ordinary graphs by Koutis and Xu [30]. Their iterative sampling approach is indeed useful for designing sparsification algorithms in various circumstances. To demonstrate this, we also present a similar iterative sampling algorithm for undirected hypergraphs that attains one of the best size bounds, enjoys parallel implementation, and can be transformed to be fault-tolerant.</p></div>","PeriodicalId":50824,"journal":{"name":"Algorithmica","volume":"88 6","pages":""},"PeriodicalIF":1.0,"publicationDate":"2026-10-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"149189517","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
Maximum List r-Colorable Induced Subgraphs in (kP_3)-Free Graphs (kP_3) free图中的最大列表r-可着色诱导子图
IF 1 4区 计算机科学
Algorithmica Pub Date : 2026-10-05 DOI: 10.1007/s00453-026-01410-7
Esther Galby, Paloma T. Lima, Andrea Munaro, Amir Nikabadi
{"title":"Maximum List r-Colorable Induced Subgraphs in (kP_3)-Free Graphs","authors":"Esther Galby,&nbsp;Paloma T. Lima,&nbsp;Andrea Munaro,&nbsp;Amir Nikabadi","doi":"10.1007/s00453-026-01410-7","DOIUrl":"10.1007/s00453-026-01410-7","url":null,"abstract":"<div><p>We show that, for every fixed positive integers <i>r</i> and <i>k</i>, <span>Max-Weight List</span> <i>r</i><span>-Colorable Induced Subgraph</span> admits a polynomial-time algorithm on <span>(kP_3)</span>-free graphs. This problem is a common generalization of <span>Max-Weight Independent Set</span>, <span>Odd Cycle Transversal</span> and <span>List</span> <i>r</i><span>-Coloring</span>, among others. Our result has several consequences. First, it implies that, for every fixed <span>(r ge 5)</span>, assuming <span>(textsf{P}ne textsf{NP})</span>, <span>Max-Weight List</span> <i>r</i><span>-Colorable Induced Subgraph</span> is polynomial-time solvable on <i>H</i>-free graphs if and only if <i>H</i> is an induced subgraph of either <span>(kP_3)</span> or <span>(P_5+kP_1)</span>, for some <span>(k ge 1)</span>. Second, it makes considerable progress toward a complexity dichotomy for <span>Odd Cycle Transversal</span> on <i>H</i>-free graphs, allowing to answer a question of Agrawal, Lima, Lokshtanov, Rzążewski, Saurabh, and Sharma [ACM Trans. Algorithms 2025]. Third, it gives a short and self-contained proof of the known result of Chudnovsky, Hajebi, and Spirkl [Combinatorica 2024] that <span>List</span> <i>r</i><span>-Coloring</span> on <span>(kP_3)</span>-free graphs is polynomial-time solvable for every fixed <i>r</i> and <i>k</i>. We also consider two natural distance-<i>d</i> generalizations of <span>Max-Weight Independent Set</span> and <span>List</span> <i>r</i><span>-Coloring</span> and provide polynomial-time algorithms on <span>(kP_3)</span>-free graphs for every fixed integers <i>r</i>, <i>k</i>, and <span>(d ge 6)</span>.\u0000</p></div>","PeriodicalId":50824,"journal":{"name":"Algorithmica","volume":"88 6","pages":""},"PeriodicalIF":1.0,"publicationDate":"2026-10-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"149132308","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
Edge Multiway Cut and Node Multiway Cut are Hard for Planar Subcubic Graphs 边多路切割和节点多路切割是平面次三次图的难点
IF 1 4区 计算机科学
Algorithmica Pub Date : 2026-10-03 DOI: 10.1007/s00453-026-01412-5
Matthew Johnson, Barnaby Martin, Sukanya Pandey, Daniël Paulusma, Siani Smith, Erik Jan van Leeuwen
{"title":"Edge Multiway Cut and Node Multiway Cut are Hard for Planar Subcubic Graphs","authors":"Matthew Johnson,&nbsp;Barnaby Martin,&nbsp;Sukanya Pandey,&nbsp;Daniël Paulusma,&nbsp;Siani Smith,&nbsp;Erik Jan van Leeuwen","doi":"10.1007/s00453-026-01412-5","DOIUrl":"10.1007/s00453-026-01412-5","url":null,"abstract":"<div><p>It is known that the weighted version of <span>Edge Multiway Cut</span> (also known as <span>Multiterminal Cut</span>) is <span>NP</span>-complete on planar graphs of maximum degree 3. In contrast, for the unweighted version, <span>NP</span>-completeness is only known for planar graphs of maximum degree 11. In fact, the complexity of unweighted <span>Edge Multiway Cut</span> was open for graphs of maximum degree 3 for over twenty years. We prove that the unweighted version is <span>NP</span>-complete even for planar graphs of maximum degree 3. As weighted <span>Edge Multiway Cut</span> is polynomial-time solvable for graphs of maximum degree at most 2, we have now closed the complexity gap. We also prove that (unweighted) <span>Node Multiway Cut</span> (both with and without deletable terminals) is <span>NP</span>-complete for planar graphs of maximum degree 3. By combining our results with known results, we can apply two meta-classifications on graph containment from the literature. This yields full dichotomies for all three problems on <span>(mathcal{H})</span>-topological-minor-free graphs and, should <span>(mathcal{H})</span> be finite, on <span>(mathcal{H})</span>-subgraph-free graphs as well. Previously, such dichotomies were only implied for <span>(mathcal{H})</span>-minor-free graphs.</p></div>","PeriodicalId":50824,"journal":{"name":"Algorithmica","volume":"88 6","pages":""},"PeriodicalIF":1.0,"publicationDate":"2026-10-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00453-026-01412-5.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"149132288","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
Approximating Unrelated Machine Weighted Completion Time Using Iterative Rounding and Computer Assisted Proofs 用迭代舍入和计算机辅助证明逼近不相关机器加权完成时间
IF 1 4区 计算机科学
Algorithmica Pub Date : 2026-10-03 DOI: 10.1007/s00453-026-01411-6
Shi Li
{"title":"Approximating Unrelated Machine Weighted Completion Time Using Iterative Rounding and Computer Assisted Proofs","authors":"Shi Li","doi":"10.1007/s00453-026-01411-6","DOIUrl":"10.1007/s00453-026-01411-6","url":null,"abstract":"<div><p>We revisit the unrelated machine scheduling problem with the weighted completion time objective. It is known that independent rounding achieves a 1.5 approximation for the problem, and many prior algorithms improve upon this ratio by leveraging strong negative correlation schemes. On each machine <i>i</i>, these schemes introduce strong negative correlation between events that some pairs of jobs are assigned to <i>i</i>, while maintaining non-positive correlation for all pairs. Our algorithm deviates from this methodology by relaxing the pairwise non-positive correlation requirement. On each machine <i>i</i>, we identify many groups of jobs. For a job <i>j</i> and a group <i>B</i> not containing <i>j</i>, we only enforce non-positive correlation between <i>j</i> and the group as a whole, allowing <i>j</i> to be positively-correlated with individual jobs in <i>B</i>. This relaxation suffices to maintain the 1.5-approximation, while enabling us to obtain a much stronger negative correlation within groups using an iterative rounding procedure: at most one job from each group is scheduled on <i>i</i>. We prove that the algorithm achieves a 1.36-approximation, improving upon the previous best approximation ratio of 1.4 due to Harris. While the improvement may not be substantial, the significance of our contribution lies in the relaxed non-positive correlation condition and the iterative rounding framework. Due to the simplicity of our algorithm, we are able to derive a closed form for the weighted completion time our algorithm achieves with a clean analysis. Unfortunately, we could not provide a good analytical analysis for the quantity; instead, we rely on a computer assisted proof. Nevertheless, the checking algorithm for the analysis is easy to implement, essentially involving evaluation of maximum values of single-variable quadratic functions over given intervals. Therefore, unlike previous results which use intricate analysis to optimize the final approximation ratio, we delegate this task to computer programs.\u0000</p></div>","PeriodicalId":50824,"journal":{"name":"Algorithmica","volume":"88 6","pages":""},"PeriodicalIF":1.0,"publicationDate":"2026-10-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"149132289","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
New Tradeoffs for Decremental Approximate All-Pairs Shortest Paths 递减逼近全对最短路径的新权衡
IF 1 4区 计算机科学
Algorithmica Pub Date : 2026-09-28 DOI: 10.1007/s00453-026-01407-2
Michal Dory, Sebastian Forster, Yasamin Nazari, Tijn de Vos
{"title":"New Tradeoffs for Decremental Approximate All-Pairs Shortest Paths","authors":"Michal Dory,&nbsp;Sebastian Forster,&nbsp;Yasamin Nazari,&nbsp;Tijn de Vos","doi":"10.1007/s00453-026-01407-2","DOIUrl":"10.1007/s00453-026-01407-2","url":null,"abstract":"<div><p>We provide new tradeoffs between approximation and running time for the decremental all-pairs shortest paths (APSP) problem. For undirected graphs with <i>m</i> edges and <i>n</i> nodes undergoing edge deletions, we provide four new approximate decremental APSP algorithms, two for weighted and two for unweighted graphs. Our first result is <span>((2+ epsilon ))</span>-APSP with total update time <span>(tilde{O}(m^{1/2}n^{3/2}))</span> (when <span>(m= n^{1+c})</span> for any constant <span>(0&lt;c&lt;1)</span>). Our second result is <span>((2+epsilon , W_{u,v}))</span>-APSP with total update time <span>(tilde{O}(nm^{3/4}))</span>, where the second term is an additive stretch with respect to <span>(W_{u,v})</span>, the maximum weight on the current shortest path from <i>u</i> to <i>v</i>. Prior to our work the fastest algorithm for weighted graphs with approximation at most 3 had total <span>(tilde{O}(mn))</span> update time for <span>((1+epsilon ))</span>-APSP (Bernstein [11], SICOMP 2016). Our third result is <span>((2+ epsilon ))</span>-APSP for unweighted graphs in <span>(tilde{O}(m^{7/4}))</span> update time, which for sparse graphs (<span>(m=o(n^{8/7}))</span>) is the first subquadratic <span>((2+epsilon ))</span>-approximation. Our last result for unweighted graphs is <span>((1+epsilon , 2(k-1)))</span>-APSP, for <span>(k ge 2 )</span>, with <span>(tilde{O}(n^{2-1/k}m^{1/k}))</span> total update time. For comparison, in the special case of <span>((1+epsilon , 2))</span>-approximation, this improves over the state-of-the-art algorithm by Henzinger et al. [2], SICOMP 2016 with total update time of <span>(tilde{O}(n^{2.5}))</span>. All of our results are randomized, work against an oblivious adversary, and have constant query time. \u0000</p></div>","PeriodicalId":50824,"journal":{"name":"Algorithmica","volume":"88 6","pages":""},"PeriodicalIF":1.0,"publicationDate":"2026-09-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00453-026-01407-2.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"149068012","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
Couples can be Tractable: New Algorithms and Hardness Results for the Hospitals/Residents Problem with Couples 夫妻可以是可处理的:医院/居民夫妻问题的新算法和硬度结果。
IF 1 4区 计算机科学
Algorithmica Pub Date : 2026-09-14 DOI: 10.1007/s00453-026-01405-4
Gergely Csáji, David Manlove, Iain McBride, James Trimble
{"title":"Couples can be Tractable: New Algorithms and Hardness Results for the Hospitals/Residents Problem with Couples","authors":"Gergely Csáji,&nbsp;David Manlove,&nbsp;Iain McBride,&nbsp;James Trimble","doi":"10.1007/s00453-026-01405-4","DOIUrl":"10.1007/s00453-026-01405-4","url":null,"abstract":"<div><p>We study the <span>Hospitals/Residents problem with Couples</span> (<span>hrc</span>), where a solution is a stable matching or a report that none exists. We present a novel polynomial-time algorithm that can find a near-feasible stable matching, where hospitals’ capacities are adjusted by at most 1, in an <span>hrc</span> instance where the couples’ preferences are sub-responsive (i.e., if one member switches to a better hospital, then the couple also improves) and sub-complete (i.e., each pair of hospitals that are individually acceptable to both members are jointly acceptable for the couple) by reducing it to an instance of the <span>Stable Fixtures</span> problem. We further present a polynomial-time algorithm for <span>hrc</span> in a sub-responsive, sub-complete instance that is a Dual Market, or where all couples are one of several possible types. We show that our algorithm also implies the polynomial-time solvability of a stable b-matching problem, where the underlying graph is a multigraph with loops. We complement our algorithms with several hardness results. We show that <span>hrc</span> with sub-responsive and sub-complete couples is NP-hard, even with other strong restrictions. We further show that <span>hrc</span> with a Dual Market is NP-hard under several simultaneous restrictions. Finally, we show that the problem of finding a matching with the minimum number of blocking pairs in <span>hrc</span> is not approximable within <span>(m^{1-varepsilon })</span>, for any <span>(varepsilon &gt;0)</span>, where <i>m</i> is the total length of the hospitals’ preference lists, unless P=NP, even if each couple applies to only one pair of hospitals. Our polynomial-time solvability results greatly expand the class of known tractable instances of <span>hrc</span> and provide a useful tool for designing better and more efficient mechanisms in the future.\u0000</p></div>","PeriodicalId":50824,"journal":{"name":"Algorithmica","volume":"88 5","pages":""},"PeriodicalIF":1.0,"publicationDate":"2026-09-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC13574906/pdf/","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"148977985","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
String problems in the congested clique model 拥塞团模型中的弦问题
IF 1 4区 计算机科学
Algorithmica Pub Date : 2026-09-03 DOI: 10.1007/s00453-026-01406-3
Shay Golan, Matan Kraus
{"title":"String problems in the congested clique model","authors":"Shay Golan,&nbsp;Matan Kraus","doi":"10.1007/s00453-026-01406-3","DOIUrl":"10.1007/s00453-026-01406-3","url":null,"abstract":"<div><p>In this paper we present algorithms for several string problems in the <span>Congested Clique</span> model. In the <span>Congested Clique</span> model, <i>n</i> nodes (computers) are used to solve some problem. The input to the problem is distributed among the nodes, and the communication between the nodes is conducted in <i>rounds</i>. In each round, every node is allowed to send an <span>(O(log n))</span>-bit message to every other node in the network. We consider three fundamental string problems in the <span>Congested Clique</span> model. First, we present an <i>O</i>(1)-round algorithm for string sorting. Second, we present an <i>O</i>(1)-round combinatorial pattern matching algorithm. Finally, we present an <span>(O(log log n))</span>-round algorithm for the computation of the Suffix Array and the corresponding Longest Common Prefix array of a given string. To obtain these algorithms, we develop a sorting procedure for large keys of polynomial size, extending the prior sorting algorithm of Lenzen [PODC’13], which handles only <span>(O(log n))</span>-bit keys. This new procedure may be of independent interest.</p></div>","PeriodicalId":50824,"journal":{"name":"Algorithmica","volume":"88 5","pages":""},"PeriodicalIF":1.0,"publicationDate":"2026-09-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"148926645","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
Graph and String Parameters: Connections Between Pathwidth, Cutwidth and the Locality Number 图和字符串参数:路径宽度、切线宽度和局部性数之间的联系
IF 1 4区 计算机科学
Algorithmica Pub Date : 2026-08-24 DOI: 10.1007/s00453-026-01404-5
Katrin Casel, Joel D. Day, Pamela Fleischmann, Tomasz Kociumaka, Florin Manea, Markus L. Schmid
{"title":"Graph and String Parameters: Connections Between Pathwidth, Cutwidth and the Locality Number","authors":"Katrin Casel,&nbsp;Joel D. Day,&nbsp;Pamela Fleischmann,&nbsp;Tomasz Kociumaka,&nbsp;Florin Manea,&nbsp;Markus L. Schmid","doi":"10.1007/s00453-026-01404-5","DOIUrl":"10.1007/s00453-026-01404-5","url":null,"abstract":"<div><p>We investigate the locality number, a recently introduced structural parameter for strings (with applications in pattern matching with variables), and its connection to two important graph-parameters, cutwidth and pathwidth. These connections allow us to show that computing the locality number is <span>(textsf {NP})</span>-hard, but fixed-parameter tractable, if parameterised by the locality number or by the alphabet size, which has been formulated as open problems in the literature. Moreover, the locality number can be approximated with ratio <span>({{,textrm{O},}}(sqrt{log ({{,mathrm{textsf {opt}},}})} log (n)))</span>. An important aspect of our work – that is relevant in its own right and of independent interest – is that we identify connections between the string parameter of the locality number on the one hand, and the famous graph parameters of cutwidth and pathwidth, on the other hand. These two parameters have been jointly investigated in the literature and are arguably among the most central graph parameters that are based on “linearisations” of graphs. In this way, we also identify a direct approximation preserving reduction from cutwidth to pathwidth, which shows that any polynomial <span>(f({{,mathrm{textsf {opt}},}},|V|))</span>-approximation algorithm for pathwidth yields a polynomial <span>(2f(2{{,mathrm{textsf {opt}},}},h))</span>-approximation algorithm for cutwidth on multigraphs (where <i>h</i> is the number of edges). In particular, this translates known approximation ratios for pathwidth into new approximation ratios for cutwidth, namely <span>({{,textrm{O},}}(sqrt{log ({{,mathrm{textsf {opt}},}})} log (h)))</span> and <span>({{,textrm{O},}}(sqrt{log ({{,mathrm{textsf {opt}},}})} {{,mathrm{textsf {opt}},}}))</span> for (multi) graphs with <i>h</i> edges.</p></div>","PeriodicalId":50824,"journal":{"name":"Algorithmica","volume":"88 5","pages":""},"PeriodicalIF":1.0,"publicationDate":"2026-08-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00453-026-01404-5.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"148837572","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
Why Dominance is Not Enough: Lessons from Practical Evolutionary Multi-objective Algorithms 为什么优势是不够的:来自实用进化多目标算法的教训
IF 1 4区 计算机科学
Algorithmica Pub Date : 2026-08-20 DOI: 10.1007/s00453-026-01403-6
Duc-Cuong Dang, Andre Opris, Dirk Sudholt
{"title":"Why Dominance is Not Enough: Lessons from Practical Evolutionary Multi-objective Algorithms","authors":"Duc-Cuong Dang,&nbsp;Andre Opris,&nbsp;Dirk Sudholt","doi":"10.1007/s00453-026-01403-6","DOIUrl":"10.1007/s00453-026-01403-6","url":null,"abstract":"<div><p>Practical evolutionary multi-objective (EMO) algorithms like NSGA-II, NSGA-III, and SMS-EMOA combine the dominance relation with diversity criteria to identify promising solutions. Despite many success stories, their theoretical foundation remains underdeveloped, with key questions still unanswered–such as which information obtained during evolution is critical for their success. In this work, we explore the limitations of the information provided by the dominance relation between search points encountered so far. We present a large class of bi-objective problems whose Pareto-optimal set is small, while almost all pairs of search points are incomparable. On such problems, we prove that any black-box EMO algorithm that only relies on the dominance relation for making decisions fails spectacularly, requiring exponential time with high probability. In stark contrast, NSGA-II, NSGA-III, and SMS-EMOA efficiently cover the Pareto front in at most expected quadratic time by incorporating additional information from the objective values, such as crowding distances or hypervolume contributions of search points. Experiments conducted on randomly generated problems complement our theoretical findings. Our results highlight the superiority of practical EMO algorithms and the necessity of using information beyond dominance for effective multi-objective optimisation.</p></div>","PeriodicalId":50824,"journal":{"name":"Algorithmica","volume":"88 5","pages":""},"PeriodicalIF":1.0,"publicationDate":"2026-08-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00453-026-01403-6.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"148783094","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
Approximate Monotone Local Search for Weighted Problems 加权问题的近似单调局部搜索
IF 1 4区 计算机科学
Algorithmica Pub Date : 2026-08-18 DOI: 10.1007/s00453-026-01402-7
Barış Can Esmer, Ariel Kulik, Dániel Marx, Daniel Neuen, Roohani Sharma
{"title":"Approximate Monotone Local Search for Weighted Problems","authors":"Barış Can Esmer,&nbsp;Ariel Kulik,&nbsp;Dániel Marx,&nbsp;Daniel Neuen,&nbsp;Roohani Sharma","doi":"10.1007/s00453-026-01402-7","DOIUrl":"10.1007/s00453-026-01402-7","url":null,"abstract":"<div><p>In a recent work, Esmer et al. describe a simple method – approximate monotone local search – to obtain exponential approximation algorithms from existing parameterized exact algorithms, polynomial-time approximation algorithms and, more generally, parameterized approximation algorithms. In this work, we generalize those results to the weighted setting. More formally, we consider monotone subset minimization problems over a weighted universe of size <i>n</i> (e.g., <span>Vertex Cover</span>, <i>d</i><span>-Hitting Set</span> and <span>Feedback Vertex Set</span>). We consider a model where the algorithm is only given access to a subroutine that finds a solution of weight at most <span>(alpha cdot W)</span> (and of arbitrary cardinality) in time <span>(c^k cdot n^{mathcal {O}(1)})</span> where <i>W</i> is the minimum weight of a solution of cardinality at most <i>k</i>. In the unweighted setting, Esmer et al. determine the smallest value <i>d</i> for which a <span>(beta )</span>-approximation algorithm running in time <span>(d^{n + o(n)})</span> can be obtained in this model. We show that the same dependencies also hold in a weighted setting in this model: we obtain a <span>(beta )</span>-approximation algorithm running in time <span>(d^{n + o(n)})</span>, for the same <i>d</i> as in the unweighted setting. Similarly, we also extend a <span>(beta )</span>-approximate brute-force search (in a model which only provides access to a membership oracle) to the weighted setting. Using existing approximation algorithms and exact parameterized algorithms for weighted problems, we obtain the first exponential-time <span>(beta )</span>-approximation algorithms that are better than brute force for a variety of problems including <span>Weighted Vertex Cover</span>, <span>Weighted</span> <i>d</i><span>-Hitting Set</span>, <span>Weighted Feedback Vertex Set</span> and <span>Weighted Multicut</span>.</p></div>","PeriodicalId":50824,"journal":{"name":"Algorithmica","volume":"88 5","pages":""},"PeriodicalIF":1.0,"publicationDate":"2026-08-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00453-026-01402-7.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"148752410","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
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:604180095
Book学术官方微信
小红书