{"title":"Online Metric Matching on the Line with Recourse","authors":"Nicole Megow, Lukas Nölke","doi":"10.1007/s00453-025-01299-8","DOIUrl":null,"url":null,"abstract":"<div><p>In online metric matching on the line, <i>n</i> 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 <span>\\(\\Theta (\\log n)\\)</span>, leaving a gap to the best-known lower bound of <span>\\(\\Omega (\\sqrt{\\log n})\\)</span>. 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 <span>\\(O(\\log n)\\)</span>, we can obtain an <i>O</i>(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 <span>\\((1+\\varepsilon )\\)</span>-competitive and reassigns any request at most <span>\\(O(\\frac{1}{\\varepsilon ^2})\\)</span> times. This special case is particularly noteworthy, as a lower bound of <span>\\(\\Omega (\\log n)\\)</span>, constructed using such instances, applies to a broad class of online algorithms, including all deterministic algorithms studied in the literature.</p></div>","PeriodicalId":50824,"journal":{"name":"Algorithmica","volume":"87 6","pages":"813 - 841"},"PeriodicalIF":0.9000,"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":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Algorithmica","FirstCategoryId":"94","ListUrlMain":"https://link.springer.com/article/10.1007/s00453-025-01299-8","RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q4","JCRName":"COMPUTER SCIENCE, SOFTWARE ENGINEERING","Score":null,"Total":0}
引用次数: 0
Abstract
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.
期刊介绍:
Algorithmica is an international journal which publishes theoretical papers on algorithms that address problems arising in practical areas, and experimental papers of general appeal for practical importance or techniques. The development of algorithms is an integral part of computer science. The increasing complexity and scope of computer applications makes the design of efficient algorithms essential.
Algorithmica covers algorithms in applied areas such as: VLSI, distributed computing, parallel processing, automated design, robotics, graphics, data base design, software tools, as well as algorithms in fundamental areas such as sorting, searching, data structures, computational geometry, and linear programming.
In addition, the journal features two special sections: Application Experience, presenting findings obtained from applications of theoretical results to practical situations, and Problems, offering short papers presenting problems on selected topics of computer science.