ABSTRACT
In their seminal work on the Stable Marriage Problem, Gale and Shapley describe an algorithm which finds a stable matching in O(n2) communication rounds. Their algorithm has a natural interpretation as a distributed algorithm where each player is represented by a single processor. In this distributed model, Floreen, Kaski, Polishchuk, and Suomela recently showed that for bounded preference lists, terminating the Gale-Shapley algorithm after a constant number of rounds results in an almost stable matching. In this paper, we describe a new deterministic distributed algorithm which finds an almost stable matching in O(log5 n) communication rounds for arbitrary preferences. We also present a faster randomized variant which requires O(log2 n) rounds. This run-time can be improved to O(1) rounds for "almost regular" (and in particular complete) preferences. To our knowledge, these are the first sub-polynomial round distributed algorithms for any variant of the stable marriage problem with unbounded preferences.
- David J Abraham, Péter Biró, and David F Manlove. Almost stable matchings in the roommates problem. In Approximation and online algorithms, pages 1--14. Springer, 2006. Google ScholarDigital Library
- Kimmo Eriksson and Olle Haggström. Instability of matchings in decentralized markets with various preference structures. International Journal of Game Theory, 36(3):409--420, March 2008.Google ScholarDigital Library
- Patrik Floréen, Petteri Kaski, Valentin Polishchuk, and Jukka Suomela. Almost Stable Matchings by Truncating the Gale--Shapley Algorithm. Algorithmica, 58(1):102--118, 2010. Google ScholarDigital Library
- D Gale and L S Shapley. College Admissions and the Stability of Marriage. The American Mathematical Monthly, 69(1):pp. 9--15, 1962.Google ScholarCross Ref
- Dan Gusfield and Robert W Irving. The stable marriage problem: structure and algorithms, volume 54. MIT press Cambridge, 1989. Google ScholarDigital Library
- Michal Hanćkowiak, Michal Karonski, and Alessandro Panconesi. On the distributed complexity of computing maximal matchings. SIAM Journal on Discrete Mathematics, 15(1):41--57, 2001. Google ScholarCross Ref
- Avinatan Hassidim, Yishay Mansour, and Shai Vardi. Local computation mechanism design. In Proceedings of the fifteenth ACM conference on Economics and computation, pages 601--616. ACM, 2014. Google ScholarDigital Library
- Amos Israeli and Alon Itai. A fast and simple randomized parallel algorithm for maximal matching. Information Processing Letters, 22(2):77--80, 1986. Google ScholarCross Ref
- Alex Kipnis and Boaz Patt-Shamir. A note on distributed stable matching. In Proceedings of the 28th ACM symposium on Principles of distributed computing, pages 282--283, New York, NY, USA, 2009. ACM. Google ScholarDigital Library
- David Manlove. Algorithmics of matching under preferences. World Scientific Publishing, 2013.Google ScholarCross Ref
- David Peleg. Distributed Computing: A Locality-Sensitive Approach. Society for Industrial and Applied Mathematics, 2000. Google ScholarCross Ref
Index Terms
- Fast Distributed Almost Stable Matchings
Recommendations
Concerning the maximum number of stable matchings in the stable marriage problem
The function, f(n), represents the maximum number of stable matchings possible in an instance of size n of the stable marriage problem. It is shown that f(n) is a strictly increasing function of n, and a result of Knuth's concerning the exponential ...
A fixed-point approach to stable matchings and some applications
We describe a fixed-point based approach to the theory of bipartite stable matchings. By this, we provide a common framework that links together seemingly distant results, like the stable marriage theorem of Gale and Shapley, the Mendelsohn-Dulmage ...
The dynamics of stable matchings and half-matchings for the stable marriage and roommates problems
AbstractWe study the dynamics of stable marriage and stable roommates markets. Our main tool is the incremental algorithm of Roth and Vande Vate and its generalization by Tan and Hsueh. Beyond proposing alternative proofs for known results, we also ...
Comments