A Simply Exponential Upper Bound on the Maximum Number of Stable Matchings (original) (raw)
Abstract:Stable matching is a classical combinatorial problem that has been the subject of intense theoretical and empirical study since its introduction in 1962 in a seminal paper by Gale and Shapley. In this paper, we provide a new upper bound on f(n)f(n)f(n), the maximum number of stable matchings that a stable matching instance with nnn men and nnn women can have. It has been a long-standing open problem to understand the asymptotic behavior of f(n)f(n)f(n) as ntoinftyn\to\inftyntoinfty, first posed by Donald Knuth in the 1970s. Until now the best lower bound was approximately 2.28n2.28^n2.28n, and the best upper bound was 2nlogn−O(n)2^{n\log n- O(n)}2nlogn−O(n). In this paper, we show that for all nnn, f(n)leqcnf(n) \leq c^nf(n)leqcn for some universal constant ccc. This matches the lower bound up to the base of the exponent. Our proof is based on a reduction to counting the number of downsets of a family of posets that we call "mixing". The latter might be of independent interest.
Submission history
From: Robbie Weber [view email]
[v1] Fri, 3 Nov 2017 05:55:38 UTC (676 KB)
[v2] Wed, 8 Nov 2017 05:50:38 UTC (675 KB)