Dynamic rank-maximal and popular matchings

We consider the problem of matching applicants to posts where applicants have preferences over posts. Thus the input to our problem is a bipartite graph $$G=(\mathcal {A}\cup \mathcal {P},E)$$G=(A∪P,E), where $$\mathcal {A}$$A denotes a set of applicants, $$\mathcal {P}$$P is a set of posts, and there are ranks on edges which denote the preferences of applicants over posts. A matching M in G is called rank-maximal if it matches the maximum number of applicants to their rank 1 posts, subject to this the maximum number of applicants to their rank 2 posts, and so on. We consider this problem in a dynamic setting, where vertices and edges can be added and deleted at any point. Let n and m be the number of vertices and edges in an instance G, and r be the maximum rank used by any rank-maximal matching in G. We give a simple $$O(r(m+n))$$O(r(m+n))-time algorithm to update an existing rank-maximal matching under each of these changes. When $$r=o(n)$$r=o(n), this is faster than recomputing a rank-maximal matching completely using a known algorithm like that of Irving et al. (ACM Trans Algorithms 2(4):602–610, 2006), which takes time $$O(\min ((r+n,r\sqrt{n})m)$$O(min((r+n,rn)m). Our algorithm can also be used for maintaining a popular matching in the one-sided preference model in $$O(m+n)$$O(m+n) time, whenever one exists.

[1]  K. Mehlhorn,et al.  Pareto Optimality in House Allocation Problems , 2005, ISAAC.

[2]  Meghana Nasre,et al.  Rank-Maximal Matchings - Structure and Algorithms , 2014, ISAAC.

[3]  R. Zeckhauser,et al.  The Efficient Allocation of Individuals to Positions , 1979, Journal of Political Economy.

[4]  Sandeep Sen,et al.  Fully Dynamic Maximal Matching in O(log n) Update Time , 2015, SIAM J. Comput..

[5]  Martin Hoefer,et al.  Maintaining Near-Popular Matchings , 2015, ICALP.

[6]  Telikepalli Kavitha,et al.  Dynamic Matching Markets and Voting Paths , 2006, SWAT.

[7]  Monika Henzinger,et al.  New deterministic approximation algorithms for fully dynamic matching , 2016, STOC.

[8]  Kurt Mehlhorn,et al.  Popular matchings , 2005, SODA '05.

[9]  Katarzyna E. Paluch Capacitated Rank-Maximal Matchings , 2013, CIAC.

[10]  Giuseppe F. Italiano,et al.  Deterministic Fully Dynamic Data Structures for Vertex Cover and Matching , 2015, SODA.

[11]  Telikepalli Kavitha,et al.  Efficient Algorithms for Weighted Rank-Maximal Matchings and Related Problems , 2006, ISAAC.

[12]  Katarzyna E. Paluch,et al.  The Dynamics of Rank-Maximal and Popular Matchings , 2017, Theoretical Computer Science.

[13]  Krzysztof Onak,et al.  Maintaining a large matching and a small vertex cover , 2010, STOC '10.

[14]  W. Pulleyblank Matchings and extensions , 1996 .

[15]  Richard Peng,et al.  Fully Dynamic $(1+\epsilon)$-Approximate Matchings , 2013, 1304.0378.

[16]  Kurt Mehlhorn,et al.  Rank-maximal matchings , 2004, TALG.

[17]  Yufei Yuan,et al.  Residence exchange wanted: A stable residence exchange problem , 1996 .