A stable marriage requires communication

Yannai A. Gonczarowski, Noam Nisan, Rafail Ostrovsky, Will Rosenbaimi

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

15 Scopus citations

Abstract

The Gale-Shapley algorithm for the Stable Marriage Problem is known to take θ (n2) steps to find a stable marriage in the worst case, but only θ (n log n) steps in the average case (with n women and n men). In 1976, Knuth asked whether the worst-case running time can be improved in a model of computation that does not require sequential access to the whole input. A partial negative answer was given by Ng and Hirschberg, who showed that θ (n2) queries are required in a model that allows certain natural random-access queries to the participants' preferences. A significantly more general-albeit slightly weaker-lower bound follows from Segal's elaborate analysis of communication complexity, namely that ω (n2) Boolean queries are required in order to find a stable marriage, regardless of the set of allowed Boolean queries. Using a reduction to the communication complexity of the disjointness problem, we give a far simpler, yet significantly more powerful argument showing that ω (n2) Boolean queries of any type are indeed required. Notably, unlike Segal's lower bound, our lower bound generalizes also to (A) randomized algorithms, (B) finding approximately-stable marriages (C) verifying the stability (or the approx-imate stability) of a proposed marriage, (D) allowing arbitrary separate preprocessing of the women's preferences profile and of the men's preferences profile, and (E) several variants of the basic problem, such as whether a given pair is married in every/some stable marriage.

Original languageAmerican English
Title of host publicationProceedings of the 26th Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2015
PublisherAssociation for Computing Machinery
Pages1003-1017
Number of pages15
EditionJanuary
ISBN (Electronic)9781611973747
DOIs
StatePublished - 2015
Event26th Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2015 - San Diego, United States
Duration: 4 Jan 20156 Jan 2015

Publication series

NameProceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms
NumberJanuary
Volume2015-January

Conference

Conference26th Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2015
Country/TerritoryUnited States
CitySan Diego
Period4/01/156/01/15

Fingerprint

Dive into the research topics of 'A stable marriage requires communication'. Together they form a unique fingerprint.

Cite this