The deferred acceptance algorithm can be used to construct an assignment of men and women. In this algorithm, members of one gender are the suitors and members of the other gender the suitees. The algorithm uses a series of rounds; in each round every suitor whose proposal was rejected in the previous round proposes to his or her highest ranking suitee who has not already rejected a proposal from this suitor. The suitees reject all the proposals except that from the suitor that this suitee ranks highest among all the suitors who have proposed in this round or previous rounds. The proposal of this highest ranking suitor remains pending and is rejected in a later round if a more appealing suitor proposes in that round. The series of rounds ends when every suitor has exactly one pending proposal. All pending proposals are then accepted. a) Write the deferred acceptance algorithm in pseudocode. b) Show that the deferred acceptance algorithm terminates. c) Show that the deferred acceptance always terminates with a stable assignment

Operations Research : Applications and Algorithms
4th Edition
ISBN:9780534380588
Author:Wayne L. Winston
Publisher:Wayne L. Winston
Chapter13: Decision Making Under Uncertainty
Section13.4: Decision Trees
Problem 9P
icon
Related questions
Question
100%

The deferred acceptance algorithm can be used to construct an assignment of men and women. In this algorithm,
members of one gender are the suitors and members of
the other gender the suitees. The algorithm uses a series of rounds; in each round every suitor whose proposal
was rejected in the previous round proposes to his or her
highest ranking suitee who has not already rejected a proposal from this suitor. The suitees reject all the proposals
except that from the suitor that this suitee ranks highest
among all the suitors who have proposed in this round
or previous rounds. The proposal of this highest ranking
suitor remains pending and is rejected in a later round if a
more appealing suitor proposes in that round. The series
of rounds ends when every suitor has exactly one pending
proposal. All pending proposals are then accepted.
a) Write the deferred acceptance algorithm in
pseudocode.
b) Show that the deferred acceptance algorithm
terminates.
c) Show that the deferred acceptance always terminates
with a stable assignment

Expert Solution
steps

Step by step

Solved in 4 steps

Blurred answer
Knowledge Booster
Introduction to classical planning
Learn more about
Need a deep-dive on the concept behind this application? Look no further. Learn more about this topic, computer-science and related others by exploring similar questions and additional content below.
Similar questions
  • SEE MORE QUESTIONS
Recommended textbooks for you
Operations Research : Applications and Algorithms
Operations Research : Applications and Algorithms
Computer Science
ISBN:
9780534380588
Author:
Wayne L. Winston
Publisher:
Brooks Cole