View source for Lattice of stable matchings

{{Short description|Distributive lattice whose elements are stable matchings}}
In [[mathematics]], [[economics]], and [[computer science]], the '''lattice of stable matchings''' is a [[distributive lattice]] whose elements are [[stable matching problem|stable matchings]]. For a given instance of the stable matching problem, this lattice provides an [[abstract algebra|algebraic]] description of the family of all solutions to the problem. It was originally described in the 1970s by [[John Horton Conway]] and [[Donald Knuth]].{{r|knuth|hwang}}

By [[Birkhoff's representation theorem]], this lattice can be represented as the [[lower set]]s of an underlying [[partially ordered set]]. The elements of this set can be given a concrete structure as rotations, with [[cycle graph]]s describing the changes between adjacent stable matchings in the lattice. The family of all rotations and their partial order can be constructed in [[polynomial time]], leading to polynomial time solutions for other problems on stable matching including the minimum or maximum weight stable matching. The [[Gale–Shapley algorithm]] can be used to construct two special lattice elements, its top and bottom element.

Every finite distributive lattice can be represented as a lattice of stable matchings.
The number of elements in the lattice can vary from an average case of <math>e^{-1}n\ln n</math> to a worst-case of exponential.
Computing the number of elements is [[♯P-complete|#P-complete]].

==Background==
In its simplest form, an instance of the stable matching problem consists of two sets of the same number of elements to be matched to each other, for instance doctors and positions at hospitals. Each element has a preference ordering on the elements of the other type: the doctors each have different preferences for which hospital they would like to work at (for instance based on which cities they would prefer to live in), and the hospitals each have preferences for which doctors they would like to work for them (for instance based on specialization or recommendations). The goal is to find a matching that is ''stable'': no pair of a doctor and a hospital prefer each other to their assigned match. Versions of this problem are used, for instance, by the [[National Resident Matching Program]] to match American medical students to hospitals.{{r|pram}}

In general, there may be many different stable matchings. For example, suppose there are three doctors (A,B,C) and three hospitals (X,Y,Z) which have preferences of:

:A: YXZ &nbsp; B: ZYX &nbsp; C: XZY &nbsp; 
:X: BAC &nbsp; Y: CBA &nbsp; Z: ACB

There are three stable solutions to this matching arrangement:
# The doctors get their first choice and the hospitals get their third: AY, BZ, CX.
# All participants get their second choice: AX, BY, CZ.
# The hospitals get their first choice and the doctors their third: AZ, BX, CY.

The lattice of stable matchings organizes this collection of solutions, for any instance of stable matching, giving it the structure of a [[distributive lattice]].{{r|knuth}}

==Structure==
===Partial order on matchings===
The lattice of stable matchings is based on the following weaker structure, a [[partially ordered set]] whose elements are the stable matchings. Define a comparison operation <math>\le</math> on the stable matchings,
where <math>P\le Q</math> if and only if all doctors prefer matching <math>Q</math> to matching <math>P</math>: either they have the same assigned hospital in both matchings, or they are assigned a better hospital in <math>Q</math> than they are in <math>P</math>. If the doctors disagree on which matching they prefer, then <math>P</math> and <math>Q</math> are incomparable: neither one is <math>\le</math> the other. 
The same comparison operation can be defined in the same way for any two sets of elements, not just doctors and hospitals. The choice of which of the two sets of elements to use in the role of the doctors is arbitrary. Swapping the roles of the doctors and hospitals reverses the ordering of every pair of elements, but does not otherwise change the structure of the partial order.{{r|knuth}}

Then this ordering gives the matchings the structure of a partially ordered set. To do so, it must obey the following three properties:
*For every matching <math>P</math>, <math>P\le P</math>
*For every two different matchings <math>P</math> and <math>Q</math>, it cannot be the case that both <math>P\le Q</math> and <math>Q\le P</math> are true.
*For every three different matchings <math>P</math>, <math>Q</math>, and <math>R</math>, if <math>P\le Q</math> and <math>Q\le R</math>, then <math>P\le R</math>.
For stable matchings, all three properties follow directly from the definition of the comparison operation.

===Top and bottom elements===
{{main|Gale–Shapley algorithm}}
Define the best match of an element <math>x</math> of a stable matching instance to be the element <math>y</math> that <math>x</math> most prefers, among all the elements that can be matched to <math>x</math> in a stable matching, and define the worst match analogously. Then no two elements can have the same best match.
For, suppose to the contrary that doctors <math>x</math> and <math>x'</math> both have <math>y</math> as their best match, and that <math>y</math> prefers <math>x</math> to <math>x'</math>. Then, in the stable matching that matches <math>x'</math> to <math>y</math> (which must exist by the definition of the best match of <math>x'</math>), <math>x</math> and <math>y</math> would be an unstable pair, because <math>y</math> prefers <math>x</math> to <math>x'</math> and <math>x</math> prefers <math>y</math> to any other partner in any stable matching. This contradiction shows that assigning all doctors to their best matches gives a matching. It is a stable matching, because any unstable pair would also be unstable for one of the matchings used to define best matches. As well as assigning all doctor to their best matches, it assigns all hospitals to their worst matches. In the partial ordering on the matchings, it is greater than all other stable matchings.{{r|knuth}}

Symmetrically, assigning all doctors to their worst matches and assigning all hospitals to their best matches gives another stable matching. In the partial order on the matchings, it is less than all other stable matchings.{{r|knuth}}

The [[Gale–Shapley algorithm]] gives a process for constructing stable matchings, that can be described as follows: until a matching is reached, the algorithm chooses an arbitrary hospital with an unfilled position, and that hospital makes a job offer to the doctor it most prefers among the ones it has not already made offers to. If the doctor is unemployed or has a less-preferred assignment, the doctor accepts the offer (and resigns from their other assignment if it exists). The process always terminates, because each doctor and hospital interact only once. When it terminates, the result is a stable matching, the one that assigns each hospital to its best match and that assigns all doctors to their worst matches. An algorithm that swaps the roles of the doctors and hospitals (in which unemployed doctors send a job applications to their next preference among the hospitals, and hospitals accept applications either when they have an unfilled position or they prefer the new applicant, firing the doctor they had previously accepted) instead produces the stable matching that assigns all doctors to their best matches and each hospital to its worst match.{{r|knuth}}

===Lattice operations===
Given any two stable matchings <math>P</math> and <math>Q</math> for the same input, one can form two more matchings <math>P\vee Q</math> and <math>P\wedge Q</math> in the following way:
:In <math>P\vee Q</math>, each doctor gets their best choice among the two hospitals they are matched to in <math>P</math> and <math>Q</math> (if these differ) and each hospital gets its worst choice.
:In <math>P\wedge Q</math>, each doctor gets their worst choice among the two hospitals they are matched to in <math>P</math> and <math>Q</math> (if these differ) and each hospital gets its best choice.
(The same operations can be defined in the same way for any two sets of elements, not just doctors and hospitals.){{r|knuth}}

Then both <math>P\vee Q</math> and <math>P\wedge Q</math> are matchings.
It is not possible, for instance, for two doctors to have the same best choice and be matched to the same hospital in <math>P\vee Q</math>, for regardless of which of the two doctors is preferred by the hospital, that doctor and hospital would form an unstable pair in whichever of <math>P</math> and <math>Q</math> they are not already matched in. Because the doctors are matched in <math>P\vee Q</math>, the hospitals must also be matched. The same reasoning applies symmetrically to <math>P\wedge Q</math>.{{r|knuth}}

Additionally, both <math>P\vee Q</math> and <math>P\wedge Q</math> are stable.
There cannot be a pair of a doctor and hospital who prefer each other to their match, because the same pair would necessarily also be an unstable pair for at least one of <math>P</math> and <math>Q</math>.{{r|knuth}}

===Lattice properties===
The two operations <math>P\vee Q</math> and <math>P\wedge Q</math> form the [[join and meet]] operations of a finite [[distributive lattice]].
In this context, a finite [[Lattice (order)|lattice]] is defined as a partially ordered [[finite set]] in which there is a unique minimum element and a unique maximum element, in which every two elements have a unique least element greater than or equal to both of them (their join) and every two elements have a unique greatest element less than or equal to both of them (their meet).{{r|knuth}}

In the case of the operations <math>P\vee Q</math> and <math>P\wedge Q</math> defined above, the join <math>P\vee Q</math> is greater than or equal to both <math>P</math> and <math>Q</math> because it was defined to give each doctor their preferred choice, and because these preferences of the doctors are how the ordering on matchings is defined. It is below any other matching that is also above both <math>P</math> and <math>Q</math>, because any such matching would have to give each doctor an assigned match that is at least as good. Therefore, it fits the requirements for the join operation of a lattice.
Symmetrically, the operation <math>P\wedge Q</math> fits the requirements for the meet operation.{{r|knuth}}

Because they are defined using an element-wise minimum or element-wise maximum in the preference ordering, these two operations obey the same [[distributive law]]s obeyed by the minimum and maximum operations on linear orderings: for every three different matchings <math>P</math>, <math>Q</math>, and <math>R</math>,
:<math>P\wedge(Q\vee R)=(P\wedge Q)\vee (P\wedge R)</math>
and
:<math>P\vee(Q\wedge R)=(P\vee Q)\wedge (P\vee R)</math>
Therefore, the lattice of stable matchings is a [[distributive lattice]].{{r|knuth}}

==Representation by rotations==
[[Birkhoff's representation theorem]] states that any finite distributive lattice can be represented by a family of [[finite set]]s, with intersection and union as the meet and join operations, and with the relation of being a subset as the comparison operation for the associated partial order. More specifically, these sets can be taken to be the [[lower set]]s of an associated partial order.
In the general form of Birkhoff's theorem, this partial order can be taken as the induced order on a subset of the elements of the lattice, the join-irreducible elements (elements that cannot be formed as joins of two other elements).{{r|birkhoff}} For the lattice of stable matchings, the elements of the partial order can instead be described in terms of structures called ''rotations'', described by {{harvtxt|Irving|Leather|1986}}.{{r|il}}

Suppose that two different stable matchings <math>P</math> and <math>Q</math> are comparable and have no third stable matching between them in the partial order. (That is, <math>P</math> and <math>Q</math> form a pair of the [[covering relation]] of the partial order of stable matchings.) Then the set of pairs of elements that are matched in one but not both of <math>P</math> and <math>Q</math> (the [[symmetric difference]] of their sets of matched pairs) is called a rotation. It forms a [[cycle graph]] whose edges alternate between the two matchings. Equivalently, the rotation can be described as the set of changes that would need to be performed to change the lower of the two matchings into the higher one (with lower and higher determined using the partial order). If two different stable matchings are separately the higher matching for the same rotation, then so is their meet. It follows that for any rotation, the set of stable matchings that can be the higher of a pair connected by the rotation has a unique lowest element. This lowest matching is join irreducible, and this gives a one-to-one correspondence between rotations and join-irreducible stable matchings.{{r|il}}

If the rotations are given the same partial ordering as their corresponding join-irreducible stable matchings, then Birkhoff's representation theorem gives a one-to-one correspondence between lower sets of rotations and all stable matchings. The set of rotations associated with any given stable matching can be obtained by changing the given matching by rotations downward in the partial ordering, choosing arbitrarily which rotation to perform at each step, until reaching the bottom element, and listing the rotations used in this sequence of changes. The stable matching associated with any lower set of rotations can be obtained by applying the rotations to the bottom element of the lattice of stable matchings, choosing arbitrarily which rotation to apply when more than one can apply.{{r|il}}

Every pair <math>(x,y)</math> of elements of a given stable matching instance belongs to at most two rotations: one rotation that, when applied to the lower of two matchings, removes other assignments to <math>x</math> and <math>y</math> and instead assigns them to each other, and a second rotation that, when applied to the lower of two matchings, removes pair <math>(x,y)</math> from the matching and finds other assignments for those two elements. Because there are <math>n^2</math> pairs of elements, there are <math>O(n^2)</math> rotations.{{r|il}}

==Mathematical properties==
===Universality===
Beyond being a finite distributive lattice, there are no other constraints on the lattice structure of stable matchings. This is because, for every finite distributive lattice <math>L</math>, there exists a stable matching instance whose lattice of stable matchings is isomorphic to <math>L</math>.{{r|blair}}
More strongly, if a finite distributive lattice has <math>k</math> elements, then it can be realized using a stable matching instance with at most <math>k^2-k+4</math> doctors and hospitals.{{r|gils}}

===Number of lattice elements===
The lattice of stable matchings can be used to study the [[computational complexity]] of counting the number of stable matchings of a given instance. From the equivalence between lattices of stable matchings and arbitrary finite distributive lattices, it follows that this problem has equivalent computational complexity to counting the number of elements in an arbitrary finite distributive lattice, or to counting the [[antichain]]s in an arbitrary partially ordered set. Computing the number of stable matchings is [[♯P-complete|#P-complete]].{{r|il}}

In a uniformly-random instance of the stable marriage problem with <math>n</math> doctors and <math>n</math> hospitals, the average number of stable matchings is asymptotically <math>e^{-1}n\ln n</math>.{{r|pittel}} In a stable marriage instance chosen to maximize the number of different stable matchings, this number can be at least <math>2^{n-1}</math>,{{r|il}}
and us also [[upper bound|upper-bounded]] by an [[exponential function]] of {{mvar|n}} (significantly smaller than the naive [[factorial]] bound on the number of matchings).{{r|kgw}}

==Algorithmic consequences==
The family of rotations and their partial ordering can be constructed in [[polynomial time]] from a given instance of stable matching, and provides a concise representation to the family of all stable matchings, which can for some instances be exponentially larger when listed explicitly. This allows several other computations on stable matching instances to be performed efficiently.{{r|gusfield}}

===Weighted stable matching and closure===
If each pair of elements in a stable matching instance is assigned a real-valued weight, it is possible to find the minimum or maximum weight stable matching in [[polynomial time]]. One possible method for this is to apply [[linear programming]] to the [[order polytope]] of the partial order of rotations, or to the [[stable matching polytope]].{{r|vv}} An alternative, combinatorial algorithm is possible, based on the same partial order.{{r|ilg}}

From the weights on pairs of elements, one can assign weights to each rotation, where a rotation that changes a given stable matching to another one higher in the partial ordering of stable matchings is assigned the change in weight that it causes: the total weight of the higher matching minus the total weight of the lower matching. By the correspondence between stable matchings and lower sets of rotations, the total weight of any matching is then equal to the total weight of its corresponding lower set, plus the weight of the bottom element of the lattice of matchings. The problem of finding the minimum or maximum weight stable matching becomes in this way equivalent to the problem of finding the minimum or maximum weight lower set in a partially ordered set of polynomial size, the partially ordered set of rotations.{{r|ilg}}

This optimal lower set problem is equivalent to an instance of the [[closure problem]], a problem on vertex-weighted [[directed graph]]s in which the goal is to find a subset of vertices of optimal weight with no outgoing edges. The optimal lower set is an optimal closure of a [[directed acyclic graph]] that has the elements of the partial order as its vertices, with an edge from <math>\alpha</math> to <math>\beta</math> whenever <math>\alpha\le\beta</math> in the partial order. The closure problem can, in turn, be solved in polynomial time by transforming it into an instance of the [[maximum flow problem]].{{r|ilg}}

===Minimum regret===
{{harvtxt|Gusfield|1987}} defines the regret of a participant in a stable matching to be the distance of their assigned match from the top of their preference list. He defines the regret of a stable matching to be the maximum regret of any participant. Then one can find the minimum-regret stable matching by a simple greedy algorithm that starts at the bottom element of the lattice of matchings and then repeatedly applies any rotation that reduces the regret of a participant with maximum regret, until this would cause some other participant to have greater regret.{{r|gusfield}}

===Median stable matching===
{{main|Median graph#Distributive lattices and median algebras}}
The elements of any distributive lattice form a [[median graph]], a structure in which any three elements <math>P</math>, <math>Q</math>, and <math>R</math> (here, stable matchings) have a unique median element <math>m(P,Q,R)</math> that lies on a shortest path between any two of them. It can be defined as:{{r|bk}}
:<math>m(P,Q,R)=(P\wedge Q)\vee(P\wedge R)\vee(Q\wedge R)=(P\vee Q)\wedge(P\vee R)\wedge(Q\vee R).</math>
For the lattice of stable matchings, this median can instead be taken element-wise, by assigning each doctor the median in the doctor's preferences of the three hospitals matched to that doctor in <math>P</math>, <math>Q</math>, and <math>R</math> and similarly by assigning each hospital the median of the three doctors matched to it. More generally, any set of an odd number of elements of any distributive lattice (or median graph) has a median, a unique element minimizing its sum of distances to the given set.{{r|bb}} For the median of an odd number of stable matchings, each participant is matched to the median element of the multiset of their matches from the given matchings. For an even set of stable matchings, this can be disambiguated by choosing the assignment that matches each doctor to the higher of the two median elements, and each hospital to the lower of the two median elements. In particular, this leads to a definition for the median matching in the set of all stable matchings.{{r|ts}} However, for some instances of the stable matching problem, finding this median of all stable matchings is [[NP-hard]].{{r|cheng}}

==References==
{{reflist|refs=

<ref name=bb>{{citation
 | last1 = Bandelt | first1 = Hans-Jürgen
 | last2 = Barthélémy | first2 = Jean-Pierre
 | title = Medians in median graphs
 | journal = [[Discrete Applied Mathematics]]
 | volume = 8 | issue = 2 | year = 1984 | pages = 131–142
 | mr = 0743019
 | doi = 10.1016/0166-218X(84)90096-9| doi-access = free}}</ref>

<ref name=birkhoff>{{citation
 | last = Birkhoff | first = Garrett | authorlink = Garrett Birkhoff
 | doi = 10.1215/S0012-7094-37-00334-X
 | issue = 3
 | journal = [[Duke Mathematical Journal]]
 | pages = 443–454
 | title = Rings of sets
 | volume = 3
 | year = 1937}}</ref>

<ref name=bk>{{citation
 | first1 = Garrett | last1 = Birkhoff | authorlink1 = Garrett Birkhoff
 | first2 = S. A. | last2 = Kiss
 | title = A ternary operation in distributive lattices
 | journal = [[Bulletin of the American Mathematical Society]]
 | volume = 53 | issue = 1 | year = 1947 | pages = 749–752
 | mr = 0021540
 | url = http://projecteuclid.org/euclid.bams/1183510977
 | doi = 10.1090/S0002-9904-1947-08864-9| doi-access = free}}</ref>

<ref name=blair>{{citation
 | last = Blair | first = Charles
 | doi = 10.1016/0097-3165(84)90056-6
 | issue = 3
 | journal = [[Journal of Combinatorial Theory]]
 | mr = 769224
 | pages = 353–356
 | series = Series A
 | title = Every finite distributive lattice is a set of stable matchings
 | volume = 37
 | year = 1984| doi-access = free
 }}</ref>

<ref name=cheng>{{citation
 | last = Cheng | first = Christine T.
 | doi = 10.1007/s00453-009-9307-2
 | issue = 1
 | journal = [[Algorithmica]]
 | mr = 2658099
 | pages = 34–51
 | title = Understanding the generalized median stable matchings
 | volume = 58
 | year = 2010}}</ref>

<ref name=gils>{{citation
 | last1 = Gusfield | first1 = Dan | author1-link = Dan Gusfield
 | last2 = Irving | first2 = Robert
 | last3 = Leather | first3 = Paul
 | last4 = Saks | first4 = Michael | author4-link = Michael Saks (mathematician)
 | doi = 10.1016/0097-3165(87)90037-9
 | issue = 2
 | journal = [[Journal of Combinatorial Theory]]
 | mr = 879688
 | pages = 304–309
 | series = Series A
 | title = Every finite distributive lattice is a set of stable matchings for a small stable marriage instance
 | volume = 44
 | year = 1987| doi-access = free
 }}</ref>

<ref name=gusfield>{{citation
 | last = Gusfield | first = Dan | authorlink = Dan Gusfield
 | doi = 10.1137/0216010
 | issue = 1
 | journal = [[SIAM Journal on Computing]]
 | mr = 873255
 | pages = 111–128
 | title = Three fast algorithms for four problems in stable marriage
 | volume = 16
 | year = 1987}}</ref>

<ref name=hwang>{{citation
 | last = Hwang | first = J. S.
 | issue = 3
 | journal = Journal of the Australian Mathematical Society, Series A
 | mr = 678518
 | pages = 401–410
 | title = The lattice of stable marriages and permutations
 | volume = 33
 | year = 1982
 | doi=10.1017/S1446788700018838
| doi-access = free
 }}</ref>

<ref name=il>{{citation
 | last1 = Irving | first1 = Robert W.
 | last2 = Leather | first2 = Paul
 | doi = 10.1137/0215048
 | issue = 3
 | journal = [[SIAM Journal on Computing]]
 | mr = 850415
 | pages = 655–667
 | title = The complexity of counting stable marriages
 | volume = 15
 | year = 1986}}</ref>

<ref name=ilg>{{citation
 | last1 = Irving | first1 = Robert W.
 | last2 = Leather | first2 = Paul
 | last3 = Gusfield | first3 = Dan | author3-link = Dan Gusfield
 | doi = 10.1145/28869.28871
 | issue = 3
 | journal = [[Journal of the ACM]]
 | mr = 904192
 | pages = 532–543
 | title = An efficient algorithm for the "optimal" stable marriage
 | volume = 34
 | year = 1987| doi-access = free
 }}</ref>

<ref name=kgw>{{citation
 | last1 = Karlin | first1 = Anna R. | author1-link = Anna Karlin
 | last2 = Gharan | first2 = Shayan Oveis
 | last3 = Weber | first3 = Robbie
 | editor1-last = Diakonikolas | editor1-first = Ilias
 | editor2-last = Kempe | editor2-first = David
 | editor3-last = Henzinger | editor3-first = Monika | editor3-link = Monika Henzinger
 | contribution = A simply exponential upper bound on the maximum number of stable matchings
 | doi = 10.1145/3188745.3188848
 | mr = 3826305
 | pages = 920–925
 | publisher = Association for Computing Machinery
 | title = Proceedings of the 50th Symposium on Theory of Computing (STOC 2018)
 | year = 2018| arxiv = 1711.01032 }}</ref>

<ref name=knuth>{{citation
 | last = Knuth | first = Donald E. | authorlink = Donald Knuth
 | isbn = 0-8405-0342-3
 | language = French
 | mr = 0488980
 | publisher = Les Presses de l'Université de Montréal
 | location = Montréal, Quebec
 | title = Mariages stables et leurs relations avec d'autres problèmes combinatoires
 | url = https://www-cs-faculty.stanford.edu/~knuth/mariages-stables.pdf
 | year = 1976}}. See in particular Problem 6, pp. 87–94.</ref>

<ref name=pittel>{{citation
 | last = Pittel | first = Boris
 | doi = 10.1137/0402048
 | issue = 4
 | journal = [[SIAM Journal on Discrete Mathematics]]
 | mr = 1018538
 | pages = 530–549
 | title = The average number of stable matchings
 | volume = 2
 | year = 1989}}</ref>

<ref name=pram>{{citation
 | last1 = Peranson | first1 = E.
 | last2 = Randlett | first2 = R. R.
 | date = June 1995
 | doi = 10.1097/00001888-199506000-00008
 | pmid = 7786367
 | issue = 6
 | journal = Academic Medicine
 | pages = 477–84
 | title = The NRMP matching algorithm revisited
 | volume = 70| doi-access = free
 }}</ref>

<ref name=ts>{{citation
 | last1 = Teo | first1 = Chung-Piaw
 | last2 = Sethuraman | first2 = Jay
 | doi = 10.1287/moor.23.4.874
 | issue = 4
 | journal = [[Mathematics of Operations Research]]
 | mr = 1662426
 | pages = 874–891
 | title = The geometry of fractional stable matchings and its applications
 | volume = 23
 | year = 1998}}</ref>

<ref name=vv>{{citation
 | last = Vande Vate | first = John H.
 | doi = 10.1016/0167-6377(89)90041-2
 | issue = 3
 | journal = [[Operations Research Letters]]
 | mr = 1007271
 | pages = 147–153
 | title = Linear programming brings marital bliss
 | volume = 8
 | year = 1989}}</ref>

}}

[[Category:Stable matching]]
[[Category:Lattice theory]]