Online maximum matching with recourse

Spyros Angelopoulos (), Christoph Dürr () and Shendan Jin ()
Additional contact information
Spyros Angelopoulos: Sorbonne Université
Christoph Dürr: Sorbonne Université
Shendan Jin: Sorbonne Université

Journal of Combinatorial Optimization, 2020, vol. 40, issue 4, No 8, 974-1007

Abstract: Abstract We study the online maximum matching problem in a model in which the edges are associated with a known recourse parameter k. An online algorithm for this problem has to maintain a valid matching while edges of the underlying graph are presented one after the other. At any moment the algorithm can decide to include an edge into the matching or to exclude it, under the restriction that at most k such actions per edge take place, where k is typically a small constant. This problem was introduced and studied in the context of general online packing problems with recourse by Avitabile et al. (Inf Process Lett 113(3):81–86, 2013), whereas the special case $$k=2$$ k = 2 was studied by Boyar et al. (Proceedings of the 15th workshop on algorithms and data structures (WADS), pp 217–228, 2017). In the first part of this paper we consider the edge arrival model, in which an arriving edge never disappears from the graph. Here, we first show an improved analysis on the performance of the algorithm AMP of Avitabile et al., by exploiting the structure of the matching problem. In addition, we show that the greedy algorithm has competitive ratio 3/2 for every even k and ratio 2 for every odd k. Moreover, we present and analyze an improvement of the greedy algorithm which we call L-Greedy, and we show that for small values of k it outperforms the algorithm AMP. In terms of lower bounds, we show that no deterministic algorithm better than $$1+1/(k-1)$$ 1 + 1 / ( k - 1 ) exists, improving upon the known lower bound of $$1+1/k$$ 1 + 1 / k . The second part of the paper is devoted to the edge arrival/departure model, which is the fully dynamic variant of online matching with recourse. The analysis of L-Greedy and AMP carry through in this model; moreover we show a lower bound of $$(k^2-3k+6) / (k^2-4k+7)$$ ( k 2 - 3 k + 6 ) / ( k 2 - 4 k + 7 ) for all even $$k \ge 4$$ k ≥ 4 . For $$k\in \{2,3\}$$ k ∈ { 2 , 3 } , the competitive ratio is 3/2.

Keywords: Matching; Online algorithms; Competitive analysis; Recourse (search for similar items in EconPapers)
Date: 2020
References: View complete reference list from CitEc
Citations: View citations in EconPapers (1)

Downloads: (external link)
http://link.springer.com/10.1007/s10878-020-00641-w Abstract (text/html)
Access to the full text of the articles in this series is restricted.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:spr:jcomop:v:40:y:2020:i:4:d:10.1007_s10878-020-00641-w

Ordering information: This journal article can be ordered from
https://www.springer.com/journal/10878

DOI: 10.1007/s10878-020-00641-w

Access Statistics for this article

Journal of Combinatorial Optimization is currently edited by Thai, My T.

More articles in Journal of Combinatorial Optimization from Springer
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().