{"title":"Optimal Algorithms for Online b-Matching with Variable Vertex Capacities","authors":"Susanne Albers, Sebastian Schubert","doi":"10.1007/s00453-024-01282-9","DOIUrl":null,"url":null,"abstract":"<div><p>We study the <i>b</i>-matching problem, which generalizes classical online matching introduced by Karp, Vazirani and Vazirani (STOC 1990). Consider a bipartite graph <span>\\(G=(S\\dot{\\cup }R,E)\\)</span>. Every vertex <span>\\(s\\in S\\)</span> is a server with a capacity <span>\\(b_s\\)</span>, indicating the number of possible matching partners. The vertices <span>\\(r\\in R\\)</span> are requests that arrive online and must be matched immediately to an eligible server. The goal is to maximize the cardinality of the constructed matching. In contrast to earlier work, we study the general setting where servers may have arbitrary, individual capacities. We prove that the most natural and simple online algorithms achieve optimal competitive ratios. As for deterministic algorithms, we give a greedy algorithm <span>RelativeBalance</span> and analyze it by extending the primal-dual framework of Devanur, Jain and Kleinberg (SODA 2013). In the area of randomized algorithms we study the celebrated <span>Ranking</span> algorithm by Karp, Vazirani and Vazirani. We prove that the original <span>Ranking</span> strategy, simply picking a random permutation of the servers, achieves an optimal competitiveness of <span>\\(1-1/e\\)</span>, independently of the server capacities. Hence it is not necessary to resort to a reduction, replacing every server <i>s</i> by <span>\\(b_s\\)</span> vertices of unit capacity and to then run <span>Ranking</span> on this graph with <span>\\(\\sum _{s\\in S} b_s\\)</span> vertices on the left-hand side. Additionally, we extend this result to the vertex-weighted <i>b</i>-matching problem. Technically, we formulate a new configuration LP for the <i>b</i>-matching problem and conduct a primal-dual analysis.</p></div>","PeriodicalId":50824,"journal":{"name":"Algorithmica","volume":"87 2","pages":"167 - 190"},"PeriodicalIF":0.9000,"publicationDate":"2024-11-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00453-024-01282-9.pdf","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Algorithmica","FirstCategoryId":"94","ListUrlMain":"https://link.springer.com/article/10.1007/s00453-024-01282-9","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
We study the b-matching problem, which generalizes classical online matching introduced by Karp, Vazirani and Vazirani (STOC 1990). Consider a bipartite graph \(G=(S\dot{\cup }R,E)\). Every vertex \(s\in S\) is a server with a capacity \(b_s\), indicating the number of possible matching partners. The vertices \(r\in R\) are requests that arrive online and must be matched immediately to an eligible server. The goal is to maximize the cardinality of the constructed matching. In contrast to earlier work, we study the general setting where servers may have arbitrary, individual capacities. We prove that the most natural and simple online algorithms achieve optimal competitive ratios. As for deterministic algorithms, we give a greedy algorithm RelativeBalance and analyze it by extending the primal-dual framework of Devanur, Jain and Kleinberg (SODA 2013). In the area of randomized algorithms we study the celebrated Ranking algorithm by Karp, Vazirani and Vazirani. We prove that the original Ranking strategy, simply picking a random permutation of the servers, achieves an optimal competitiveness of \(1-1/e\), independently of the server capacities. Hence it is not necessary to resort to a reduction, replacing every server s by \(b_s\) vertices of unit capacity and to then run Ranking on this graph with \(\sum _{s\in S} b_s\) vertices on the left-hand side. Additionally, we extend this result to the vertex-weighted b-matching problem. Technically, we formulate a new configuration LP for the b-matching problem and conduct a primal-dual analysis.
期刊介绍:
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.