Matching. Terence Johnson. April 17, University of Notre Dame. Terence Johnson (ND) Matching April 17, / 41
|
|
- Sheryl Lane
- 5 years ago
- Views:
Transcription
1 Matching Terence Johnson University of Notre Dame April 17, 2018 Terence Johnson (ND) Matching April 17, / 41
2 Markets without money What do you do when you can t use money to solve your problems? Terence Johnson (ND) Matching April 17, / 41
3 Markets without money What do you do when you can t use money to solve your problems? Matching: heterosexual men and women marrying in a small town, students matching to universities, workers to jobs where wages are rigid; the NRMP Terence Johnson (ND) Matching April 17, / 41
4 Markets without money What do you do when you can t use money to solve your problems? Matching: heterosexual men and women marrying in a small town, students matching to universities, workers to jobs where wages are rigid; the NRMP Allocating publicly owned goods: seats in public schools, publicly owned housing; the NYC/Boston matches Terence Johnson (ND) Matching April 17, / 41
5 Markets without money What do you do when you can t use money to solve your problems? Matching: heterosexual men and women marrying in a small town, students matching to universities, workers to jobs where wages are rigid; the NRMP Allocating publicly owned goods: seats in public schools, publicly owned housing; the NYC/Boston matches Morally repugnant transactions: kidneys, livers, hearts; the New England Kidney Exchange Terence Johnson (ND) Matching April 17, / 41
6 Markets without money What do you do when you can t use money to solve your problems? Matching: heterosexual men and women marrying in a small town, students matching to universities, workers to jobs where wages are rigid; the NRMP Allocating publicly owned goods: seats in public schools, publicly owned housing; the NYC/Boston matches Morally repugnant transactions: kidneys, livers, hearts; the New England Kidney Exchange Terence Johnson (ND) Matching April 17, / 41
7 Markets without money What do you do when you can t use money to solve your problems? Matching: heterosexual men and women marrying in a small town, students matching to universities, workers to jobs where wages are rigid; the NRMP Allocating publicly owned goods: seats in public schools, publicly owned housing; the NYC/Boston matches Morally repugnant transactions: kidneys, livers, hearts; the New England Kidney Exchange We can t auction off seats to schools, or open markets for body parts: the incentives that would generate would both be unacceptable to society Terence Johnson (ND) Matching April 17, / 41
8 Markets without money When money can t be exchanged, what is the analog of the second price auction or Vickrey auction? Our previous solution concepts have been competitive equilibrium, Nash equilibrium, or dominant strategy equilibrium. Our goal was to implement the efficient outcome. Terence Johnson (ND) Matching April 17, / 41
9 Markets without money When money can t be exchanged, what is the analog of the second price auction or Vickrey auction? Our previous solution concepts have been competitive equilibrium, Nash equilibrium, or dominant strategy equilibrium. Our goal was to implement the efficient outcome. This doesn t seem appropriate for matching. Think about the men and women in the small town. No one can deviate on their own: it s the overall suitableness of a match for everyone in the town that matters. We want a group equilibrium notion, not equilibrium agent-by-agent (one agent can have an affair only if someone else is willing to as well). Terence Johnson (ND) Matching April 17, / 41
10 Markets without money Disclaimer: I m going to talk mostly about the heterosexual marriage market in exposition and examples, because it highlights the incentives for cheating and stability, making it easier to appreciate what is going on. I don t really think this is a prescriptive way for matching men to women, or that heterosexual marriage markets are uniquely interesting, or anything like that. Terence Johnson (ND) Matching April 17, / 41
11 Marriage Markets: model There are two disjoint sets M = {m 1, m 2,..., m n } of men and W = {w 1, w 2,..., w l } of women. Terence Johnson (ND) Matching April 17, / 41
12 Marriage Markets: model There are two disjoint sets M = {m 1, m 2,..., m n } of men and W = {w 1, w 2,..., w l } of women. Each man i has ordered, transitive, and complete preferences over the women, so that if w mi w, man i prefers woman w to woman w. If m i mi w, then m i prefers to be single or matched to himself rather than matched to w. Terence Johnson (ND) Matching April 17, / 41
13 Marriage Markets: model There are two disjoint sets M = {m 1, m 2,..., m n } of men and W = {w 1, w 2,..., w l } of women. Each man i has ordered, transitive, and complete preferences over the women, so that if w mi w, man i prefers woman w to woman w. If m i mi w, then m i prefers to be single or matched to himself rather than matched to w. The same definitions apply for the women, swapping the w s for m s and m s for w s. Terence Johnson (ND) Matching April 17, / 41
14 Marriage Markets: model There are two disjoint sets M = {m 1, m 2,..., m n } of men and W = {w 1, w 2,..., w l } of women. Each man i has ordered, transitive, and complete preferences over the women, so that if w mi w, man i prefers woman w to woman w. If m i mi w, then m i prefers to be single or matched to himself rather than matched to w. The same definitions apply for the women, swapping the w s for m s and m s for w s. A marriage market is the set of agents and their preferences. Notice, this is completely ordinal: no utility functions, no calculus Terence Johnson (ND) Matching April 17, / 41
15 Stability In a matching market, an outcome is stable if no two people want to cheat and have an affair. Terence Johnson (ND) Matching April 17, / 41
16 Stability In a matching market, an outcome is stable if no two people want to cheat and have an affair. For each man m married to woman w and each man m married to w, (i) neither m and w prefer each other to m and w, and (ii) neither w and m prefer each other to m and w. Terence Johnson (ND) Matching April 17, / 41
17 Matchings Definition A matching µ is a one-to-one mapping from the set of men and women to the set of men and women so that each agent is matched at most once to someone else (or themselves), and that other person is matched to the agent (µ(µ(x)) = x). The mate of x is denoted µ(x). Terence Johnson (ND) Matching April 17, / 41
18 Matchings Definition A matching µ is a one-to-one mapping from the set of men and women to the set of men and women so that each agent is matched at most once to someone else (or themselves), and that other person is matched to the agent (µ(µ(x)) = x). The mate of x is denoted µ(x). Definition A matching µ can be blocked or improved upon if there exists some man m and some woman w such that µ(m) w, but m prefers w to his current partner and w prefers m to her current partner. Terence Johnson (ND) Matching April 17, / 41
19 Matchings Definition A matching µ is a one-to-one mapping from the set of men and women to the set of men and women so that each agent is matched at most once to someone else (or themselves), and that other person is matched to the agent (µ(µ(x)) = x). The mate of x is denoted µ(x). Definition A matching µ can be blocked or improved upon if there exists some man m and some woman w such that µ(m) w, but m prefers w to his current partner and w prefers m to her current partner. If a match can be blocked or improved upon, it is unstable; otherwise, it is stable. Terence Johnson (ND) Matching April 17, / 41
20 Questions Does such a matching always exist? How do we find it through an auction-like mechanism? What is an optimal match? Is stability in conflict with optimality? What are the strategic incentives that matching mechanisms provide to participants? Terence Johnson (ND) Matching April 17, / 41
21 Examples Let P(m 1 ) = (w 1, w 2 ), P(m 2 ) = (w 2, w 1 ), P(w 1 ) = (m 1, m 2 ), and P(w 2 ) = (m 2, m 1 ). Then each agent has a mutually preferred partner, so there is a unique stable matching: µ = {(m 1, w 1 ), (m 2, w 2 )}, or ( ) m1 m µ = 2 w 1 w 2 Terence Johnson (ND) Matching April 17, / 41
22 Examples Let P(m 1 ) = (w 1, w 2 ), P(m 2 ) = (w 2, w 1 ), P(w 1 ) = (m 1, m 2 ), and P(w 2 ) = (m 2, m 1 ). Then each agent has a mutually preferred partner, so there is a unique stable matching: µ = {(m 1, w 1 ), (m 2, w 2 )}, or ( ) m1 m µ = 2 w 1 w 2 Let P(m 1 ) = (w 1, w 2 ), P(m 2 ) = (w 2, w 1 ), P(w 1 ) = (m 2, m 1 ), and P(w 2 ) = (m 1, m 2 ). Then the men and women have exactly opposed preferences, so there are two stable matchings: µ 1 = {(m 1, w 1 ), (m 2, w 2 )} and µ 2 = {(m 1, w 2 ), (m 2, w 1 )}, or ( ) m1 m µ 1 = 2 w 1 w 2 and ( ) m1 m µ 2 = 2 w 2 w 1 So there might be many stable matches in one-sided matching. Terence Johnson (ND) Matching April 17, / 41
23 Examples Let M = W = 3, and P(m 1 ) = (w 2, w 1, w 3 ) P(w 1 ) = (m 1, m 3, m 2 ) P(m 2 ) = (w 1, w 3, w 2 ) P(w 2 ) = (m 3, m 1, m 2 ) P(m 3 ) = (w 1, w 2, w 3 ) P(w 3 ) = (m 1, m 3, m 2 ) The following matching is unstable: ( ) w1 w µ = 2 w 3 m 1 m 2 m 3 because (m 1, w 2 ) can block this allocation: w 2 m1 µ(m 1 ) = w 1, and m 1 w2 µ(w 2 ) = m 2. The match ( ) µ w1 w = 2 w 3 m 1 m 3 m 2 however, is stable. Terence Johnson (ND) Matching April 17, / 41
24 Instability in one-sided markets There is not always a stable match in every kind of market you might imagine Terence Johnson (ND) Matching April 17, / 41
25 Instability in one-sided markets There is not always a stable match in every kind of market you might imagine There are four students trying to match into two rooms, a, b, c, and d. Terence Johnson (ND) Matching April 17, / 41
26 Instability in one-sided markets There is not always a stable match in every kind of market you might imagine There are four students trying to match into two rooms, a, b, c, and d. P(a) = b, c, d P(b) = c, a, d P(c) = a, b, d P(d) = anything Terence Johnson (ND) Matching April 17, / 41
27 Instability in one-sided markets There is not always a stable match in every kind of market you might imagine There are four students trying to match into two rooms, a, b, c, and d. P(a) = b, c, d P(b) = c, a, d P(c) = a, b, d P(d) = anything Person d is everyone s last choice, and each of the other people is someone s first choice. Terence Johnson (ND) Matching April 17, / 41
28 Instability in one-sided markets Then the match ( c a b d ) is blocked by (c, a). The match ( a d b c is blocked by (b, c). The match ( b a d c is blocked by (a, b). That s all the matches: this market is fundamentally unstable. ) ) Terence Johnson (ND) Matching April 17, / 41
29 The Gale-Shapley Algorithm Definition The Gale-Shapley algorithm is the procedure where Terence Johnson (ND) Matching April 17, / 41
30 The Gale-Shapley Algorithm Definition The Gale-Shapley algorithm is the procedure where In the first round, (i) each man proposes to his most preferred woman, (ii) each woman then conditionally accepts her most preferred man among those who proposed to her, (iii) all the men whose proposal was not accepted remain single. Terence Johnson (ND) Matching April 17, / 41
31 The Gale-Shapley Algorithm Definition The Gale-Shapley algorithm is the procedure where In the first round, (i) each man proposes to his most preferred woman, (ii) each woman then conditionally accepts her most preferred man among those who proposed to her, (iii) all the men whose proposal was not accepted remain single. In each subsequent round, (i) each single man proposes to his most preferred woman whom he has not yet proposed to, (ii) each woman retains her most preferred man among those who proposed to her this period and her current mate, (iii) all the men whose proposal was not conditionally accepted or who were dumped are single. Note that men never revisit women who have previously rejected them. Terence Johnson (ND) Matching April 17, / 41
32 Marriage Markets On one side of the market, we have agents A, 2, 3, 4. On the other side of the market, we have agents 10, J, Q, K. Terence Johnson (ND) Matching April 17, / 41
33 Marriage Markets On one side of the market, we have agents A, 2, 3, 4. On the other side of the market, we have agents 10, J, Q, K. I will deal a set of preferences to each person on each side of the market over the people on the opposite side of the market. Terence Johnson (ND) Matching April 17, / 41
34 Marriage Markets On one side of the market, we have agents A, 2, 3, 4. On the other side of the market, we have agents 10, J, Q, K. I will deal a set of preferences to each person on each side of the market over the people on the opposite side of the market. Whichever side is proposing can propose however it sees fit, in accordance with the rules of the Gale-Shapley algorithm (can t return to people you previously proposed to); the deferred acceptance side can accept or reject however it sees fit Terence Johnson (ND) Matching April 17, / 41
35 Existence of stable matchings Theorem Every marriage market has at least one stable match, and the Gale-Shapley algorithm computes it. Terence Johnson (ND) Matching April 17, / 41
36 Existence of stable matchings Theorem Every marriage market has at least one stable match, and the Gale-Shapley algorithm computes it. Proof. Consider using the deferred acceptance algorithm. This procedure terminates in less than M W rounds, since this is the total number of proposals that could ever be made because men never revisit women who have previously rejected them. Terence Johnson (ND) Matching April 17, / 41
37 Existence of stable matchings Theorem Every marriage market has at least one stable match, and the Gale-Shapley algorithm computes it. Proof. Consider using the deferred acceptance algorithm. This procedure terminates in less than M W rounds, since this is the total number of proposals that could ever be made because men never revisit women who have previously rejected them. So GS produces a matching µ. Terence Johnson (ND) Matching April 17, / 41
38 Existence of stable matchings Theorem Every marriage market has at least one stable match, and the Gale-Shapley algorithm computes it. Proof. Consider using the deferred acceptance algorithm. This procedure terminates in less than M W rounds, since this is the total number of proposals that could ever be made because men never revisit women who have previously rejected them. So GS produces a matching µ. This match is stable: Suppose some man, A, prefers some woman, α, to his mate, µ(a). Then A must have proposed to α at some earlier stage and been rejected, since A ranks α higher than µ(a). Terence Johnson (ND) Matching April 17, / 41
39 Existence of stable matchings Theorem Every marriage market has at least one stable match, and the Gale-Shapley algorithm computes it. Proof. Consider using the deferred acceptance algorithm. This procedure terminates in less than M W rounds, since this is the total number of proposals that could ever be made because men never revisit women who have previously rejected them. So GS produces a matching µ. This match is stable: Suppose some man, A, prefers some woman, α, to his mate, µ(a). Then A must have proposed to α at some earlier stage and been rejected, since A ranks α higher than µ(a). But then A must have been rejected in favor of someone that α liked better, because α always holds on to her most preferred proposal and A and α are not matched. Terence Johnson (ND) Matching April 17, / 41
40 Existence of stable matchings Theorem Every marriage market has at least one stable match, and the Gale-Shapley algorithm computes it. Proof. Consider using the deferred acceptance algorithm. This procedure terminates in less than M W rounds, since this is the total number of proposals that could ever be made because men never revisit women who have previously rejected them. So GS produces a matching µ. This match is stable: Suppose some man, A, prefers some woman, α, to his mate, µ(a). Then A must have proposed to α at some earlier stage and been rejected, since A ranks α higher than µ(a). But then A must have been rejected in favor of someone that α liked better, because α always holds on to her most preferred proposal and A and α are not matched. Therefore, α prefers µ(α) to A, and the match is stable. Terence Johnson (ND) Matching April 17, / 41
41 Optimality What would it mean for a match to be optimal? Terence Johnson (ND) Matching April 17, / 41
42 Optimality What would it mean for a match to be optimal? In this world, there isn t a social welfare function N u i (x), i=1 where we can trade off each agent s welfare for those of the other agents, and even if we had such a thing, the outcome could easily be unstable (imagine an auction for partners where wealth and attractiveness are negatively correlated, leading to a Beauty and the [wealthy] Beast problem) Terence Johnson (ND) Matching April 17, / 41
43 Optimality What would it mean for a match to be optimal? In this world, there isn t a social welfare function N u i (x), i=1 where we can trade off each agent s welfare for those of the other agents, and even if we had such a thing, the outcome could easily be unstable (imagine an auction for partners where wealth and attractiveness are negatively correlated, leading to a Beauty and the [wealthy] Beast problem) But can we get a clear idea of society s preferences over the set of stable matches? Terence Johnson (ND) Matching April 17, / 41
44 Optimality Definition A match µ is M-preferred to µ if, for every man m, µ(m) m µ (m), and for some m, µ(m) m µ (m), and we write µ M µ. Terence Johnson (ND) Matching April 17, / 41
45 Optimality Definition A match µ is M-preferred to µ if, for every man m, µ(m) m µ (m), and for some m, µ(m) m µ (m), and we write µ M µ. A match µ is M-optimal if there does not exist a match µ such that µ M µ. Terence Johnson (ND) Matching April 17, / 41
46 Optimality Definition A match µ is M-preferred to µ if, for every man m, µ(m) m µ (m), and for some m, µ(m) m µ (m), and we write µ M µ. A match µ is M-optimal if there does not exist a match µ such that µ M µ. Define W and W similarly for the women. Terence Johnson (ND) Matching April 17, / 41
47 Optimality and Opposing Preferences Theorem When all sides have strict preferences, µ M µ if and only if µ W µ. Terence Johnson (ND) Matching April 17, / 41
48 Optimality and Opposing Preferences Theorem When all sides have strict preferences, µ M µ if and only if µ W µ. Proof. Let µ and µ be stable matchings such that µ M µ. Suppose that, by way of contradiction, µ W µ. Terence Johnson (ND) Matching April 17, / 41
49 Optimality and Opposing Preferences Theorem When all sides have strict preferences, µ M µ if and only if µ W µ. Proof. Let µ and µ be stable matchings such that µ M µ. Suppose that, by way of contradiction, µ W µ. Then there must be some woman w who strictly prefers µ to µ. Then w has a different partner at µ and µ, and so must her partner m = µ(w). Terence Johnson (ND) Matching April 17, / 41
50 Optimality and Opposing Preferences Theorem When all sides have strict preferences, µ M µ if and only if µ W µ. Proof. Let µ and µ be stable matchings such that µ M µ. Suppose that, by way of contradiction, µ W µ. Then there must be some woman w who strictly prefers µ to µ. Then w has a different partner at µ and µ, and so must her partner m = µ(w). But then m and w form a blocking pair for µ, since µ M µ by assumption and preferences are strict. But then µ is unstable, which is a contradiction. Therefore, it must be the case that µ W µ. Terence Johnson (ND) Matching April 17, / 41
51 Optimality and Opposing Preferences Theorem When all sides have strict preferences, µ M µ if and only if µ W µ. Proof. Let µ and µ be stable matchings such that µ M µ. Suppose that, by way of contradiction, µ W µ. Then there must be some woman w who strictly prefers µ to µ. Then w has a different partner at µ and µ, and so must her partner m = µ(w). But then m and w form a blocking pair for µ, since µ M µ by assumption and preferences are strict. But then µ is unstable, which is a contradiction. Therefore, it must be the case that µ W µ. Then any stable match preferred by the men is considered worse by the women, and vice versa: any gain to one side represents loss to the other. Terence Johnson (ND) Matching April 17, / 41
52 Optimality and Opposing Preferences (w, µ(w)) is a blocking pair for µ : both sides can t both prefer one stable match µ to another µ Terence Johnson (ND) Matching April 17, / 41
53 Optimality and Opposing Preferences The previous result has a very stark consequence: Theorem If all preferences are strict, there is an M-optimal stable matching, and a W -optimal stable matching. The best stable match for the men is the worst stable match for the women, and vice versa. The M-optimal stable match is computed when men propose in the Gale-Shapley algorithm, and likewise for the women. Terence Johnson (ND) Matching April 17, / 41
54 Optimality Let P(m 1 ) = (w 1, w 2 ) P(m 2 ) = (w 2, w 1 ) P(w 1 ) = (m 2, m 1 ) P(w 2 ) = (m 1, m 2 ). Terence Johnson (ND) Matching April 17, / 41
55 Optimality Let P(m 1 ) = (w 1, w 2 ) P(m 2 ) = (w 2, w 1 ) P(w 1 ) = (m 2, m 1 ) P(w 2 ) = (m 1, m 2 ). Then there are two stable matches: ( ) ( w1 w µ 1 = 2 w1 w, µ m 1 m 2 = 2 2 m 2 m 1 ) Terence Johnson (ND) Matching April 17, / 41
56 Optimality Let P(m 1 ) = (w 1, w 2 ) P(m 2 ) = (w 2, w 1 ) P(w 1 ) = (m 2, m 1 ) P(w 2 ) = (m 1, m 2 ). Then there are two stable matches: ( ) ( w1 w µ 1 = 2 w1 w, µ m 1 m 2 = 2 2 m 2 m 1 ) but notice that the men obviously prefer µ 1 and the women obviously prefer µ 2. Terence Johnson (ND) Matching April 17, / 41
57 Other matching algorithms Not all matching algorithms are so nice Terence Johnson (ND) Matching April 17, / 41
58 Other matching algorithms Not all matching algorithms are so nice Imagine taking a given proposed match. If it is stable, stop. Otherwise, find a blocking pair and make a new matching by marrying these people to each other. Terence Johnson (ND) Matching April 17, / 41
59 Other matching algorithms Not all matching algorithms are so nice Imagine taking a given proposed match. If it is stable, stop. Otherwise, find a blocking pair and make a new matching by marrying these people to each other. This is called a greedy algorithm, since it focuses on trying to improve the stability of the matching at each step without regard to broader consequences of the proposed changes Terence Johnson (ND) Matching April 17, / 41
60 Other matching algorithms Not all matching algorithms are so nice Imagine taking a given proposed match. If it is stable, stop. Otherwise, find a blocking pair and make a new matching by marrying these people to each other. This is called a greedy algorithm, since it focuses on trying to improve the stability of the matching at each step without regard to broader consequences of the proposed changes Is this algorithm stable? Terence Johnson (ND) Matching April 17, / 41
61 Other matching algorithms Recall the example with P(m 1 ) = (w 2, w 1, w 3 ) P(w 1 ) = (m 1, m 3, m 2 ) P(m 2 ) = (w 1, w 3, w 2 ) P(w 2 ) = (m 3, m 1, m 2 ) P(m 3 ) = (w 1, w 2, w 3 ) P(w 3 ) = (m 1, m 3, m 2 ) Terence Johnson (ND) Matching April 17, / 41
62 Other matching algorithms Recall the example with P(m 1 ) = (w 2, w 1, w 3 ) P(w 1 ) = (m 1, m 3, m 2 ) P(m 2 ) = (w 1, w 3, w 2 ) P(w 2 ) = (m 3, m 1, m 2 ) P(m 3 ) = (w 1, w 2, w 3 ) P(w 3 ) = (m 1, m 3, m 2 ) and consider the initial match ( w1 w µ 0 = 2 w 3 m 1 m 2 m 3 ). Terence Johnson (ND) Matching April 17, / 41
63 Other matching algorithms Recall the example with P(m 1 ) = (w 2, w 1, w 3 ) P(w 1 ) = (m 1, m 3, m 2 ) P(m 2 ) = (w 1, w 3, w 2 ) P(w 2 ) = (m 3, m 1, m 2 ) P(m 3 ) = (w 1, w 2, w 3 ) P(w 3 ) = (m 1, m 3, m 2 ) and consider the initial match ( w1 w µ 0 = 2 w 3 m 1 m 2 m 3 ). This match is unstable since (w 2, m 1 ) is a blocking pair. Let s implement that affair... Terence Johnson (ND) Matching April 17, / 41
64 Other matching algorithms... yielding ( w1 w µ 1 = 2 w 3 m 2 m 1 m 3 for which (w 2, m 3 ) is a blocking pair, yielding ( w1 w µ 2 = 2 w 3 m 2 m 3 m 1 for which (w 1, m 3 ) is a blocking pair, yielding ( w1 w µ 3 = 2 w 3 m 3 m 2 m 1 ), ), ), for which (w 1, m 1 ) is a blocking pair, yielding... Terence Johnson (ND) Matching April 17, / 41
65 Other matching algorithms... ( w1 w µ 0 = 2 w 3 m 1 m 2 m 3 which is where we started. ) Terence Johnson (ND) Matching April 17, / 41
66 Other matching algorithms... which is where we started. ( ) w1 w µ 0 = 2 w 3 m 1 m 2 m 3 Theorem The greedy algorithm need not converge to a stable match. Terence Johnson (ND) Matching April 17, / 41
67 Equilibrium in the Gale-Shapley Algorithm The analysis above has no mention of equilibrium, so it is natural to wonder about the incentives of participants in the Gale-Shapley algorithm. Terence Johnson (ND) Matching April 17, / 41
68 Equilibrium in the Gale-Shapley Algorithm The analysis above has no mention of equilibrium, so it is natural to wonder about the incentives of participants in the Gale-Shapley algorithm. Consider the game where players submit ordered lists, and a central authority uses the Gale-Shapley algorithm to compute a match (as is done in the NRMP). More formally, the game is Players simultaneously and non-cooperatively submit a list ˆP(m) or ˆP(w) to a matching authority The matching authority computes the outcomes of the Gale-Shapley algorithm with respect to the reported preferences, assigning a partner (or not) to each agent The agents true preferences are common knowledge Terence Johnson (ND) Matching April 17, / 41
69 Equilibrium in the Gale-Shapley Algorithm Let P(m 1 ) = (w 1, w 2 ) P(m 2 ) = (w 2, w 1 ) P(w 1 ) = (m 2, m 1 ) P(w 2 ) = (m 1, m 2 ). Terence Johnson (ND) Matching April 17, / 41
70 Equilibrium in the Gale-Shapley Algorithm Let P(m 1 ) = (w 1, w 2 ) P(m 2 ) = (w 2, w 1 ) P(w 1 ) = (m 2, m 1 ) P(w 2 ) = (m 1, m 2 ). Honesty in the GS algorithm yields the matching ( ) w1 w2 µ = m1 m2 Terence Johnson (ND) Matching April 17, / 41
71 Equilibrium in the Gale-Shapley Algorithm Let P(m 1 ) = (w 1, w 2 ) P(m 2 ) = (w 2, w 1 ) P(w 1 ) = (m 2, m 1 ) P(w 2 ) = (m 1, m 2 ). Honesty in the GS algorithm yields the matching ( ) w1 w2 µ = m1 m2 Can either of the women deviate in such a way that their preferred match is implemented? Terence Johnson (ND) Matching April 17, / 41
72 Equilibrium in the Gale-Shapley Algorithm Suppose agent w 1 submits the list P (w 1 ) = (m 1, w 1, m 2 ), stating that agent m 2 is unacceptable to her, while the others report honestly. Terence Johnson (ND) Matching April 17, / 41
73 Equilibrium in the Gale-Shapley Algorithm Suppose agent w 1 submits the list P (w 1 ) = (m 1, w 1, m 2 ), stating that agent m 2 is unacceptable to her, while the others report honestly. In the first round, m 1 and m 2 propose to w 1 and w 2, respectively. m 1 is rejected, and m 2 is conditionally matched to w 2 : ( ) m1 m µ 1 = 2 w 2 Terence Johnson (ND) Matching April 17, / 41
74 Equilibrium in the Gale-Shapley Algorithm Suppose agent w 1 submits the list P (w 1 ) = (m 1, w 1, m 2 ), stating that agent m 2 is unacceptable to her, while the others report honestly. In the first round, m 1 and m 2 propose to w 1 and w 2, respectively. m 1 is rejected, and m 2 is conditionally matched to w 2 : ( ) m1 m µ 1 = 2 w 2 In the second round, m 1 proposes to w 2, who accepts, dumping m 1 : ( ) m1 m µ 1 = 2 w 2 Terence Johnson (ND) Matching April 17, / 41
75 Equilibrium in the Gale-Shapley Algorithm Suppose agent w 1 submits the list P (w 1 ) = (m 1, w 1, m 2 ), stating that agent m 2 is unacceptable to her, while the others report honestly. In the first round, m 1 and m 2 propose to w 1 and w 2, respectively. m 1 is rejected, and m 2 is conditionally matched to w 2 : ( ) m1 m µ 1 = 2 w 2 In the second round, m 1 proposes to w 2, who accepts, dumping m 1 : ( ) m1 m µ 1 = 2 w 2 Finally, m 2 proposes to w 1, who accepts, giving: ( ) m1 m µ 1 = 2 w 2 w 1 which is the preferred stable match for the women. Terence Johnson (ND) Matching April 17, / 41
76 Equilibrium in the Gale-Shapley Algorithm This shows agents on the conditionally accepting side may have incentives to misrepresent their preferences Terence Johnson (ND) Matching April 17, / 41
77 Equilibrium in the Gale-Shapley Algorithm This shows agents on the conditionally accepting side may have incentives to misrepresent their preferences Typically, this means cutting acceptable partners from the bottom of their lists to cause a rejection chain, thereby ending up with a better partner Terence Johnson (ND) Matching April 17, / 41
78 Equilibrium in the Gale-Shapley Algorithm This shows agents on the conditionally accepting side may have incentives to misrepresent their preferences Typically, this means cutting acceptable partners from the bottom of their lists to cause a rejection chain, thereby ending up with a better partner Computing a rejection chain is incredibly difficult, and requires knowing the preferences of all the agents in the market, which is unlikely: in large markets, it is extremely unlikely that one agent can perfectly execute a rejection chain of this type Terence Johnson (ND) Matching April 17, / 41
79 Equilibrium in the Gale-Shapley Algorithm What about incentives on the proposing side? Terence Johnson (ND) Matching April 17, / 41
80 Equilibrium in the Gale-Shapley Algorithm What about incentives on the proposing side? Theorem If the M-optimal version of the Gale-Shapley algorithm is used, it is a weakly dominant strategy for the men to report their preferences honestly. Terence Johnson (ND) Matching April 17, / 41
81 Equilibrium in the Gale-Shapley Algorithm What about incentives on the proposing side? Theorem If the M-optimal version of the Gale-Shapley algorithm is used, it is a weakly dominant strategy for the men to report their preferences honestly. The intuition is that fixing the reports of the women if the men re-order or drop candidates from their lists, they can only miss out on the chance to get a particular partner, since women always hold on to their favorite proposal relative to their stated preferences. Terence Johnson (ND) Matching April 17, / 41
82 Private Information Suppose the preferences of the agents are not common knowledge, so it becomes a game of incomplete information. Suppose that an agent s preference P(m) or P(w) is private information. A direct revelation mechanism is one in which agents each make a report ˆP(m) or ˆP(w) to the matchmaker, who then uses some mechanism to compute a match from the reported preferences, ˆP. A mechanism implements honest reporting in weakly dominant strategies if, for whatever reports are made by the other players, each player finds it in his best interest to report his type honestly. Terence Johnson (ND) Matching April 17, / 41
83 Private Information Suppose the preferences of the agents are not common knowledge, so it becomes a game of incomplete information. Suppose that an agent s preference P(m) or P(w) is private information. A direct revelation mechanism is one in which agents each make a report ˆP(m) or ˆP(w) to the matchmaker, who then uses some mechanism to compute a match from the reported preferences, ˆP. A mechanism implements honest reporting in weakly dominant strategies if, for whatever reports are made by the other players, each player finds it in his best interest to report his type honestly. A mechanism implements honest reporting if, for each player i, when other players report their types honestly, it is a best response for i to do so also. Terence Johnson (ND) Matching April 17, / 41
84 Roth s Impossibility Theorem Theorem There does not exist a stable matching mechanism that implements honest reporting in weakly dominant strategies. Terence Johnson (ND) Matching April 17, / 41
85 Roth s Impossibility Theorem Theorem There does not exist a stable matching mechanism that implements honest reporting in weakly dominant strategies. Proof. (By contradiction) Let M = {m 1, m 2 } and W = {w 1, w 2 } with preferences P(m 1 ) = (w 1, w 2 ), P(m 2 ) = (w 2, w 1 ), P(w 1 ) = (m 2, m 1 ), P(w 2 ) = (w 1, w 2 ). Terence Johnson (ND) Matching April 17, / 41
86 Roth s Impossibility Theorem Theorem There does not exist a stable matching mechanism that implements honest reporting in weakly dominant strategies. Proof. (By contradiction) Let M = {m 1, m 2 } and W = {w 1, w 2 } with preferences P(m 1 ) = (w 1, w 2 ), P(m 2 ) = (w 2, w 1 ), P(w 1 ) = (m 2, m 1 ), P(w 2 ) = (w 1, w 2 ). Then there are exactly two stable matchings, µ = {(m 1, w 1 ), (m 2, w 2 )} and ν = {(m 1, w 2 ), (m 2, w 1 )}, so any stable mechanism must choose one of these matchings when P = ˆP is stated honestly. Terence Johnson (ND) Matching April 17, / 41
87 Roth s Impossibility Theorem Proof. Suppose the mechanism selects µ with strictly positive probability. Suppose, however, that w 2 changes her report to P (w 2 ) = (m 1, w 2 ). Then µ is no longer a stable match, because w 2 could always block by remaining single (if those were her true preferences). Terence Johnson (ND) Matching April 17, / 41
88 Roth s Impossibility Theorem Proof. Suppose the mechanism selects µ with strictly positive probability. Suppose, however, that w 2 changes her report to P (w 2 ) = (m 1, w 2 ). Then µ is no longer a stable match, because w 2 could always block by remaining single (if those were her true preferences). Therefore, if all other agents report honestly and w 2 submits P (w 2 ), the only stable match is ν, which must be chosen by any stable matching mechanism with probability 1. Therefore, w 2 has a profitable deviation. Terence Johnson (ND) Matching April 17, / 41
89 Roth s Impossibility Theorem Proof. Suppose the mechanism selects µ with strictly positive probability. Suppose, however, that w 2 changes her report to P (w 2 ) = (m 1, w 2 ). Then µ is no longer a stable match, because w 2 could always block by remaining single (if those were her true preferences). Therefore, if all other agents report honestly and w 2 submits P (w 2 ), the only stable match is ν, which must be chosen by any stable matching mechanism with probability 1. Therefore, w 2 has a profitable deviation. If µ was selected with zero probability, w 1 would have a similar profitable deviation. Terence Johnson (ND) Matching April 17, / 41
90 Summary of One-to-One Matching The M-optimal and W -optimal matches can be computed by using the Gale-Shapley algorithm Male and female preferences are opposed on the set of stable matches The proposing side always has a dominant strategy to report its preference list truthfully, but the conditionally accepting side does not There does not exist a stable matching mechanism, in general, that implements honest reporting when preferences over partners are private information Terence Johnson (ND) Matching April 17, / 41
91 Many-to-One Matching: Hospitals/Doctors and Colleges/Students To what extent can the marriage market results be generalized to many-to-one matching models? Terence Johnson (ND) Matching April 17, / 41
92 Many-to-One Matching: Hospitals/Doctors and Colleges/Students To what extent can the marriage market results be generalized to many-to-one matching models? There are two disjoint sets, students S = {s 1,..., s L } and colleges, C = {c 1,..., c K }. Each student has ordered, complete, transitive preferences over colleges, and each college has ordered, complete, transitive preferences over students. Terence Johnson (ND) Matching April 17, / 41
93 Many-to-One Matching: Hospitals/Doctors and Colleges/Students To what extent can the marriage market results be generalized to many-to-one matching models? There are two disjoint sets, students S = {s 1,..., s L } and colleges, C = {c 1,..., c K }. Each student has ordered, complete, transitive preferences over colleges, and each college has ordered, complete, transitive preferences over students. Each college j has a quota q cj, giving the maximum number of students it can admit. Terence Johnson (ND) Matching April 17, / 41
94 Many-to-One Matching: Hospitals/Doctors and Colleges/Students To what extent can the marriage market results be generalized to many-to-one matching models? There are two disjoint sets, students S = {s 1,..., s L } and colleges, C = {c 1,..., c K }. Each student has ordered, complete, transitive preferences over colleges, and each college has ordered, complete, transitive preferences over students. Each college j has a quota q cj, giving the maximum number of students it can admit. A matching µ assigns students to college so that no student is matched to more than one college, and no college j has more than q cj students. Terence Johnson (ND) Matching April 17, / 41
95 Many-to-One Matching: Hospitals/Doctors and Colleges/Students To what extent can the marriage market results be generalized to many-to-one matching models? There are two disjoint sets, students S = {s 1,..., s L } and colleges, C = {c 1,..., c K }. Each student has ordered, complete, transitive preferences over colleges, and each college has ordered, complete, transitive preferences over students. Each college j has a quota q cj, giving the maximum number of students it can admit. A matching µ assigns students to college so that no student is matched to more than one college, and no college j has more than q cj students. Terence Johnson (ND) Matching April 17, / 41
96 The Many-to-One Deferred Acceptance Algorithm Break each college j into q cj copies of itself and construct a one-to-one marriage market where each copy of college j has the same preferences, and the students preferences over copies are the same as the preferences over the original colleges. Terence Johnson (ND) Matching April 17, / 41
97 The Many-to-One Deferred Acceptance Algorithm Break each college j into q cj copies of itself and construct a one-to-one marriage market where each copy of college j has the same preferences, and the students preferences over copies are the same as the preferences over the original colleges. Theorem A matching is stable in the many-to-one market if and only if the matching is stable in the corresponding one-to-one market. Terence Johnson (ND) Matching April 17, / 41
98 The Many-to-One Deferred Acceptance Algorithm Break each college j into q cj copies of itself and construct a one-to-one marriage market where each copy of college j has the same preferences, and the students preferences over copies are the same as the preferences over the original colleges. Theorem A matching is stable in the many-to-one market if and only if the matching is stable in the corresponding one-to-one market. So all our one-to-one matching results apply to the many-to-one market, when we break the colleges/hospitals/employers/etc into copies of itself. Terence Johnson (ND) Matching April 17, / 41
99 The Many-to-One Deferred Acceptance Algorithm: faster implementation Using the idea of breaking the college or hospital into copies of itself is nice because it reduces the theory to the marriage market we ve already studied Terence Johnson (ND) Matching April 17, / 41
100 The Many-to-One Deferred Acceptance Algorithm: faster implementation Using the idea of breaking the college or hospital into copies of itself is nice because it reduces the theory to the marriage market we ve already studied It is inconvenient because it makes the algorithm messier than it has to be: students propose to copies of the same school over and over before moving on to another school Terence Johnson (ND) Matching April 17, / 41
101 The Many-to-One Deferred Acceptance Algorithm: faster implementation Using the idea of breaking the college or hospital into copies of itself is nice because it reduces the theory to the marriage market we ve already studied It is inconvenient because it makes the algorithm messier than it has to be: students propose to copies of the same school over and over before moving on to another school Instead, we can give each college a counter : when it conditionally accepts a student, the counter increases, and cannot exceed the school s quota. Terence Johnson (ND) Matching April 17, / 41
102 The Many-to-One Deferred Acceptance Algorithm: faster implementation Using the idea of breaking the college or hospital into copies of itself is nice because it reduces the theory to the marriage market we ve already studied It is inconvenient because it makes the algorithm messier than it has to be: students propose to copies of the same school over and over before moving on to another school Instead, we can give each college a counter : when it conditionally accepts a student, the counter increases, and cannot exceed the school s quota. If an additional student applies whom the college prefers to one of its existing students, it kicks out its least preferred student in favor of the new applicant. This significantly speeds things up (for doing calculations) Terence Johnson (ND) Matching April 17, / 41
103 The Many-to-One Deferred Acceptance Algorithm Suppose there are six students and two colleges. For students 1 to 3, s i : c 1 c 2 and for students 4 to 6, The college s preferences are s i : c 2 c 1. but each college only has two seats. c 1 : s 1 s 4 s 5 s 3 s 2 s 6 c 1 : s 1 s 2 s 3 s 6 s 5 s 4 Terence Johnson (ND) Matching April 17, / 41
104 Many-to-one matching: Package Preferences Welfare: whichever side gets to propose is, again, going to get its preferred stable match, which is the worst stable match with respect to the opposite side s preferences Terence Johnson (ND) Matching April 17, / 41
105 Many-to-one matching: Package Preferences Welfare: whichever side gets to propose is, again, going to get its preferred stable match, which is the worst stable match with respect to the opposite side s preferences Strategy: the proposing side has a weakly dominant strategy to be honest, the accepting side might have a profitable deviation in cutting partners from the bottom of its list Terence Johnson (ND) Matching April 17, / 41
106 Many-to-one matching: Package Preferences Welfare: whichever side gets to propose is, again, going to get its preferred stable match, which is the worst stable match with respect to the opposite side s preferences Strategy: the proposing side has a weakly dominant strategy to be honest, the accepting side might have a profitable deviation in cutting partners from the bottom of its list Incomplete information: stable matching mechanisms that implement truth-telling in weakly dominant strategies do not exist Terence Johnson (ND) Matching April 17, / 41
107 Many-to-one matching: Package Preferences What if, instead of having a list of student preferences, a university had preferences over its entire class? What if, instead of having preferences over universities, students had preferences over the university and their peers? Terence Johnson (ND) Matching April 17, / 41
108 Many-to-one matching: Package Preferences What if, instead of having a list of student preferences, a university had preferences over its entire class? What if, instead of having preferences over universities, students had preferences over the university and their peers? Suppose a college C has preferences over individual students and preferences over packages of students C. σ C is responsive if for every matching for C, µ(c), and an alternative µ = µ(c)\s s, µ C µ if and only if s C s. Then all our previous results work. Terence Johnson (ND) Matching April 17, / 41
109 Many-to-one matching: Package Preferences What if, instead of having a list of student preferences, a university had preferences over its entire class? What if, instead of having preferences over universities, students had preferences over the university and their peers? Suppose a college C has preferences over individual students and preferences over packages of students C. σ C is responsive if for every matching for C, µ(c), and an alternative µ = µ(c)\s s, µ C µ if and only if s C s. Then all our previous results work. Consider couples in the hopsital/doctor case: a hospital may want to hire a superstar at the cost of hiring a joker, if it s necessary to get the superstar Terence Johnson (ND) Matching April 17, / 41
110 Many-to-one matching: Package Preferences What if, instead of having a list of student preferences, a university had preferences over its entire class? What if, instead of having preferences over universities, students had preferences over the university and their peers? Suppose a college C has preferences over individual students and preferences over packages of students C. σ C is responsive if for every matching for C, µ(c), and an alternative µ = µ(c)\s s, µ C µ if and only if s C s. Then all our previous results work. Consider couples in the hopsital/doctor case: a hospital may want to hire a superstar at the cost of hiring a joker, if it s necessary to get the superstar This kind of change breaks the math underlying the one-to-one market in a fundamental way; there aren t good answers to this problem yet. Terence Johnson (ND) Matching April 17, / 41
111 How old are these ideas? Vickrey: 1996 Nobel prize, key paper written in 1961 Myerson/Maskin/Hurwicz: 2007 Nobel prize for mechanism design, key papers written in 1981 and 1977 Roth/Gale/Shapley: 2012 Nobel prize, key papers written in 1985, 1962 Terence Johnson (ND) Matching April 17, / 41
What do you do when you can t use money to solve your problems?
Markets without money What do you do when you can t use money to solve your problems? Matching: heterosexual men and women marrying in a small town, students matching to universities, workers to jobs where
More informationTwo-Sided Matching. Terence Johnson. December 1, University of Notre Dame. Terence Johnson (ND) Two-Sided Matching December 1, / 47
Two-Sided Matching Terence Johnson University of Notre Dame December 1, 2017 Terence Johnson (ND) Two-Sided Matching December 1, 2017 1 / 47 Markets without money What do you do when you can t use money
More informationTwo-Sided Matching. Terence Johnson. September 1, University of Notre Dame. Terence Johnson (ND) Two-Sided Matching September 1, / 37
Two-Sided Matching Terence Johnson University of Notre Dame September 1, 2011 Terence Johnson (ND) Two-Sided Matching September 1, 2011 1 / 37 One-to-One Matching: Gale-Shapley (1962) There are two finite
More informationWe set up the basic model of two-sided, one-to-one matching
Econ 805 Advanced Micro Theory I Dan Quint Fall 2009 Lecture 18 To recap Tuesday: We set up the basic model of two-sided, one-to-one matching Two finite populations, call them Men and Women, who want to
More informationMatching Theory. Mihai Manea. Based on slides by Fuhito Kojima. MIT
Matching Theory Mihai Manea MIT Based on slides by Fuhito Kojima. Market Design Traditional economics focuses mostly on decentralized markets. Recently, economists are helping to design economic institutions
More informationThe key is that there are two disjoint populations, and everyone in the market is on either one side or the other
Econ 805 Advanced Micro Theory I Dan Quint Fall 2009 Lecture 17 So... two-sided matching markets. First off, sources. I ve updated the syllabus for the next few lectures. As always, most of the papers
More informationMatching Theory and the Allocation of Kidney Transplantations
University of Utrecht Bachelor Thesis Matching Theory and the Allocation of Kidney Transplantations Kim de Bakker Supervised by Dr. M. Ruijgrok 14 June 2016 Introduction Matching Theory has been around
More informationStable matching. Carlos Hurtado. July 5th, Department of Economics University of Illinois at Urbana-Champaign
Stable matching Carlos Hurtado Department of Economics University of Illinois at Urbana-Champaign hrtdmrt2@illinois.edu July 5th, 2017 C. Hurtado (UIUC - Economics) Game Theory On the Agenda 1 Introduction
More information1. REPRESENTATIVE PROBLEMS
1. REPRESENTATIVE PROBLEMS stable matching five representative problems Lecture slides by Kevin Wayne Copyright 2005 Pearson-Addison Wesley Copyright 2013 Kevin Wayne http://www.cs.princeton.edu/~wayne/kleinberg-tardos
More informationMatching: The Theory. Muriel Niederle Stanford and NBER. September 26, 2011
Matching: The Theory Muriel Niederle Stanford and NBER September 26, 2011 Studying and doing Market Economics In Jonathan Strange and Mr. Norrel, Susanna Clarke describes an England around 1800, with magic
More informationMechanism Design. Terence Johnson. December 7, University of Notre Dame. Terence Johnson (ND) Mechanism Design December 7, / 44
Mechanism Design Terence Johnson University of Notre Dame December 7, 2017 Terence Johnson (ND) Mechanism Design December 7, 2017 1 / 44 Market Design vs Mechanism Design In Market Design, we have a very
More information1 Definitions and Things You Know
We will discuss an algorithm for finding stable matchings (not the one you re probably familiar with). The Instability Chaining Algorithm is the most similar algorithm in the literature to the one actually
More information1. REPRESENTATIVE PROBLEMS
1. REPRESENTATIVE PROBLEMS stable matching five representative problems Special thanks to Kevin Wayne for sharing the slides Copyright 2005 Pearson-Addison Wesley Last updated on 15/9/12 下午 10:33 1. REPRESENTATIVE
More informationCSC2556. Lecture 5. Matching - Stable Matching - Kidney Exchange [Slides : Ariel D. Procaccia]
CSC2556 Lecture 5 Matching - Stable Matching - Kidney Exchange [Slides : Ariel D. Procaccia] CSC2556 - Nisarg Shah 1 Announcements The assignment is up! It is complete, and no more questions will be added.
More informationStrategy-Proofness and the Core in House Allocation Problems
Strategy-Proofness and the Core in House Allocation Problems Eiichi Miyagawa Department of Economics, Columbia University 420 West 118th Street, New York, NY 10027 Email: em437@columbia.edu July 28, 1999
More informationMatching: The Theory. Muriel Niederle Stanford and NBER. September 26, 2011
Matching: The Theory Muriel Niederle Stanford and NBER September 26, 2011 Studying and doing Market Economics In Jonathan Strange and Mr. Norrel, Susanna Clarke describes an England around 1800, with magic
More informationManipulability in matching markets: conflict and coincidence of interests
Soc Choice Welf (2012) 39:23 33 DOI 10.1007/s00355-011-0549-y ORIGINAL PAPER Manipulability in matching markets: conflict and coincidence of interests Itai Ashlagi Flip Klijn Received: 16 June 2010 / Accepted:
More informationAnalysis of Algorithms Fall Some Representative Problems Stable Matching
Analysis of Algorithms Fall 2017 Some Representative Problems Stable Matching Mohammad Ashiqur Rahman Department of Computer Science College of Engineering Tennessee Tech University Matching Med-school
More informationStrategic Behavior and Manipulation in Gender- Neutral Matching Algorithms
Rochester Institute of Technology RIT Scholar Works Theses Thesis/Dissertation Collections 12-2018 Strategic Behavior and Manipulation in Gender- Neutral Matching Algorithms Sanjay Varma Rudraraju sr2567@rit.edu
More informationMatching Problems. Roberto Lucchetti. Politecnico di Milano
Politecnico di Milano Background setting Problems introduced in 1962 by Gale and Shapley for the study of two sided markets: 1) workers & employers; 2) interns & hospitals; 3) students & universities;
More informationRecent Advances in Generalized Matching Theory
Recent Advances in Generalized Matching Theory John William Hatfield Stanford Graduate School of Business Scott Duke Kominers Becker Friedman Institute, University of Chicago Matching Problems: Economics
More information1. REPRESENTATIVE PROBLEMS
1. REPRESENTATIVE PROBLEMS stable matching five representative problems Lecture slides by Kevin Wayne Copyright 2005 Pearson-Addison Wesley http://www.cs.princeton.edu/~wayne/kleinberg-tardos Last updated
More informationWeights in stable marriage problems increase manipulation opportunities
Weights in stable marriage problems increase manipulation opportunities Maria Silvia Pini 1, Francesca Rossi 1, Kristen Brent Venable 1, Toby Walsh 2 1 : Department of Pure and Applied Mathematics, University
More informationMatching Problems. Roberto Lucchetti. Politecnico di Milano
Politecnico di Milano Background setting Problems introduced in 1962 by Gale and Shapley for the study of two sided markets: 1) workers & employers 2) interns & hospitals 3) students & universities 4)
More informationMechanism Design II. Terence Johnson. University of Notre Dame. Terence Johnson (ND) Mechanism Design II 1 / 30
Mechanism Design II Terence Johnson University of Notre Dame Terence Johnson (ND) Mechanism Design II 1 / 30 Mechanism Design Recall: game theory takes the players/actions/payoffs as given, and makes predictions
More informationMarket Design: Lecture 1 NICOLE IMMORLICA, NORTHWESTERN UNIVERSITY
Market Design: Lecture 1 NICOLE IMMORLICA, NORTHWESTERN UNIVERSITY Outline 1. IntroducEon: two- sided matching markets in pracece and impact of theory 2. Stable Matching Model: elementary definieons, fundamental
More informationTwo-sided Matching Theory
Treball nal de grau GRAU DE MATEMÀTIQUES Facultat de Matemàtiques Universitat de Barcelona Two-sided Matching Theory Autor: Helena Fàbregas Vàzquez Director: Dra. Marina Núnez Oliva Realitzat a: Departament
More informationCS 598RM: Algorithmic Game Theory, Spring Practice Exam Solutions
CS 598RM: Algorithmic Game Theory, Spring 2017 1. Answer the following. Practice Exam Solutions Agents 1 and 2 are bargaining over how to split a dollar. Each agent simultaneously demands share he would
More informationOptimal Truncation in Matching Markets
Optimal Truncation in Matching Markets Peter Coles Harvard Business School July 2009 Abstract Since no stable matching mechanism can induce truth-telling as a dominant strategy for all participants, there
More information1. STABLE MATCHING. stable matching problem Gale Shapley algorithm hospital optimality context
1. STABLE MATCHING stable matching problem Gale Shapley algorithm hospital optimality context Lecture slides by Kevin Wayne Copyright 2005 Pearson-Addison Wesley http://www.cs.princeton.edu/~wayne/kleinberg-tardos
More informationGame Theory: Lecture #5
Game Theory: Lecture #5 Outline: Stable Matchings The Gale-Shapley Algorithm Optimality Uniqueness Stable Matchings Example: The Roommate Problem Potential Roommates: {A, B, C, D} Goal: Divide into two
More informationStable Matching Existence, Computation, Convergence Correlated Preferences. Stable Matching. Algorithmic Game Theory.
Existence, Computation, Convergence Correlated Preferences Existence, Computation, Convergence Correlated Preferences Stable Marriage Set of Women Y Set of Men X Existence, Computation, Convergence Correlated
More informationDiscrete Mathematics and Probability Theory Fall 2014 Anant Sahai Homework 3. This homework is due September 22, 2014, at 12:00 noon.
EECS 70 Discrete Mathematics and Probability Theory Fall 2014 Anant Sahai Homework 3 This homework is due September 22, 2014, at 12:00 noon. 1. Propose-and-Reject Lab In this week s Virtual Lab, we will
More informationWeights in Stable Marriage Problems Increase Manipulation Opportunities
Weights in Stable Marriage Problems Increase Manipulation Opportunities Maria Silvia Pini mpini@math.unipd.it Francesca Rossi frossi@math.unipd.it Toby Walsh NICTA and UNSW Sydney, Australia toby.walsh@nicta.com.au
More informationPROBLEMS OF MARRIAGE Eugene Mukhin
PROBLEMS OF MARRIAGE Eugene Mukhin 1. The best strategy to find the best spouse. A person A is looking for a spouse, so A starts dating. After A dates the person B, A decides whether s/he wants to marry
More informationAN IMPOSSIBILITY THEOREM IN MATCHING PROBLEMS
Discussion aper No 677 AN IMOSSIBILITY THEOREM IN MATCHING ROBLEMS Shohei Takagi and Shigehiro Serizawa December 006 The Institute of Social and Economic Research Osaka University 6-1 Mihogaoka, Ibaraki,
More informationMath 301: Matchings in Graphs
Math 301: Matchings in Graphs Mary Radcliffe 1 Definitions and Basics We begin by first recalling some basic definitions about matchings. A matching in a graph G is a set M = {e 1, e 2,..., e k } of edges
More informationAssignment 3 Logic and Reasoning KEY
Assignment 3 Logic and Reasoning KEY Print this sheet and fill in your answers. Please staple the sheets together. Turn in at the beginning of class on Friday, September 8. Recall this about logic: Suppose
More informationThe Deferred Acceptance Algorithm. A thesis presented for a Bachelor degree in Economics and Business
The Deferred Acceptance Algorithm A thesis presented for a Bachelor degree in Economics and Business Luigi Croce Roma, June 2016 Contents 1 What is a Matching Market 2 1.1 Matching Markets Analysis.......................
More informationMatchings in Graphs. Definition 3 A matching N in G is said to be stable if it does not contain a blocking pair.
Matchings in Graphs Lecturer: Scribe: Prajakta Jose Mathew Meeting: 6 11th February 2010 We will be considering finite bipartite graphs. Think of one part of the vertex partition as representing men M,
More informationSEQUENTIAL ENTRY IN ONE-TO-ONE MATCHING MARKETS
REVISTA DE LA UNIÓN MATEMÁTICA ARGENTINA Vol. 54, No. 2, 2013, Pages 1 14 Published online: December 21, 2013 SEQUENTIAL ENTRY IN ONE-TO-ONE MATCHING MARKETS BEATRIZ MILLÁN Abstract. We study in one-to-one
More informationConsider a complete bipartite graph with sets A and B, each with n vertices.
When DFS discovers a non-tree edge, check if its two vertices have the same color (red or black). If all non-tree edges join vertices of different color then the graph is bipartite. (Note that all tree
More informationMa/CS 6b Class 3: Stable Matchings
Ma/CS 6b Class 3: Stable Matchings α p 5 p 12 p 15 q 1 q 7 q 12 β By Adam Sheffer Neighbor Sets Let G = V 1 V 2, E be a bipartite graph. For any vertex a V 1, we define the neighbor set of a as N a = u
More informationMonotonicity and Nash Implementation in Matching Markets with Contracts
Monotonicity and Nash Implementation in Matching Markets with Contracts Claus-Jochen Haake Bettina Klaus March 2006 Abstract We consider general two-sided matching markets, so-called matching with contracts
More informationDiscrete Mathematics and Probability Theory Fall 2014 Anant Sahai Midterm 1
EECS 70 Discrete Mathematics and Probability Theory Fall 2014 Anant Sahai Midterm 1 Exam location: 10 Evans, Last name starting with A-B or R-T PRINT your student ID: PRINT AND SIGN your name:, (last)
More informationIncentives in Large Random Two-Sided Markets
Incentives in Large Random Two-Sided Markets Nicole Immorlica Mohammad Mahdian November 17, 2008 Abstract Many centralized two-sided markets form a matching between participants by running a stable matching
More informationCompetition and Resource Sensitivity in Marriage and Roommate Markets
Competition and Resource Sensitivity in Marriage and Roommate Markets Bettina Klaus This Version: April 2010 Previous Versions: November 2007 and December 2008 Abstract We consider one-to-one matching
More informationDynamic Matching with a Fall-back Option
Dynamic Matching with a Fall-back Option Sujit Gujar 1 and David C Parkes 2 Abstract We study dynamic matching without money when one side of the market is dynamic with arrivals and departures and the
More informationCOOPERATIVE GAME THEORY: CORE AND SHAPLEY VALUE
1 / 54 COOPERATIVE GAME THEORY: CORE AND SHAPLEY VALUE Heinrich H. Nax hnax@ethz.ch & Bary S. R. Pradelski bpradelski@ethz.ch February 26, 2018: Lecture 2 2 / 54 What you did last week... There appear
More informationMatching with Myopic and Farsighted Players
Matching with Myopic and Farsighted Players P. Jean-Jacques Herings Ana Mauleon Vincent Vannetelbosch June 14, 2017 Abstract We study stable sets for marriage problems under the assumption that players
More informationVolume 31, Issue 4. Manilulation via endowments in university-admission problem
Volume 31, Issue 4 Manilulation via endowments in university-admission problem Doruk İriş Universidade Nova de Lisboa İpek Özkal-Sanver Istanbul Bilgi University Abstract We consider a two-sided many-to-one
More informationTHE CARLO ALBERTO NOTEBOOKS
THE CARLO ALBERTO NOTEBOOKS Games of Capacities: A (Close) Look to Nash Equilibria Antonio Romero-Medina Working Paper No. 52 July 2007 www.carloalberto.org Matteo Triossi Games of Capacities: A (Close)
More informationThe Blocking Lemma and Strategy-Proofness in Many-to-Many Matchings
The Blocking Lemma and Strategy-Proofness in Many-to-Many Matchings Zhenhua Jiao Institute for Advanced Research and School of Economics Shanghai University of Finance and Economics Shanghai, 200433, China
More informationMa/CS 6b Class 3: Stable Matchings
Ma/CS 6b Class 3: Stable Matchings α p 5 p 12 p 15 q 1 q 7 q 12 By Adam Sheffer Reminder: Alternating Paths Let G = V 1 V 2, E be a bipartite graph, and let M be a matching of G. A path is alternating
More informationBipartite Matchings and Stable Marriage
Bipartite Matchings and Stable Marriage Meghana Nasre Department of Computer Science and Engineering Indian Institute of Technology, Madras Faculty Development Program SSN College of Engineering, Chennai
More informationAlgorithmic Game Theory and Applications
Algorithmic Game Theory and Applications Lecture 18: Auctions and Mechanism Design II: a little social choice theory, the VCG Mechanism, and Market Equilibria Kousha Etessami Reminder: Food for Thought:
More informationDOCUMENTOS DE TRABAJO Serie Economía
DOCUMENTOS DE TRABAJO Serie Economía Nº 280 GAMES WITH CAPACITY MANIPULATION: INCENTIVES AND NASH EQUILIBRIA ANTONIO ROMERO-MEDINA Y MATTEO TRIOSSI Games with Capacity Manipulation: Incentives and Nash
More informationGame Theory and Algorithms Lecture 2: Nash Equilibria and Examples
Game Theory and Algorithms Lecture 2: Nash Equilibria and Examples February 24, 2011 Summary: We introduce the Nash Equilibrium: an outcome (action profile) which is stable in the sense that no player
More informationA : a b c d a : B C A E B : d b c a b : C A B D E C : d c a c : E D B C D : a d b d : A D E B C E : a b d. A : a b c d a : B C A D E
Microeconomics II( ECO 50) Questions on the comprehensive exam will be chosen from the list below( with possible minor variations) CALCULATORS ARE ALLOWED Matching. Consider the Gale-Shapley marriage problem
More informationSisterhood in the Gale-Shapley Matching Algorithm
Sisterhood in the Gale-Shapley Matching Algorithm Yannai A. Gonczarowski Einstein Institute of Mathematics and Center for the Study of Rationality Hebrew University, Jerusalem, Israel yannai@gonch.name
More informationCheating to Get Better Roommates in a Random Stable Matching
Cheating to Get Better Roommates in a Random Stable Matching Chien-Chung Huang Technical Report 2006-582 Dartmouth College Sudikoff Lab 6211 for Computer Science Hanover, NH 03755, USA villars@cs.dartmouth.edu
More informationCoalition Manipulation of the Gale-Shapley Algorithm
Coalition Manipulation of the Gale-Shapley Algorithm Weiran Shen and Pingzhong Tang Institute for Interdisciplinary Information Sciences Tsinghua University Beijing, China {emersonswr,kenshinping}@gmail.com
More informationTHREE ESSAYS ON GAME THEORY. Demet Yilmazkuday. Dissertation. Submitted to the Faculty of the. Graduate School of Vanderbilt University
THREE ESSAYS ON GAME THEORY By Demet Yilmazkuday Dissertation Submitted to the Faculty of the Graduate School of Vanderbilt University in partial ful llment of the requirements for the degree of DOCTOR
More informationProblem Set 6 Solutions
Problem Set 6 Solutions Exercise. Prom Example : (Alex Alice, Bob Betty), College Admission Example: (A (β,γ), B α); (A (α,β), B γ), Prom Example 2: (Alex Alice, Bob Betty); (Alex Betty, Bob Alice). Exercise
More informationDating and Divorce. Li, Hao and Sergei Severinov Vancouver School of Economics University of British Columbia. August 9, 2018.
Dating and Divorce Li, Hao and Sergei Severinov Vancouver School of Economics University of British Columbia August 9, 2018 Abstract We introduce private information in an otherwise standard search and
More informationSubstitutes and Stability for Matching with Contracts
Substitutes and Stability for Matching with Contracts John William Hatfield and Fuhito Kojima February 26, 2008 Abstract We consider the matching problem with contracts of Hatfield and Milgrom (2005),
More informationThe Blocking Lemma and Group Strategy-Proofness in Many-to-Many Matchings
The Blocking Lemma and Group Strategy-Proofness in Many-to-Many Matchings Zhenhua Jiao School of Economics Shanghai University of Finance and Economics Shanghai, 200433, China Guoqiang Tian Department
More informationPublished: Social Choice and Welfare, 33(1), June 2009, pp doi: /s SEQUENTIAL ENTRY IN MANY-TO-ONE MATCHING MARKETS
Published: Social Choice and Welfare, 33(1), June 2009, pp 87-99 doi:10.1007/s00355-008-0347-3 SEQUENTIAL ENTRY IN MANY-TO-ONE MATCHING MARKETS ELETTE BOYLE AND FEDERICO ECHENIQUE Abstract. We study sequential
More informationWhat You Don t Know Can Help You in School Assignment
What You Don t Know Can Help You in School Assignment Umut Mert Dur North Carolina State University Thayer Morrill North Carolina State University March 2018 Abstract No strategy-proof mechanism Pareto
More informationCompetition and Resource Sensitivity in Marriage and Roommate Markets
Competition and Resource Sensitivity in Marriage and Roommate Markets Bettina Klaus Working Paper 09-072 Copyright 2007, 2008 by Bettina Klaus Working papers are in draft form. This working paper is distributed
More informationGame Theory: Spring 2017
Game Theory: Spring 2017 Ulle Endriss Institute for Logic, Language and Computation University of Amsterdam Ulle Endriss 1 Plan for Today In this second lecture on mechanism design we are going to generalise
More informationEquilibria under Deferred Acceptance: Dropping Strategies, Filled Positions, and Welfare
Equilibria under Deferred Acceptance: Dropping Strategies, Filled Positions, and Welfare Paula Jaramillo Ça gatay Kay and Flip Klijn April 4, 2013 Abstract This paper studies manytoone matching markets
More informationCS711008Z Algorithm Design and Analysis
CS711008Z Algorithm Design and Analysis Lecture 1 Introduction and some representative problems 1 Dongbo Bu Institute of Computing Technology Chinese Academy of Sciences, Beijing, China 1 The slides are
More informationLecture 4. 1 Examples of Mechanism Design Problems
CSCI699: Topics in Learning and Game Theory Lecture 4 Lecturer: Shaddin Dughmi Scribes: Haifeng Xu,Reem Alfayez 1 Examples of Mechanism Design Problems Example 1: Single Item Auctions. There is a single
More informationMatching with Couples: Semi-Stability and Algorithm
Matching with Couples: Semi-Stability and Algorithm Zhishan Jiang School of Economics Shanghai University of Finance and Economics Shanghai 200433, China Guoqiang Tian Department of Economics Texas A&M
More informationPriority-Based Affirmative Action in School Choice
Priority-Based Affirmative Action in School Choice Zhenhua Jiao and Guoqiang Tian * July, 2017 Abstract This paper investigates the affirmative action in school choice problems. We show that the student-proposing
More informationSufficient Conditions for Weak Group-Strategy-Proofness
Sufficient Conditions for Weak Group-Strategy-Proofness T.C.A. Madhav Raghavan 31 July, 2014 Abstract In this note we study group-strategy-proofness, which is the extension of strategy-proofness to groups
More informationStable Marriage with Ties and Bounded Length Preference Lists
Stable Marriage with Ties and Bounded Length Preference Lists Robert W. Irving, David F. Manlove, and Gregg O Malley Department of Computing Science, University of Glasgow, Glasgow G12 8QQ, UK. Email:
More informationMatching with Couples: Stability and Algorithm
Matching with Couples: Stability and Algorithm Zhishan Jiang School of Economics Shanghai University of Finance and Economics Shanghai 200433, China Guoqiang Tian Department of Economics Texas A&M University
More informationrelations: stability and Pareto-efficiency
Matching with the simplest semiorder preference relations: stability and Pareto-efficiency National Research University Higher School of Economics SING, Paris, 20.07.2011 Gale-Shapley matching model Players
More informationMatching with Couples: Semi-Stability and Algorithm
Matching with Couples: Semi-Stability and Algorithm Zhishan Jiang School of Economics Shanghai University of Finance and Economics Shanghai 200433, China Guoqiang Tian Department of Economics Texas A&M
More informationIncentives and Manipulation in Large Market Matching with Substitutes
Incentives and Manipulation in Large Market Matching with Substitutes Evan Storms May 2013 Abstract The analysis of large two-sided many-to-one matching markets available to date focuses on the class of
More informationCS364B: Frontiers in Mechanism Design Lecture #3: The Crawford-Knoer Auction
CS364B: Frontiers in Mechanism Design Lecture #3: The Crawford-Knoer Auction Tim Roughgarden January 15, 2014 1 The Story So Far Our current theme is the design of ex post incentive compatible (EPIC) ascending
More informationGreedy Homework Problems
CS 1510 Greedy Homework Problems 1. Consider the following problem: INPUT: A set S = {(x i, y i ) 1 i n} of intervals over the real line. OUTPUT: A maximum cardinality subset S of S such that no pair of
More informationCS320 Algorithms: Theory and Practice. Course Introduction
Course Objectives CS320 Algorithms: Theory and Practice Algorithms: Design strategies for algorithmic problem solving Course Introduction "For me, great algorithms are the poetry of computation. Just like
More informationExpanding Choice in School Choice
Expanding Choice in School Choice Atila Abdulkadiroğlu Yeon-Koo Che Yosuke Yasuda October 15, Northwestern Seminar 1 Introduction Traditionally, students are assigned to public schools according to where
More informationApproximation and Randomized Algorithms (ARA) Lecture 1, September 3, 2012
Approximation and Randomized Algorithms (ARA) Lecture 1, September 3, 2012 Practicalities Code: 456314.0 intermediate and optional course Previous knowledge 456305.0 Datastrukturer II (Algoritmer) Period
More informationLeveling the Playing Field:
SCHOOL ASSIGNMENT POLICIES Leveling the Playing Field: Sincere and Sophisticated Players in the Boston Mechanism By Parag Pathak, Tayfun Sönmez Harvard University June 2007 RAPPAPORT Institute for Greater
More informationThe Coordinate-Wise Core for Multiple-Type Housing Markets is Second-Best Incentive Compatible
The Coordinate-Wise Core for Multiple-Type Housing Markets is Second-Best Incentive Compatible Bettina Klaus October 2005 Abstract We consider the generalization of Shapley and Scarf s (1974) model of
More informationNotes for Recitation 7
6.042/18.062J Mathematics for Computer Science October 1, 2010 Tom Leighton and Marten van Dijk Notes for Recitation 7 1 A Protocol for College Admission Next, we are going to talk about a generalization
More informationAlgorithm Design and Analysis
Algorithm Design and Analysis LECTURE 2 Analysis of Algorithms Stable matching problem Asymptotic growth Adam Smith Stable Matching Problem Unstable pair: man m and woman w are unstable if m prefers w
More informationECOLE POLYTECHNIQUE. Ordinally Bayesian Incentive Compatible Stable Matching. Dipjyoti Majumdar. Cahier n Décembre 2003
ECOLE POLYTECHNIQUE CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE Ordinally Bayesian Incentive Compatible Stable Matching Dipjyoti Majumdar Décembre 2003 Cahier n 2003-028 LABORATOIRE D'ECONOMETRIE 1rue
More informationStable Matchings and Preferences of Couples
Stable Matchings and Preferences of Couples Bettina Klaus Flip Klijn April 2004 Abstract: Couples looking for jobs in the same labor market may cause instabilities. We determine a natural preference domain,
More informationAdvanced Algorithms. Lecture Notes for April 5, 2016 Dynamic programming, continued (HMMs); Iterative improvement Bernard Moret
Advanced Algorithms Lecture Notes for April 5, 2016 Dynamic programming, continued (HMMs); Iterative improvement Bernard Moret Dynamic Programming (continued) Finite Markov models A finite Markov model
More informationImplementation of Stable Solutions to Marriage Problems
journal of economic theory 69, 240254 (1996) article no. 0050 Implementation of Stable Solutions to Marriage Problems Jose Alcalde* Departament de Fonaments de l'ana lisi Econo mica, Universitat d'alacant,
More informationWhat Matchings Can be Stable? Refutability in Matching Theory
allis/thomson Conference What Matchings Can be Stable? Refutability in Matching Theory Federico Echenique California Institute of Technology April 21-22, 2006 Motivation Wallis/Thomson Conference Standard
More informationSTABLE MARRIAGE PROBLEM WITH TIES AND INCOMPLETE BOUNDED LENGTH PREFERENCE LIST UNDER SOCIAL STABILITY
STABLE MARRIAGE PROBLEM WITH TIES AND INCOMPLETE BOUNDED LENGTH PREFERENCE LIST UNDER SOCIAL STABILITY Ashish Shrivastava and C. Pandu Rangan Department of Computer Science and Engineering, Indian Institute
More informationDeferred Acceptance and Regret-free Truthtelling: A Characterization Result
Deferred Acceptance and Regret-free Truthtelling: A Characterization Result Marcelo Ariel Fernández (Job Market Paper) October 1, 217 Abstract In this paper I analyze centralized matching markets and rationalize
More informationOnline Appendix for Incentives in Landing Slot Problems
Online Appendix for Incentives in Landing Slot Problems James Schummer Azar Abizada April 14, 2017 This document contains supplementary results and proofs for Incentives in Landing Slot Problems, published
More informationAlgorithm Design and Analysis
Algorithm Design and Analysis LECTURE 2 Analysis of Stable Matching Asymptotic Notation Adam Smith Stable Matching Problem Goal: Given n men and n women, find a "suitable" matching. Participants rate members
More information