Dynamic Matching Algorithms Under Vertex Updates
summary
Maintains maximal matchings under vertex insertions and deletions with a concrete tradeoff: a simple bipartite algorithm (one side fixed) is irrevocable and achieves constant amortized update time, but for irrevocable algorithms in the medium dynamic model there are polynomial lower bounds conditioned on OMV and triangle-detection conjectures. A different scheme allows at most one algorithmic deletion per update — a one-revocable algorithm — that runs in constant amortized time for general graphs. Also gives an e/(e-1)-approximate MCM under client arrivals/departures by dynamically maintaining the KVV ranking.
AI-written summary · about
chapters (13)
- 0:00Intro
- 0:58Dynamic matching algorithms
- 1:46Standard dynamic setting
- 4:50Recourse bound Recourse bound: #changes to the output matching per update
- 5:43Previous work: vertex updates
- 7:13Our contribution
- 11:56Key takeaways . "i-revocable": more refined measure of recourse
- 14:47Highly-revocable MM: preliminaries
- 16:04Highly-revocable MM: handling safe vertices
- 18:40Highly-revocable MM: handling risky vertices
- 20:59Highly-revocable MM: running time
- 21:311-revocable MM
- 23:57Conclusion ► We initiate the study of fully dynamic graph matchings under vertex updates
