the stable marriage problem l.
Download
Skip this Video
Loading SlideShow in 5 Seconds..
The Stable Marriage Problem PowerPoint Presentation
Download Presentation
The Stable Marriage Problem

Loading in 2 Seconds...

play fullscreen
1 / 18

The Stable Marriage Problem - PowerPoint PPT Presentation


  • 266 Views
  • Uploaded on

The Stable Marriage Problem. Algorithms and Networks. A Prize Winning Algorithm. Lloyd Shapley, Nobel Prize Winner 2012 in economics Obtained the prize for a number of contributions, one being the Gale-Shapley algorithm, discussed today.

loader
I am the owner, or an agent authorized to act on behalf of the owner, of the copyrighted work described.
capcha
Download Presentation

PowerPoint Slideshow about 'The Stable Marriage Problem' - katima


An Image/Link below is provided (as is) to download presentation

Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.


- - - - - - - - - - - - - - - - - - - - - - - - - - E N D - - - - - - - - - - - - - - - - - - - - - - - - - -
Presentation Transcript
the stable marriage problem

The Stable Marriage Problem

Algorithms and Networks

a prize winning algorithm
A Prize Winning Algorithm
  • Lloyd Shapley, Nobel Prize Winner 2012 in economics
  • Obtained the prize for a number of contributions, one being the Gale-Shapley algorithm, discussed today

Photo Bengt Nymanhttp://en.wikipedia.org/wiki/File:Lloyd_Shapley_2_2012.jpg

The Stable Marriage Problem

the stable marriage problem3
The stable marriage problem
  • Story: there are n men and n women, which are unmarried. Each has a preference list on the persons of the opposite sex
  • Does there exist and can we find a stable matching (stable marriage): a matching of men and women, such that there is no pair of a man and a woman who both prefer each other above their partner in the matching?

The Stable Marriage Problem

application
Application
  • Origin: assignment of medical students to hospitals (for internships)
    • Students list hospitals in order of preference
    • Hospitals list students in order of preference

The Stable Marriage Problem

example
Arie: Betty Ann Cindy

Bert: Ann Cindy Betty

Carl: Ann Cindy Betty

Ann: Bert Arie Carl

Betty: Arie Carl Bert

Cindy: Bert Arie Carl

Stable matching: (Arie,Betty), (Bert,Ann), (Carl,Cindy)

Matching (Arie,Ann), (Bert,Betty), (Carl, Cindy) is not stable, e.g., Arie and Betty prefer each other above given partner

Blocking pair

Example

The Stable Marriage Problem

remark
Remark
  • “Local search” approach does not need to terminate

SOAP-SERIES-ALGORITHM

While there is a blocking pair

Do Switch the blocking pair

    • Can go on for ever!
    • So, we need something else…

The Stable Marriage Problem

result
Result
  • Gale/Stanley algorithm: finds always a stable matching
    • Input: list of men, women, and their preference list
    • Output: stable matching

The Stable Marriage Problem

the algorithm
The algorithm
  • Fix some ordering on the men
  • Repeat until everyone is matched
    • Let X be the first unmatched man in the ordering
    • Find woman Y such that Y is the most desirable woman in X’s list such that Y is unmatched, or Y is currently matched to a Z and X is more preferable to Y than Z.
    • Match X and Y; possible this turns Z to be unmatched

Questions:

Does this terminate? How fast?

Does this give a stable matching?

The Stable Marriage Problem

termination and number of steps
Termination and number of steps
  • Once a woman is matched, she stays matched (her partner can change).
  • When the partner of a woman changes, this is to a more preferable partner for her: at most n – 1times.
  • Every step, either an unmatched woman becomes matched, or a matched woman changes partner: at most n2steps.

The Stable Marriage Problem

stability of final matching
Suppose final matching is not stable.

Take:

Arie is matched to Ann,

Bert is matched to Betty,

Arie prefers Betty to Ann,

Betty prefers Arie to Bert.

So: Betty is before Ann in the preference list of Arie, but Arie is not matched to Betty. Two cases:

When Arie considers Betty, she has a partner (say) Carl preferable to Arie: Carl is also preferable to Bert, but in the algorithm woman can get only more preferable partners, contradiction.

When Arie considers Betty, she is free, but Arie is later replaced by someone preferable to Arie. Again, Betty can never end up with Bert.

Stability of final matching

The Stable Marriage Problem

comments
Comments
  • A stable matching exists and can be found in polynomial time
  • Consider the greedy algorithm:
    • Start with any matching, and make switches when a pair prefers each other to their current partner
    • This algorithm does not need to terminate
  • Controversy: the algorithm is better for the men: hospitals in the application

The Stable Marriage Problem

man optimal stable matchings
Man optimal stable matchings

Theorem

  • All possible executions of the Gale-Shapley algorithm give the same stable matching.
    • A proof of this follows
  • In this matching, the men have the best partner they can have in any stable matching.
  • In this matching, the women have the worst partner they can have in any stable matching.

The Stable Marriage Problem

proof
Proof
  • Suppose the algorithm gives matching M.
  • Suppose there is a stable matching M’ with man Arie matched to Betty in M’, and to Ann in M, with Arie preferring Betty over Ann.
  • Look at run of algorithm that produces M. Betty has rejected Arie at some point.
  • Of all such choices for Arie, Ann and Betty, take a triple such that the rejection of Arie by Betty happens first.
  • Suppose Betty prefers Bert to Arie, as reason for the rejection.
  • Bert must prefer Betty to his partner in M’: see next slide
  • Thus Bert, Betty is a blocking pair in M’: M’ not stable; contradiction.
  • So, all men are matched to the woman that appears in a stable matching that they prefer most.
    • Unique solution

The Stable Marriage Problem

bert prefers betty
Bert Prefers Betty
  • Bert is matched in M’ with Carol
  • If Bert prefers Carol to Betty:
    • In execution of algorithm, we have
      • At some point Carol must reject Bert as later Bert is matched with Betty (while Betty rejects Arieat that step).
      • This is earlier than the rejection of Betty of Arie
    • Now Bert, Betty and Carol form an earlier choice for the triple.

The Stable Marriage Problem

stable roommates
Stable roommates
  • Variant of problem with boys that must share two-person rooms (US campus)
  • Each has preference list
  • Stable marriage problem is special case

The Stable Marriage Problem

not always a stable matching for the stable roommates
Not always a stable matching for the stable roommates
  • Consider the following instance:
    • Person Arie: Carl Bert Dirk
    • Person Bert: Arie Carl Dirk
    • Person Carl: Bert Arie Dirk
    • Person Dirk: no difference
  • Each matching is unstable e.g., (Arie,Bert)(Carl,Dirk) has {Carl,Arie} as blocking pair

The Stable Marriage Problem

testing stable roommates
Testing stable roommates
  • Complicated algorithm
  • Uses O(n2) time

The Stable Marriage Problem

comments18
Comments
  • Much further work has been done, e.g.:
    • Random / Fair stable matchings
    • Many variants of stable matching are also solvable (indifferences, groups, forbidden pairs, …)
    • What happens if some participants lie about their preferences?
    • Stable roommates with indifferences: NP-complete

The Stable Marriage Problem