Two-Sided Matching. Terence Johnson. December 1, University of Notre Dame. Terence Johnson (ND) Two-Sided Matching December 1, / 47
|
|
- Jonathan Clark
- 5 years ago
- Views:
Transcription
1 Two-Sided Matching Terence Johnson University of Notre Dame December 1, 2017 Terence Johnson (ND) Two-Sided Matching December 1, / 47
2 Markets without money What do you do when you can t use money to solve your problems? Terence Johnson (ND) Two-Sided Matching December 1, / 47
3 Markets without money What do you do when you can t use money to solve your problems? Pure matching: heterosexual men and women marrying in a small town, students matching to universities; the NRMP Terence Johnson (ND) Two-Sided Matching December 1, / 47
4 Markets without money What do you do when you can t use money to solve your problems? Pure matching: heterosexual men and women marrying in a small town, students matching to universities; the NRMP Allocating publicly owned goods: seats in public schools, publicly owned housing; the NYC/Boston matches Terence Johnson (ND) Two-Sided Matching December 1, / 47
5 Markets without money What do you do when you can t use money to solve your problems? Pure matching: heterosexual men and women marrying in a small town, students matching to universities; 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) Two-Sided Matching December 1, / 47
6 Markets without money What do you do when you can t use money to solve your problems? Pure matching: heterosexual men and women marrying in a small town, students matching to universities; 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) Two-Sided Matching December 1, / 47
7 Markets without money What do you do when you can t use money to solve your problems? Pure matching: heterosexual men and women marrying in a small town, students matching to universities; 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) Two-Sided Matching December 1, / 47
8 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 particularly interesting, or anything like that. Terence Johnson (ND) Two-Sided Matching December 1, / 47
9 Markets without money When money can t be exchanged, what is the generalization of the second price auction or Vickrey auction? Terence Johnson (ND) Two-Sided Matching December 1, / 47
10 Markets without money When money can t be exchanged, what is the generalization of the second price auction or Vickrey auction? i.e.: Does there exist a way of inducing agents to reveal their preferences that gives them a dominant strategy to be honest, and implements the best or efficient outcome in some sense? Terence Johnson (ND) Two-Sided Matching December 1, / 47
11 Markets without money 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) Two-Sided Matching December 1, / 47
12 Markets without money 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. Their partners alone aren t really the issue, it s the overall suitableness of a match for everyone in the town. We want a group equilibrium notion, not equilibrium agent-by-agent. Terence Johnson (ND) Two-Sided Matching December 1, / 47
13 Stability Consider an economy composed of agents i = 1, 2,..., N who have preferences u i (x), where x is some outcome like who gets a good at what price or who is matched with whom. Terence Johnson (ND) Two-Sided Matching December 1, / 47
14 Stability Consider an economy composed of agents i = 1, 2,..., N who have preferences u i (x), where x is some outcome like who gets a good at what price or who is matched with whom. An outcome x is stable if there is no subset of agents who prefer another outcome x, who could achieve that outcome amongst themselves. Terence Johnson (ND) Two-Sided Matching December 1, / 47
15 Stability Consider an economy composed of agents i = 1, 2,..., N who have preferences u i (x), where x is some outcome like who gets a good at what price or who is matched with whom. An outcome x is stable if there is no subset of agents who prefer another outcome x, who could achieve that outcome amongst themselves. The set of stable outcomes of an economy is called the core. Terence Johnson (ND) Two-Sided Matching December 1, / 47
16 Stability Consider an economy composed of agents i = 1, 2,..., N who have preferences u i (x), where x is some outcome like who gets a good at what price or who is matched with whom. An outcome x is stable if there is no subset of agents who prefer another outcome x, who could achieve that outcome amongst themselves. The set of stable outcomes of an economy is called the core. Is the outcome of a second price auction stable? Is the Vickrey outcome always stable? Is the outcome of a perfectly competitive economy in the core? Terence Johnson (ND) Two-Sided Matching December 1, / 47
17 Stability In a matching market, an outcome is stable is no two people want to cheat and have an affair. Terence Johnson (ND) Two-Sided Matching December 1, / 47
18 Stability In a matching market, an outcome is stable is no two people want to cheat and have an affair. In the marriage market: 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) Two-Sided Matching December 1, / 47
19 Stability In a matching market, an outcome is stable is no two people want to cheat and have an affair. In the marriage market: 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. But does such a matching always exist? How do we find it? What are the incentives that such a system would provide to participants? Terence Johnson (ND) Two-Sided Matching December 1, / 47
20 Marriage Markets: model There are two finite and disjoint sets M = {m 1, m 2,..., m n } of men and W = {w 1, w 2,..., w m } of women. Terence Johnson (ND) Two-Sided Matching December 1, / 47
21 Marriage Markets: model There are two finite and disjoint sets M = {m 1, m 2,..., m n } of men and W = {w 1, w 2,..., w m } of women. Each man has ordered, transitive, and complete preferences over the women, and each woman has ordered, transitive, and complete preferences over the men. The ordered list for a man is represented as P(m i ) = (w j1, w j2,..., m i, w jl,...w jm ), where m i appears at the point in the list where the man would rather be matched to himself than be matched to any of the partners w jl,..., w jm. Terence Johnson (ND) Two-Sided Matching December 1, / 47
22 Marriage Markets: model There are two finite and disjoint sets M = {m 1, m 2,..., m n } of men and W = {w 1, w 2,..., w m } of women. Each man has ordered, transitive, and complete preferences over the women, and each woman has ordered, transitive, and complete preferences over the men. The ordered list for a man is represented as P(m i ) = (w j1, w j2,..., m i, w jl,...w jm ), where m i appears at the point in the list where the man would rather be matched to himself than be matched to any of the partners w jl,..., w jm. If w appears earlier in P(m i ) than w, we say w mi w. Terence Johnson (ND) Two-Sided Matching December 1, / 47
23 Marriage Markets: model There are two finite and disjoint sets M = {m 1, m 2,..., m n } of men and W = {w 1, w 2,..., w m } of women. Each man has ordered, transitive, and complete preferences over the women, and each woman has ordered, transitive, and complete preferences over the men. The ordered list for a man is represented as P(m i ) = (w j1, w j2,..., m i, w jl,...w jm ), where m i appears at the point in the list where the man would rather be matched to himself than be matched to any of the partners w jl,..., w jm. If w appears earlier in P(m i ) than w, we say w mi w. A marriage market is a triple, (M, W, P), where P is the set of all the preferences of all the agents Terence Johnson (ND) Two-Sided Matching December 1, / 47
24 Marriage Markets Note that there are no utility functions: this is an ordinal theory Terence Johnson (ND) Two-Sided Matching December 1, / 47
25 Marriage Markets Note that there are no utility functions: this is an ordinal theory Note also that there s no calculus here: it s not even clear what we would want to maximize Terence Johnson (ND) Two-Sided Matching December 1, / 47
26 Marriage Markets Note that there are no utility functions: this is an ordinal theory Note also that there s no calculus here: it s not even clear what we would want to maximize Even if we knew what to maximize, that outcome might not be stable Terence Johnson (ND) Two-Sided Matching December 1, / 47
27 Matchings Definition A matching µ is a one-to-one mapping from the set of men to the set of women so that each agent is matched at most once to someone else, and that other person is matched to the agent (µ(µ(x)) = x). The mate of x is denoted µ(x). Terence Johnson (ND) Two-Sided Matching December 1, / 47
28 Matchings Definition A matching µ is a one-to-one mapping from the set of men to the set of women so that each agent is matched at most once to someone else, 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) Two-Sided Matching December 1, / 47
29 Matchings Definition A matching µ is a one-to-one mapping from the set of men to the set of women so that each agent is matched at most once to someone else, 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) Two-Sided Matching December 1, / 47
30 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) Two-Sided Matching December 1, / 47
31 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. Terence Johnson (ND) Two-Sided Matching December 1, / 47
32 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 however, is stable. ( ) µ w1 w = 2 w 3 m 1 m 3 m 2 Terence Johnson (ND) Two-Sided Matching December 1, / 47
33 Instability in one-sided markets There is not always a stable match in every kind of market you might imagine Terence Johnson (ND) Two-Sided Matching December 1, / 47
34 Instability in one-sided markets There is not always a stable match in every kind of market you might imagine There are four people trying to match into rooms, a, b, c, and d. Terence Johnson (ND) Two-Sided Matching December 1, / 47
35 Instability in one-sided markets There is not always a stable match in every kind of market you might imagine There are four people trying to match into 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) Two-Sided Matching December 1, / 47
36 Instability in one-sided markets There is not always a stable match in every kind of market you might imagine There are four people trying to match into 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) Two-Sided Matching December 1, / 47
37 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) Two-Sided Matching December 1, / 47
38 The Gale-Shapley Algorithm Definition The Gale-Shapley algorithm is the procedure where Terence Johnson (ND) Two-Sided Matching December 1, / 47
39 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) Two-Sided Matching December 1, / 47
40 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) Two-Sided Matching December 1, / 47
41 Marriage Markets Red people are one side of the market, black people are the other side. People on each side of the market have a number. Terence Johnson (ND) Two-Sided Matching December 1, / 47
42 Marriage Markets Red people are one side of the market, black people are the other side. People on each side of the market have a number. 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) Two-Sided Matching December 1, / 47
43 Marriage Markets Red people are one side of the market, black people are the other side. People on each side of the market have a number. 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; the deferred acceptance side can accept or reject however it sees fit Terence Johnson (ND) Two-Sided Matching December 1, / 47
44 Marriage Markets Red people are one side of the market, black people are the other side. People on each side of the market have a number. 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; the deferred acceptance side can accept or reject however it sees fit Terence Johnson (ND) Two-Sided Matching December 1, / 47
45 Existence of stable matchings Theorem Every marriage market has at least one stable match, and the Gale-Shapley algorithm computes it. Terence Johnson (ND) Two-Sided Matching December 1, / 47
46 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 men never revisit women who have previously rejected them, so it produces a matching µ. Terence Johnson (ND) Two-Sided Matching December 1, / 47
47 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 men never revisit women who have previously rejected them, so it 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) Two-Sided Matching December 1, / 47
48 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 men never revisit women who have previously rejected them, so it 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) Two-Sided Matching December 1, / 47
49 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 men never revisit women who have previously rejected them, so it 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) Two-Sided Matching December 1, / 47
50 Other matching algorithms Not all matching algorithms are so nice Terence Johnson (ND) Two-Sided Matching December 1, / 47
51 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) Two-Sided Matching December 1, / 47
52 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) Two-Sided Matching December 1, / 47
53 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) Two-Sided Matching December 1, / 47
54 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) Two-Sided Matching December 1, / 47
55 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) Two-Sided Matching December 1, / 47
56 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) Two-Sided Matching December 1, / 47
57 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) Two-Sided Matching December 1, / 47
58 Other matching algorithms... ( w1 w µ 0 = 2 w 3 m 1 m 2 m 3 which is where we started. ) Terence Johnson (ND) Two-Sided Matching December 1, / 47
59 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) Two-Sided Matching December 1, / 47
60 Optimality What would it mean for a match to be optimal? Terence Johnson (ND) Two-Sided Matching December 1, / 47
61 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) Two-Sided Matching December 1, / 47
62 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) Two-Sided Matching December 1, / 47
63 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) Two-Sided Matching December 1, / 47
64 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) Two-Sided Matching December 1, / 47
65 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. Theorem If all preferences are strict, there is an M-optimal stable matching, and a W -optimal stable matching. The M-optimal stable match is computed when men propose in the Gale-Shapley algorithm, and likewise for the women. Terence Johnson (ND) Two-Sided Matching December 1, / 47
66 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. Theorem If all preferences are strict, there is an M-optimal stable matching, and a W -optimal stable matching. The M-optimal stable match is computed when men propose in the Gale-Shapley algorithm, and likewise for the women. The strategy of the proof is to show that with the Gale-Shapley algorithm, if w rejects m at any point, there is no stable matching µ at which w and m are partners. Therefore, there is no stable match where a rejected man can get a more preferred partner, and this is then the best stable match for the men. Terence Johnson (ND) Two-Sided Matching December 1, / 47
67 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) Two-Sided Matching December 1, / 47
68 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) Two-Sided Matching December 1, / 47
69 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) Two-Sided Matching December 1, / 47
70 Optimality and Opposing Preferences Theorem When all sides have strict preferences, µ M µ if and only if µ W µ. Terence Johnson (ND) Two-Sided Matching December 1, / 47
71 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) Two-Sided Matching December 1, / 47
72 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) Two-Sided Matching December 1, / 47
73 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) Two-Sided Matching December 1, / 47
74 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) Two-Sided Matching December 1, / 47
75 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. This theorem has... implications. Terence Johnson (ND) Two-Sided Matching December 1, / 47
76 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) Two-Sided Matching December 1, / 47
77 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) Two-Sided Matching December 1, / 47
78 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) Two-Sided Matching December 1, / 47
79 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) Two-Sided Matching December 1, / 47
80 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) Two-Sided Matching December 1, / 47
81 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) Two-Sided Matching December 1, / 47
82 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) Two-Sided Matching December 1, / 47
83 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) Two-Sided Matching December 1, / 47
84 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) Two-Sided Matching December 1, / 47
85 Equilibrium in the Gale-Shapley Algorithm This shows agents on the conditionally accepting side may have incentives to misrepresent their preferences Terence Johnson (ND) Two-Sided Matching December 1, / 47
86 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) Two-Sided Matching December 1, / 47
87 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) Two-Sided Matching December 1, / 47
88 Equilibrium in the Gale-Shapley Algorithm What about incentives on the proposing side? Terence Johnson (ND) Two-Sided Matching December 1, / 47
89 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) Two-Sided Matching December 1, / 47
90 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) Two-Sided Matching December 1, / 47
91 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) Two-Sided Matching December 1, / 47
92 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) Two-Sided Matching December 1, / 47
93 Roth s Impossibility Theorem Theorem There does not exist a stable matching mechanism that implements honest reporting in weakly dominant strategies. Terence Johnson (ND) Two-Sided Matching December 1, / 47
94 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) Two-Sided Matching December 1, / 47
95 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) Two-Sided Matching December 1, / 47
96 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) Two-Sided Matching December 1, / 47
97 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) Two-Sided Matching December 1, / 47
98 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) Two-Sided Matching December 1, / 47
99 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) Two-Sided Matching December 1, / 47
100 Many-to-One Matching: Hospitals and Colleges To what extend can the marriage market results be extended to many-to-one matching models? Terence Johnson (ND) Two-Sided Matching December 1, / 47
101 Many-to-One Matching: Hospitals and Colleges To what extend can the marriage market results be extended to many-to-one matching models? There are two disjoint sets, students S = {s 1,..., s m } and colleges, C = {c 1,..., c m }. 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) Two-Sided Matching December 1, / 47
102 Many-to-One Matching: Hospitals and Colleges To what extend can the marriage market results be extended to many-to-one matching models? There are two disjoint sets, students S = {s 1,..., s m } and colleges, C = {c 1,..., c m }. 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) Two-Sided Matching December 1, / 47
103 Many-to-One Matching: Hospitals and Colleges To what extend can the marriage market results be extended to many-to-one matching models? There are two disjoint sets, students S = {s 1,..., s m } and colleges, C = {c 1,..., c m }. 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) Two-Sided Matching December 1, / 47
104 The Many-to-One Deferred Acceptance Algorithm Consider breaking each college j into q cj copies of itself and constructing a one-to-one marriage market where each copy of college j has the same preferences, and the students preferences over copies is the same as the preferences over the original colleges. Terence Johnson (ND) Two-Sided Matching December 1, / 47
105 The Many-to-One Deferred Acceptance Algorithm Consider breaking each college j into q cj copies of itself and constructing a one-to-one marriage market where each copy of college j has the same preferences, and the students preferences over copies is the same as the preferences over the original colleges. Theorem A matching is stable in the many-to-one market iff the matching is stable in the corresponding one-to-one market. Terence Johnson (ND) Two-Sided Matching December 1, / 47
106 The Many-to-One Deferred Acceptance Algorithm Consider breaking each college j into q cj copies of itself and constructing a one-to-one marriage market where each copy of college j has the same preferences, and the students preferences over copies is the same as the preferences over the original colleges. Theorem A matching is stable in the many-to-one market iff the matching is stable in the corresponding one-to-one market. So similar variations of the one-to-one results apply to the many-to-one market with responsive preferences. This is false, however, if the students have preferences over which students they attend school with (or which doctors have preferences over which doctors they do their residency with; namely their spouses) Terence Johnson (ND) Two-Sided Matching December 1, / 47
107 The Many-to-One Deferred Acceptance Algorithm For students 1 to 3, and for students 4 to 6, The college s preferences are s i : c 1 c 2 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) Two-Sided Matching December 1, / 47
108 Assigning goods without money ( one-sided matching ) Instead of considering two-sided markets, consider the case where we want to distribute or re-allocate goods in a Pareto-improving way: There are a limited number of seats for students in classes, and the college wants to determine which students enroll in which courses In Israel, there were random allocations of families to government-owned houses to be fair... but ex post, many families were dissatisfied with their homes and preferred someone else s Terence Johnson (ND) Two-Sided Matching December 1, / 47
109 Assigning goods without money ( one-sided matching ) Instead of considering two-sided markets, consider the case where we want to distribute or re-allocate goods in a Pareto-improving way: There are a limited number of seats for students in classes, and the college wants to determine which students enroll in which courses In Israel, there were random allocations of families to government-owned houses to be fair... but ex post, many families were dissatisfied with their homes and preferred someone else s How can goods be assigned to consumers without money in Pareto-improving ways? Terence Johnson (ND) Two-Sided Matching December 1, / 47
110 Serial Random Dictatorship (SRD) Suppose there are agents i = 1, 2,..., N and goods k = 1, 2,..., M. Each agent has ordered, complete, transitive preferences over the goods. We want to assign the goods in a way that agents have a weakly dominant strategy to reveal their preferences honestly. Terence Johnson (ND) Two-Sided Matching December 1, / 47
111 Serial Random Dictatorship (SRD) Suppose there are agents i = 1, 2,..., N and goods k = 1, 2,..., M. Each agent has ordered, complete, transitive preferences over the goods. We want to assign the goods in a way that agents have a weakly dominant strategy to reveal their preferences honestly. Serial Random Dictatorship is the game where 1 Agents submit an ordered list 2 We pick agent an agent i at random, and allocate to i the remaining good that is ranked highest by i, and repeat until all goods are assigned or all agents have a good. Terence Johnson (ND) Two-Sided Matching December 1, / 47
112 Serial Random Dictatorship (SRD) Suppose there are agents i = 1, 2,..., N and goods k = 1, 2,..., M. Each agent has ordered, complete, transitive preferences over the goods. We want to assign the goods in a way that agents have a weakly dominant strategy to reveal their preferences honestly. Serial Random Dictatorship is the game where 1 Agents submit an ordered list 2 We pick agent an agent i at random, and allocate to i the remaining good that is ranked highest by i, and repeat until all goods are assigned or all agents have a good. Theorem Serial Random Dictatorship implements honest reporting in weakly dominant strategies. Terence Johnson (ND) Two-Sided Matching December 1, / 47
113 Serial Random Dictatorship (SRD) Suppose there are agents i = 1, 2,..., N and goods k = 1, 2,..., M. Each agent has ordered, complete, transitive preferences over the goods. We want to assign the goods in a way that agents have a weakly dominant strategy to reveal their preferences honestly. Serial Random Dictatorship is the game where 1 Agents submit an ordered list 2 We pick agent an agent i at random, and allocate to i the remaining good that is ranked highest by i, and repeat until all goods are assigned or all agents have a good. Theorem Serial Random Dictatorship implements honest reporting in weakly dominant strategies. If I omit something from my list, that might be the only item I could get; if I switch the order, I might get a worse item than I would have gotten if I were honest. Terence Johnson (ND) Two-Sided Matching December 1, / 47
114 Serial Random Dictatorship Goods Agents Terence Johnson (ND) Two-Sided Matching December 1, / 47
115 Serial Random Dictatorship Consider the following properties a game might have: Pareto Optimality: given the reported preferences, the game selects a Pareto optimal lottery, so that there is no lottery that makes all the agents better off and at least one agent strictly better off Symmetry: if agent i and i report the same preferences, they expect the same probabilities of getting each good Nash implementation: it is a Nash equilibrium to report preferences honestly Terence Johnson (ND) Two-Sided Matching December 1, / 47
116 Serial Random Dictatorship Consider the following properties a game might have: Pareto Optimality: given the reported preferences, the game selects a Pareto optimal lottery, so that there is no lottery that makes all the agents better off and at least one agent strictly better off Symmetry: if agent i and i report the same preferences, they expect the same probabilities of getting each good Nash implementation: it is a Nash equilibrium to report preferences honestly Theorem There is no game that allocates goods to agents that satisfies Pareto optimality, symmetry, and implements truth-telling in Nash equilibrium for all profiles of agent preferences. Terence Johnson (ND) Two-Sided Matching December 1, / 47
117 Serial Random Dictatorship Consider the following properties a game might have: Pareto Optimality: given the reported preferences, the game selects a Pareto optimal lottery, so that there is no lottery that makes all the agents better off and at least one agent strictly better off Symmetry: if agent i and i report the same preferences, they expect the same probabilities of getting each good Nash implementation: it is a Nash equilibrium to report preferences honestly Theorem There is no game that allocates goods to agents that satisfies Pareto optimality, symmetry, and implements truth-telling in Nash equilibrium for all profiles of agent preferences. Proof is essentially by a complicated exercise in linear algebra. Terence Johnson (ND) Two-Sided Matching December 1, / 47
Matching. Terence Johnson. April 17, University of Notre Dame. Terence Johnson (ND) Matching April 17, / 41
Matching Terence Johnson University of Notre Dame April 17, 2018 Terence Johnson (ND) Matching April 17, 2018 1 / 41 Markets without money What do you do when you can t use money to solve your problems?
More informationWhat 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. 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 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 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 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 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 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 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 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 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 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 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 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 4)
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 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: 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 informationEpsilon-Stability in School Choice
Epsilon-Stability in School Choice Chao Huang, Qianfeng Tang, and Ziwei Wang January 15, 2017 Abstract In many school choice practices, scores, instead of ordinal rankings, are used to indicate students
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 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 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 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 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 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 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 informationStability and the Core of Probabilistic Marriage Problems
Stability and the Core of Probabilistic Marriage Problems Vikram Manjunath First draft: June 3, 2010 This version: July 29, 2017 Abstract We study the marriage problem where a probability distribution
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 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 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 informationCS364B: Frontiers in Mechanism Design Lecture #2: Unit-Demand Bidders and Walrasian Equilibria
CS364B: Frontiers in Mechanism Design Lecture #2: Unit-Demand Bidders and Walrasian Equilibria Tim Roughgarden January 8, 2014 1 Bidders with Unit-Demand Valuations 1.1 The Setting Last lecture we discussed
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 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 informationAPPLIED MECHANISM DESIGN FOR SOCIAL GOOD
APPLIED MECHANISM DESIGN FOR SOCIAL GOOD JOHN P DICKERSON Lecture #3 09/06/2016 CMSC828M Tuesdays & Thursdays 12:30pm 1:45pm REMINDER: SEND ME TOP 3 PRESENTATION PREFERENCES! I LL POST THE SCHEDULE TODAY
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 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 informationOn the Shapley-Scarf Economy: The Case of Multiple Types of Indivisible Goods
On the Shapley-Scarf Economy: The Case of Multiple Types of Indivisible Goods Hideo Konishi Thomas Quint Jun Wako April, 1997 (first version) October 1997 (revised) July 20, 2000 (second revision) file
More informationEfficiency and Stability of Probabilistic Assignments in Marriage Problems
Efficiency and Stability of Probabilistic Assignments in Marriage Problems Battal Doğan Kemal Yıldız March 23, 205 Abstract We study marriage problems where two groups of agents, men and women, match each
More informationNASH IMPLEMENTATION USING SIMPLE MECHANISMS WITHOUT UNDESIRABLE MIXED-STRATEGY EQUILIBRIA
NASH IMPLEMENTATION USING SIMPLE MECHANISMS WITHOUT UNDESIRABLE MIXED-STRATEGY EQUILIBRIA MARIA GOLTSMAN Abstract. This note shows that, in separable environments, any monotonic social choice function
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 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 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 informationPrice of Stability in Survivable Network Design
Noname manuscript No. (will be inserted by the editor) Price of Stability in Survivable Network Design Elliot Anshelevich Bugra Caskurlu Received: January 2010 / Accepted: Abstract We study the survivable
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 informationwhere Female = 0 for males, = 1 for females Age is measured in years (22, 23, ) GPA is measured in units on a four-point scale (0, 1.22, 3.45, etc.
Notes on regression analysis 1. Basics in regression analysis key concepts (actual implementation is more complicated) A. Collect data B. Plot data on graph, draw a line through the middle of the scatter
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 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 informationCadet-Branch Matching
Cadet-Branch Matching TAYFUN SÖNMEZ Boston College Prior to 2006, the United States Military Academy (USMA) matched cadets to military specialties (branches) using a single category ranking system to determine
More informationCPS 173 Mechanism design. Vincent Conitzer
CPS 173 Mechanism design Vincent Conitzer conitzer@cs.duke.edu edu Mechanism design: setting The center has a set of outcomes O that she can choose from Allocations of tasks/resources, joint plans, Each
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 informationAn Equivalence result in School Choice
An Equivalence result in School Choice Jay Sethuraman May 2009 Abstract The main result of the paper is a proof of the equivalence of single and multiple lottery mechanisms for the problem of allocating
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 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 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 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 informationLecture 10: Mechanism Design
Computational Game Theory Spring Semester, 2009/10 Lecture 10: Mechanism Design Lecturer: Yishay Mansour Scribe: Vera Vsevolozhsky, Nadav Wexler 10.1 Mechanisms with money 10.1.1 Introduction As we have
More informationMatching and Market Design
Matching and Market Design Theory and Practice Xiang Sun August 23, 2016 ii Contents Acknowledgement v 1 Introduction 1 1.1 Matching and market design.......................................... 1 1.2 Time
More information2 Making the Exponential Mechanism Exactly Truthful Without
CIS 700 Differential Privacy in Game Theory and Mechanism Design January 31, 2014 Lecture 3 Lecturer: Aaron Roth Scribe: Aaron Roth Privacy as a Tool for Mechanism Design for arbitrary objective functions)
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 informationExact and Approximate Equilibria for Optimal Group Network Formation
Exact and Approximate Equilibria for Optimal Group Network Formation Elliot Anshelevich and Bugra Caskurlu Computer Science Department, RPI, 110 8th Street, Troy, NY 12180 {eanshel,caskub}@cs.rpi.edu Abstract.
More informationSecond Welfare Theorem
Second Welfare Theorem Econ 2100 Fall 2015 Lecture 18, November 2 Outline 1 Second Welfare Theorem From Last Class We want to state a prove a theorem that says that any Pareto optimal allocation is (part
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 informationRecap Social Choice Functions Fun Game Mechanism Design. Mechanism Design. Lecture 13. Mechanism Design Lecture 13, Slide 1
Mechanism Design Lecture 13 Mechanism Design Lecture 13, Slide 1 Lecture Overview 1 Recap 2 Social Choice Functions 3 Fun Game 4 Mechanism Design Mechanism Design Lecture 13, Slide 2 Notation N is the
More informationCan everyone benefit from innovation?
Can everyone benefit from innovation? Christopher P. Chambers and Takashi Hayashi June 16, 2017 Abstract We study a resource allocation problem with variable technologies, and ask if there is an allocation
More informationNotes on Mechanism Designy
Notes on Mechanism Designy ECON 20B - Game Theory Guillermo Ordoñez UCLA February 0, 2006 Mechanism Design. Informal discussion. Mechanisms are particular types of games of incomplete (or asymmetric) information
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 information