Dynamic Matching under Preferences
|
|
- Lambert Williams
- 5 years ago
- Views:
Transcription
1 Dynamic Matching under Preferences Martin Hoefer Max-Planck-Institut für Informatik Kolkata, 11 March 2015
2 How to find a stable relationship?
3 Stable Marriage Set of Women Set of Men
4 Stable Marriage Set of Women Set of Men Every person has a preference list.
5 Stable Marriage Set of Women Set of Men Every person has a preference list.
6 Stable Marriage Set of Women Set of Men Every person has a preference list.
7 Stable Matching {x, y} is blocking pair if and only if x and y prefer each other to their current matches. x y Matching M is a stable matching if and only if it has no blocking pair. x y
8 Stable Matching {x, y} is blocking pair if and only if x and y prefer each other to their current matches. x y Matching M is a stable matching if and only if it has no blocking pair. x y Some Results and Extensions: A stable matching always exists and there is an efficient algorithm to compute it. [Gale, Shapley 62] Many further results since the 60s: Roommates, Ties, Incomplete Preferences, Many-to-Many Matchings...
9 Applications Residents/Hospitals College Admission Job Market Trading P2P Networks etc.
10 Applications Residents/Hospitals College Admission Job Market Trading P2P Networks etc. Question What happens when there is no central authority that dictates the matches, and agents have only limited information about the population? Do agents reach a stable matching? How long does it take?
11 Blocking-Pair Dynamics Matching not stable Choose a blocking pair and resolve it
12 Blocking-Pair Dynamics Matching not stable Choose a blocking pair and resolve it
13 Blocking-Pair Dynamics Matching not stable Choose a blocking pair and resolve it
14 Blocking-Pair Dynamics Matching not stable Choose a blocking pair and resolve it
15 Blocking-Pair Dynamics Matching not stable Choose a blocking pair and resolve it
16 Blocking-Pair Dynamics Matching not stable Choose a blocking pair and resolve it
17 Blocking-Pair Dynamics Matching not stable Choose a blocking pair and resolve it
18 Blocking-Pair Dynamics Matching not stable Choose a blocking pair and resolve it
19 Results Blocking-pair dynamics can cycle. [Knuth 90] There is always a sequence of blocking-pair resolutions to a stable matching of polynomial length. [Roth, Vande Vate 90] The last result shows that when blocking pairs are chosen uniformly at random in each step, such random dynamics converge with probability 1. Random dynamics might take exponential time with high probability to reach a stable matching. [Ackermann, Goldberg, Mirrokni, Röglin, Vöcking 08]
20 Locally Stable Matching [Arcaute, Vassilvitskii 09] Agents are nodes in a static (social) network N with undirected links L. Network imposes an information structure based on triadic closure:
21 Locally Stable Matching [Arcaute, Vassilvitskii 09] Agents are nodes in a static (social) network N with undirected links L. Network imposes an information structure based on triadic closure: Each man (woman) can match to any woman (man) in the 2-hop neighborhood in N
22 Locally Stable Matching [Arcaute, Vassilvitskii 09] Agents are nodes in a static (social) network N with undirected links L. Network imposes an information structure based on triadic closure: Each man (woman) can match to any woman (man) in the 2-hop neighborhood in N Match {x, y} x (y) can re-match to a direct neighbor of y (x) in N.
23 Locally Stable Matching [Arcaute, Vassilvitskii 09] Given a (partial) matching M, x and y are accessible if they are at hop-distance 2 in the graph G = (V, L M). {x, y} is a local blocking pair if it is a blocking pair and x and y are accessible. Matching M is a locally stable matching if it has no local blocking pair.
24 Locally Stable Matching [Arcaute, Vassilvitskii 09] Given a (partial) matching M, x and y are accessible if they are at hop-distance 2 in the graph G = (V, L M). {x, y} is a local blocking pair if it is a blocking pair and x and y are accessible. Matching M is a locally stable matching if it has no local blocking pair.
25 Locally Stable Matching [Arcaute, Vassilvitskii 09] Given a (partial) matching M, x and y are accessible if they are at hop-distance 2 in the graph G = (V, L M). {x, y} is a local blocking pair if it is a blocking pair and x and y are accessible. Matching M is a locally stable matching if it has no local blocking pair.
26 Locally Stable Matching [Arcaute, Vassilvitskii 09] What happens if agents iteratively re-match in local blocking pairs?
27 Locally Stable Marriage with Strict Preferences [H., Wagner ICALP 13] Reachability for locally stable marriage with arbitrary strict preferences Stable Matching Locally Stable Matching Reachability Yes NP-hard [RVV 90]
28 Locally Stable Marriage with Strict Preferences [H., Wagner ICALP 13] Reachability for locally stable marriage with arbitrary strict preferences Stable Matching Locally Stable Matching Reachability Yes NP-hard [RVV 90] Shortest Sequence O(n 2 ) 2 Ω(n) [RVV 90]
29 Reaching a LSM might be impossible Impossible to create enough edges: (, ) (, ) (, ) (, ) Edge improvements are mutually destroying: [...]
30 Reaching a LSM might be impossible Impossible to create enough edges: (, ) (, ) (, ) (, ) Edge improvements are mutually destroying: [...]
31 Reaching a LSM might be impossible Impossible to create enough edges: (, ) (, ) (, ) (, ) Edge improvements are mutually destroying: [...]
32 Reaching a LSM might be impossible Impossible to create enough edges: (, ) (, ) (, ) (, ) Edge improvements are mutually destroying: [...]
33 Reaching a LSM might be impossible Impossible to create enough edges: (, ) (, ) (, ) (, ) Edge improvements are mutually destroying: [...]
34 Memory What if agents can recall some of their previous matches?
35 Memory What if agents can recall some of their previous matches? Random Memory Each agent picks uniformly at random one agent that he was matched to before to become temporarily accessible in the next round.
36 Memory What if agents can recall some of their previous matches? Random Memory Each agent picks uniformly at random one agent that he was matched to before to become temporarily accessible in the next round. Deterministic Memory Each agent deterministically remembers one previous match every round. Quality Memory: Remember highest benefit match. Recency Memory: Remember most recent match.
37 Locally Stable Marriage with Strict Preferences [H., Wagner ICALP 13] Reachability for locally stable marriage with arbitrary strict preferences Stable Matching Locally Stable Matching Reachability Yes NP-hard [RVV 90] Shortest Sequence O(n 2 ) 2 Ω(n) [RVV 90] Reachability Quality Memory Yes, O(n 2 ) NP-hard even if one side no internal links
38 Quality Memory is Easily Fooled! For a hardness instance starting from empty matching, attach separate gadget to selected vertices for memory wipe-out.
39 Quality Memory is Easily Fooled! For a hardness instance starting from empty matching, attach separate gadget to selected vertices for memory wipe-out.
40 Quality Memory is Easily Fooled! For a hardness instance starting from empty matching, attach separate gadget to selected vertices for memory wipe-out.
41 Locally Stable Marriage with Strict Preferences [H., Wagner ICALP 13] Reachability for locally stable marriage with arbitrary strict preferences Stable Matching Locally Stable Matching Reachability Yes NP-hard [RVV 90] Shortest Sequence O(n 2 ) 2 Ω(n) [RVV 90] Reachability Quality Memory Yes, O(n 2 ) NP-hard even if one side no internal links Reachability Recency Memory Yes, O(n 2 ) Yes, O(n 3 ) if one side no internal links
42 Recency Memory is More Powerful Convergence with full information works in two phases: 1 Only matched men resolve blocking pairs (man increase) 2 Only unmatched men resolve blocking pairs (woman increase) No network between men Augment second phase with recency memory.
43 Recency Memory is More Powerful Convergence with full information works in two phases: 1 Only matched men resolve blocking pairs (man increase) 2 Only unmatched men resolve blocking pairs (woman increase) No network between men Augment second phase with recency memory.
44 Recency Memory is More Powerful Convergence with full information works in two phases: 1 Only matched men resolve blocking pairs (man increase) 2 Only unmatched men resolve blocking pairs (woman increase) No network between men Augment second phase with recency memory.
45 Recency Memory is More Powerful Convergence with full information works in two phases: 1 Only matched men resolve blocking pairs (man increase) 2 Only unmatched men resolve blocking pairs (woman increase) No network between men Augment second phase with recency memory.
46 Recency Memory is More Powerful Convergence with full information works in two phases: 1 Only matched men resolve blocking pairs (man increase) 2 Only unmatched men resolve blocking pairs (woman increase) No network between men Augment second phase with recency memory.
47 Recency Memory is More Powerful Convergence with full information works in two phases: 1 Only matched men resolve blocking pairs (man increase) 2 Only unmatched men resolve blocking pairs (woman increase) No network between men Augment second phase with recency memory.
48 Recency Memory is More Powerful Convergence with full information works in two phases: 1 Only matched men resolve blocking pairs (man increase) 2 Only unmatched men resolve blocking pairs (woman increase) No network between men Augment second phase with recency memory.
49 Locally Stable Marriage with Strict Preferences [H., Wagner ICALP 13] Reachability for locally stable marriage with arbitrary strict preferences Stable Matching Locally Stable Matching Reachability Yes NP-hard [RVV 90] Shortest Sequence O(n 2 ) 2 Ω(n) [RVV 90] Reachability Quality Memory Yes, O(n 2 ) NP-hard even if one side no internal links Reachability Recency Memory Yes, O(n 2 ) Yes, O(n 3 ) if one side no internal links Reachability Random Memory w. prob. 1 w. prob. 1
50 Correlated or Weighted Matching Each possible match e = {x, y} has a benefit b e > (, ) (, ) 25 (, ) 20 (, )
51 Correlated or Weighted Matching Each possible match e = {x, y} has a benefit b e > (, ) (, ) 25 (, ) 20 (, ) Blocking-pair dynamics do not cycle the sorted vector of match benefits is lexicographically increasing. Best-response dynamics resolve always the blocking pair of maximum benefit. They converge in time O(n) to a stable matching. [Ackermann, Goldberg, Mirrokni, Röglin, Vöcking 08]
52 Results for Weighted Matching [H. ICALP 11] Parameters: There is a subset E of allowed matches, and m = E. Shortest Seq. Rand. Dynamics Best-Response 2 Ω(n) 2 Ω(n) Better-Response O(n m 2 ) 2 Ω(n)
53 Results for Weighted Matching [H. ICALP 11] Parameters: There is a subset E of allowed matches, and m = E. Each agent can build k 1 matching edges. Each agent has lookahead l 2 in the graph G = (V, L M). Shortest Seq. Rand. Dynamics Best-Response k = 1, l = 2 2 Ω(n) 2 Ω(n) Better-Response k = 1, l = 2 O(n m 2 ) 2 Ω(n) k > 1 or l > 2 2 Ω(n) 2 Ω(n)
54 Results for Weighted Matching [H. ICALP 11] Parameters: There is a subset E of allowed matches, and m = E. Each agent can build k 1 matching edges. Each agent has lookahead l 2 in the graph G = (V, L M). Shortest Seq. Rand. Dynamics w. Rand. Memory Best-Response k = 1, l = 2 2 Ω(n) 2 Ω(n) O(n m 2 ) Better-Response k = 1, l = 2 O(n m 2 ) 2 Ω(n) O(n m 2 ) k > 1 or l > 2 2 Ω(n) 2 Ω(n) O(n k m 2 ) Random memory allows random dynamics to converge in polynomial time.
55 Dynamic Matching [Bhattacharya, H, Huang, Kavitha, Wagner 15] Dynamic Matching with Preferences Agents are nodes of a graph G = (V, E) Each agent has a strict preference list over neighbors In each round, one edge appears or disappears Sequence of subgraphs G t = (V, E t ), for t = 1, 2,... E 0 =, every E t and E t+1 differ by exactly one edge Maintain stable matching in all G t with small amortized number of changes
56 Dynamic Matching [Bhattacharya, H, Huang, Kavitha, Wagner 15] Dynamic Matching with Preferences Agents are nodes of a graph G = (V, E) Each agent has a strict preference list over neighbors In each round, one edge appears or disappears Sequence of subgraphs G t = (V, E t ), for t = 1, 2,... E 0 =, every E t and E t+1 differ by exactly one edge Maintain stable matching in all G t with small amortized number of changes 1
57 Dynamic Matching [Bhattacharya, H, Huang, Kavitha, Wagner 15] Dynamic Matching with Preferences Agents are nodes of a graph G = (V, E) Each agent has a strict preference list over neighbors In each round, one edge appears or disappears Sequence of subgraphs G t = (V, E t ), for t = 1, 2,... E 0 =, every E t and E t+1 differ by exactly one edge Maintain stable matching in all G t with small amortized number of changes 1
58 Dynamic Matching [Bhattacharya, H, Huang, Kavitha, Wagner 15] Dynamic Matching with Preferences Agents are nodes of a graph G = (V, E) Each agent has a strict preference list over neighbors In each round, one edge appears or disappears Sequence of subgraphs G t = (V, E t ), for t = 1, 2,... E 0 =, every E t and E t+1 differ by exactly one edge Maintain stable matching in all G t with small amortized number of changes 1 2
59 Dynamic Matching [Bhattacharya, H, Huang, Kavitha, Wagner 15] Dynamic Matching with Preferences Agents are nodes of a graph G = (V, E) Each agent has a strict preference list over neighbors In each round, one edge appears or disappears Sequence of subgraphs G t = (V, E t ), for t = 1, 2,... E 0 =, every E t and E t+1 differ by exactly one edge Maintain stable matching in all G t with small amortized number of changes 1 2
60 Dynamic Matching [Bhattacharya, H, Huang, Kavitha, Wagner 15] Dynamic Matching with Preferences Agents are nodes of a graph G = (V, E) Each agent has a strict preference list over neighbors In each round, one edge appears or disappears Sequence of subgraphs G t = (V, E t ), for t = 1, 2,... E 0 =, every E t and E t+1 differ by exactly one edge Maintain stable matching in all G t with small amortized number of changes 1 2 3
61 Dynamic Matching [Bhattacharya, H, Huang, Kavitha, Wagner 15] Dynamic Matching with Preferences Agents are nodes of a graph G = (V, E) Each agent has a strict preference list over neighbors In each round, one edge appears or disappears Sequence of subgraphs G t = (V, E t ), for t = 1, 2,... E 0 =, every E t and E t+1 differ by exactly one edge Maintain stable matching in all G t with small amortized number of changes 1 2 3
62 Dynamic Matching [Bhattacharya, H, Huang, Kavitha, Wagner 15] Dynamic Matching with Preferences Agents are nodes of a graph G = (V, E) Each agent has a strict preference list over neighbors In each round, one edge appears or disappears Sequence of subgraphs G t = (V, E t ), for t = 1, 2,... E 0 =, every E t and E t+1 differ by exactly one edge Maintain stable matching in all G t with small amortized number of changes
63 Dynamic Matching [Bhattacharya, H, Huang, Kavitha, Wagner 15] Dynamic Matching with Preferences Agents are nodes of a graph G = (V, E) Each agent has a strict preference list over neighbors In each round, one edge appears or disappears Sequence of subgraphs G t = (V, E t ), for t = 1, 2,... E 0 =, every E t and E t+1 differ by exactly one edge Maintain stable matching in all G t with small amortized number of changes
64 Dynamic Matching [Bhattacharya, H, Huang, Kavitha, Wagner 15] Maintaining a stable matching requires Θ(n) amortized number of changes, even for a simple path, with correlated preferences and arrivals only
65 Dynamic Matching [Bhattacharya, H, Huang, Kavitha, Wagner 15] Maintaining a stable matching requires Θ(n) amortized number of changes, even for a simple path, with correlated preferences and arrivals only. Stable matching is not a robust concept in dynamic markets. [Khuller, Mitchell, Vazirani 91]
66 Popular Matchings A more global idea: [Gärdenfors 78] Matching M is more popular than M: Strict majority of agents prefer partner in M over partner in M. M is popular matching: No M is more popular.
67 Popular Matchings A more global idea: [Gärdenfors 78] Matching M is more popular than M: Strict majority of agents prefer partner in M over partner in M. M is popular matching: No M is more popular.
68 Popular Matchings A more global idea: [Gärdenfors 78] Matching M is more popular than M: Strict majority of agents prefer partner in M over partner in M. M is popular matching: No M is more popular.
69 Popular Matchings A more global idea: [Gärdenfors 78] Matching M is more popular than M: Strict majority of agents prefer partner in M over partner in M. M is popular matching: No M is more popular.
70 Popular Matchings A more global idea: [Gärdenfors 78] Matching M is more popular than M: Strict majority of agents prefer partner in M over partner in M. M is popular matching: No M is more popular.
71 Popular Matchings A more global idea: [Gärdenfors 78] Matching M is more popular than M: Strict majority of agents prefer partner in M over partner in M. M is popular matching: No M is more popular. Maintaining popular matchings also requires Θ(n) amortized number of changes, in the same instance as before.
72 Unpopularity Factor Unpopularity factor α 1: [McCutchen 08] V + agents that strictly prefer partner in M V agents that strictly prefer partner in M M is α-more popular than M: V + > α V M is α-popular matching: No M is α-more popular
73 Unpopularity Factor Unpopularity factor α 1: [McCutchen 08] V + agents that strictly prefer partner in M V agents that strictly prefer partner in M M is α-more popular than M: V + > α V M is α-popular matching: No M is α-more popular
74 Unpopularity Factor Unpopularity factor α 1: [McCutchen 08] V + agents that strictly prefer partner in M V agents that strictly prefer partner in M M is α-more popular than M: V + > α V M is α-popular matching: No M is α-more popular
75 Greedy Algorithm Greedy Algorithm: 1 Given some α 1, let M = and repeat indefinitely: 2 Decide if for M there is α-more popular M ; if yes, replace M by M.
76 Greedy Algorithm Greedy Algorithm: 1 Given some α 1, let M = and repeat indefinitely: 2 Decide if for M there is α-more popular M ; if yes, replace M by M. Theorem Let be the maximum degree of any node in any G t. For every k > 0, the Greedy Algorithm can be used to maintain a ( + k)-popular matching while making O( + 2 /k) amortized number of changes per round.
77 Greedy Algorithm Greedy Algorithm: 1 Given some α 1, let M = and repeat indefinitely: 2 Decide if for M there is α-more popular M ; if yes, replace M by M. Theorem Let be the maximum degree of any node in any G t. For every k > 0, the Greedy Algorithm can be used to maintain a ( + k)-popular matching while making O( + 2 /k) amortized number of changes per round. Extensions and Notes: Same result for one-sided instances, or when G is not bipartite. Existence of nearly-popular matchings in sparse graphs Step 2 can be implemented in polynomial time. Greedy computes a voting path of approximately popular matchings
78 Greedy Algorithm Greedy Algorithm: 1 Given some α 1, let M = and repeat indefinitely: 2 Decide if for M there is α-more popular M ; if yes, replace M by M. Theorem Let be the maximum degree of any node in any G t. For every k > 0, the Greedy Algorithm can be used to maintain a ( + k)-popular matching while making O( + 2 /k) amortized number of changes per round. Can we improve the unpopularity factor? One-sided instances with all matchings being -popular. Two sided instances have 1-popular matchings, but Greedy might not converge for α = ( 1).
79 Greedy Algorithm Greedy Algorithm: 1 Given some α 1, let M = and repeat indefinitely: 2 Decide if for M there is α-more popular M ; if yes, replace M by M. Theorem Let be the maximum degree of any node in any G t. For every k > 0, the Greedy Algorithm can be used to maintain a ( + k)-popular matching while making O( + 2 /k) amortized number of changes per round. Can we improve the amortized number of changes? Can we improve the running time of the algorithm?
80 Take-Home Points Matching Dynamics and Locality Classic convergence results do not extend under local information Random memory helps to overcome locality constraints Cache-based memory is effective only in special cases Convergence in poly-time for weighted matching with random memory
81 Take-Home Points Matching Dynamics and Locality Classic convergence results do not extend under local information Random memory helps to overcome locality constraints Cache-based memory is effective only in special cases Convergence in poly-time for weighted matching with random memory Dynamic Popular Matching Stable and popular matchings can change entirely each round. Unpopularity factor to trade number of changes and agent preference. Greedy algorithm as a dynamics of α-popular matchings. Additional results on computing α-more popular matchings, existence of nearly-popular matchings in sparse graphs, voting paths, etc
82 Thanks for your attention!
Maintaining Near-Popular Matchings
Maintaining Near-Popular Matchings Sayan Bhattacharya 1, Martin Hoefer 2, Chien-Chung Huang 3, Telikepalli Kavitha 4, and Lisa Wagner 5 1 Institute of Mathematical Sciences, Chennai, India bsayan@imsc.res.in
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 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 informationAn improved approximation algorithm for the stable marriage problem with one-sided ties
Noname manuscript No. (will be inserted by the editor) An improved approximation algorithm for the stable marriage problem with one-sided ties Chien-Chung Huang Telikepalli Kavitha Received: date / 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 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 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 informationSocially stable matchings in the Hospitals/Residents problem
Socially stable matchings in the Hospitals/Residents problem Georgios Askalidis 1, Nicole Immorlica 1,2, Augustine Kwanashie 3, David F. Manlove 3 and Emmanouil Pountourakis 1 1 Dept. of Electrical Engineering
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 informationRandom Paths To Popularity In Two-Sided Matching
Random Paths To Popularity In Two-Sided Matching Aleksei Yu. Kondratev 1,2 and Alexander S. Nesterov 3 1 Higher School of Economics, Ulitsa Soyuza Pechatnikov 16, 190121 St.Petersburg, Russia akondratev@hse.ru
More informationUncoordinated Two-Sided Matching Markets
Uncoordinated Two-Sided Matching Markets Heiner Ackermann Fraunhofer Institute for Industrial Mathematics Kaiserslautern, Germany heiner.ackermann@itwm.fraunhofer.de Paul W. Goldberg Dept. of Computer
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 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 informationEfficient Algorithms for Bipartite Matching Problems with Preferences
Efficient Algorithms for Bipartite Matching Problems with Preferences by Colin Thiam Soon Sng A thesis submitted to the Faculty of Information and Mathematical Sciences at the University of Glasgow for
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 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 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 informationInput. A set of men M, and a set of women W.
Input. A set of men M, and a set of women W. Input. A set of men M, and a set of women W. Every agent has a set of acceptable partners. Input. A set of men M, and a set of women W. Every agent has a set
More informationSubramanian s stable matching algorithm
Subramanian s stable matching algorithm Yuval Filmus November 2011 Abstract Gale and Shapley introduced the well-known stable matching problem in 1962, giving an algorithm for the problem. Subramanian
More informationA (ln 4)-Approximation Algorithm for Maximum Stable Matching with One-Sided Ties and Incomplete Lists
A ln 4)-Approximation Algorithm for Maximum Stable Matching with One-Sided Ties and Incomplete Lists Chi-Kit Lam C. Gregory Plaxton April 2018 Abstract We study the problem of finding large weakly stable
More informationAlgorithms for Pareto Stable Assignment
Algorithms for Pareto Stable Assignment Ning Chen and Arpita Ghosh Abstract Motivated by online matching marketplaces, we study stability in a many-to-many market with ties and incomplete preference lists.
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 informationarxiv: v2 [cs.gt] 25 Jul 2014
Stable marriage with general preferences Linda Farczadi, Konstantinos Georgiou, Jochen Könemann Dept. of Combinatorics and Optimization, University of Waterloo, Waterloo, Canada {lfarczadi,k2georgi,jochen}@uwaterloo.ca
More informationOmega notation. Transitivity etc.
Omega notation Big-Omega: Lecture 2, Sept. 25, 2014 f () n (()) g n const cn, s.t. n n : cg() n f () n Small-omega: 0 0 0 f () n (()) g n const c, n s.t. n n : cg() n f () n 0 0 0 Intuition (works most
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 informationGlasgow eprints Service
Halldorsson, M. and Irving, R.W. and Iwama, K. and Manlove, D. F. and Miyazaki, S. and Morita, Y. and Scott, S. (2003) Approximability results for stable marriage problems with ties. Theoretical Computer
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 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 informationCS 781 Lecture 9 March 10, 2011 Topics: Local Search and Optimization Metropolis Algorithm Greedy Optimization Hopfield Networks Max Cut Problem Nash
CS 781 Lecture 9 March 10, 2011 Topics: Local Search and Optimization Metropolis Algorithm Greedy Optimization Hopfield Networks Max Cut Problem Nash Equilibrium Price of Stability Coping With NP-Hardness
More informationFriendship and Stable Matching
Friendship and Stable Matching Elliot Anshelevich Onkar Bhardwaj Martin Hoefer June 10, 2013 Abstract We study stable matching problems in networks where players are embedded in a social context, and may
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 informationAlgorithmics of Two-Sided Matching Problems
Algorithmics of Two-Sided Matching Problems David J. Abraham Submitted for the degree of Master of Science, Department of Computing Science, University of Glasgow, October, 2003 c 2003 David J. Abraham
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 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 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 informationTwo Sided Matching: An Algorithm with both sides making proposals
Two Sided Matching: An Algorithm with both sides making proposals Aditya V Kuvalekar Abstract The most commonly used algorithm in a classical two-sided marriage market is the one due to Gale-Shapley. ([3]).
More informationRandom Paths To Popularity In Two-Sided Matching
Random Paths To Popularity In Two-Sided Matching Aleksei Yu. Kondratev 1 and Alexander S. Nesterov 2 1 Higher School of Economics, Kantemirovskaya 3, 194100 St.Petersburg, Russia akondratev@hse.ru 2 Higher
More informationLocal Search Approaches in Stable Matching Problems
Algorithms 23, 6, 59-67; doi:.339/a6459 Article OPEN ACCESS algorithms ISSN 999-4893 www.mdpi.com/journal/algorithms Local Search Approaches in Stable Matching Problems Mirco Gelain, Maria Silvia Pini,
More informationDominating Set. Chapter 7
Chapter 7 Dominating Set In this chapter we present another randomized algorithm that demonstrates the power of randomization to break symmetries. We study the problem of finding a small dominating set
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 informationAn Efficient Algorithm for Batch Stability Testing
n fficient lgorithm for atch Stability Testing John abney School of omputing lemson University jdabney@cs.clemson.edu rian. ean School of omputing lemson University bcdean@cs.clemson.edu pril 25, 2009
More informationLecture 5: The Principle of Deferred Decisions. Chernoff Bounds
Randomized Algorithms Lecture 5: The Principle of Deferred Decisions. Chernoff Bounds Sotiris Nikoletseas Associate Professor CEID - ETY Course 2013-2014 Sotiris Nikoletseas, Associate Professor Randomized
More informationPopular Matchings with Multiple Partners
Popular Matchings with Multiple Partners Florian Brandl Technical University of Munich, Germany brandlfl@in.tum.de Telikepalli Kavitha Tata Institute of Fundamental Research, India kavitha@tcs.tifr.res.in
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 informationThe Complexity of Computing the Random Priority Allocation Matrix
The Complexity of Computing the Random Priority Allocation Matrix Daniela Saban and Jay Sethuraman January 2014; revised August 2014 Abstract The Random Priority (RP) mechanism is a popular way to allocate
More informationMatching. 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 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 informationProject in Computational Game Theory: Communities in Social Networks
Project in Computational Game Theory: Communities in Social Networks Eldad Rubinstein November 11, 2012 1 Presentation of the Original Paper 1.1 Introduction In this section I present the article [1].
More informationPopular Matchings with Lower Quotas
Popular Matchings with Lower Quotas Meghana Nasre 1 and Prajakta Nimbhorkar 2 1 Indian Institute of Technology, Madras, India meghana@cse.iitm.ac.in 2 Chennai Mathematical Institute, India prajakta@cmi.ac.in
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 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 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 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 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 informationRandom Paths To Popularity In Two-Sided Matching
Random Paths To Popularity In Two-Sided Matching ALEKSEI YU. KONDRATEV & ALEXANDER S. NESTEROV We study practically relevant aspects of popularity in two-sided matching where only one side has preferences.
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 informationParameterized Complexity of Graph Modification and Stable Matching Problems
Parameterized Complexity of Graph Modification and Stable Matching Problems by Ildikó Schlotter PhD Thesis supervised by Dr. Dániel Marx Budapest University of Technology and Economics Faculty of Electrical
More informationData Structures in Java
Data Structures in Java Lecture 21: Introduction to NP-Completeness 12/9/2015 Daniel Bauer Algorithms and Problem Solving Purpose of algorithms: find solutions to problems. Data Structures provide ways
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 informationThe Complexity of the Comparator Circuit Value Problem
The Complexity of the Comparator Circuit Value Problem Stephen Cook Joint work with Yuval Filmus and Dai Tri Man Lê Department of Computer Science University of Toronto Canada Banff 2013 1 / 28 Outline
More informationGraph-theoretic Problems
Graph-theoretic Problems Parallel algorithms for fundamental graph-theoretic problems: We already used a parallelization of dynamic programming to solve the all-pairs-shortest-path problem. Here we are
More informationSearch and Lookahead. Bernhard Nebel, Julien Hué, and Stefan Wölfl. June 4/6, 2012
Search and Lookahead Bernhard Nebel, Julien Hué, and Stefan Wölfl Albert-Ludwigs-Universität Freiburg June 4/6, 2012 Search and Lookahead Enforcing consistency is one way of solving constraint networks:
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 informationMore on NP and Reductions
Indian Institute of Information Technology Design and Manufacturing, Kancheepuram Chennai 600 127, India An Autonomous Institute under MHRD, Govt of India http://www.iiitdm.ac.in COM 501 Advanced Data
More informationMatching Residents to Hospitals
Midterm Review Matching Residents to Hospitals Goal. Given a set of preferences among hospitals and medical school students, design a self-reinforcing admissions process. Unstable pair: applicant x and
More informationarxiv: v1 [cs.gt] 11 Jul 2016
Stable Matching with Uncertain Linear Preferences Haris Aziz 12, Péter Biró 3, Serge Gaspers 21, Ronald de Haan 4, Nicholas Mattei 12, and Baharak Rastegari 5 arxiv:1607.02917v1 [cs.gt] 11 Jul 2016 1 Data61
More informationStable Matching with Uncertain Pairwise Preferences
Stable Matching with Uncertain Pairwise Preferences Haris Aziz Data61, CSIRO and UNSW Sydney, Australia haris.aziz@data61.csiro.au Serge Gaspers Data61, CSIRO and UNSW Sydney, Australia sergeg@cse.unsw.edu.au
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 informationPopularity at minimum cost
J Comb Optim (2014) 27:574 596 DOI 10.1007/s10878-012-9537-0 Popularity at minimum cost Telikepalli Kavitha Meghana Nasre Prajakta Nimbhorkar Published online: 21 August 2012 Springer Science+Business
More informationDominating Set. Chapter 26
Chapter 26 Dominating Set In this chapter we present another randomized algorithm that demonstrates the power of randomization to break symmetries. We study the problem of finding a small dominating set
More informationDominating Set. Chapter Sequential Greedy Algorithm 294 CHAPTER 26. DOMINATING SET
294 CHAPTER 26. DOMINATING SET 26.1 Sequential Greedy Algorithm Chapter 26 Dominating Set Intuitively, to end up with a small dominating set S, nodes in S need to cover as many neighbors as possible. It
More informationUndirected Graphs. V = { 1, 2, 3, 4, 5, 6, 7, 8 } E = { 1-2, 1-3, 2-3, 2-4, 2-5, 3-5, 3-7, 3-8, 4-5, 5-6 } n = 8 m = 11
Undirected Graphs Undirected graph. G = (V, E) V = nodes. E = edges between pairs of nodes. Captures pairwise relationship between objects. Graph size parameters: n = V, m = E. V = {, 2, 3,,,, 7, 8 } E
More informationParameterized Complexity and Local Search Approaches for the Stable Marriage Problem with Ties
Parameterized Complexity and Local Search Approaches for the Stable Marriage Problem with Ties Dániel Marx and Ildió Schlotter Department of Computer Science and Information Theory, Budapest University
More informationFinding Stable Matchings that are Robust to Errors in the Input
Finding Stable Matchings that are Robust to Errors in the Input Tung Mai 1 and Vijay V. Vazirani 1 arxiv:1804.00553v4 [cs.ds] 14 Dec 2018 1 University of California, Irvine Abstract We study the problem
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 informationarxiv: v3 [cs.gt] 13 May 2013
Socially stable matchings in the Hospitals/Residents problem Georgios Askalidis, Nicole Immorlica,, Augustine Kwanashie 3, David F. Manlove 4 and Emmanouil Pountourakis 5 arxiv:303.04v3 [cs.gt] 3 May 03,,5
More informationPopular Matchings with Multiple Partners
Popular Matchings with Multiple Partners Florian Brandl 1 and Telikepalli Kavitha 2 1 Technische Universität München, Germany brandlfl@in.tum.de 2 Tata Institute of Fundamental Research, India kavitha@tcs.tifr.res.in
More informationVon Neumann-Morgenstern Farsightedly Stable Sets in Two-Sided Matching
Von Neumann-Morgenstern Farsightedly Stable Sets in Two-Sided Matching Ana Mauleon, FNRS and CEREC, Facultés Universitaires Saint-Louis, and CORE, University of Louvain. Vincent Vannetelbosch, FNRS and
More informationAlgorithm Design and Analysis
Algorithm Design and Analysis LECTURE 26 Computational Intractability Polynomial Time Reductions Sofya Raskhodnikova S. Raskhodnikova; based on slides by A. Smith and K. Wayne L26.1 What algorithms are
More informationConvergence and Approximation in Potential Games
Convergence and Approximation in Potential Games George Christodoulou 1, Vahab S. Mirrokni 2, and Anastasios Sidiropoulos 2 1 National and Kapodistrian University of Athens Dept. of Informatics and Telecommunications
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 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 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 informationTwo s Company, Three s a Crowd: Stable Family and Threesome Roommates Problems
Two s Company, Three s a Crowd: Stable Family and Threesome Roommates Problems Chien-Chung Huang Dartmouth College villars@cs.dartmouth.edu Abstract. We investigate Knuth s eleventh open question on stable
More informationAPPROXIMATION ALGORITHMS FOR THE STABLE MATCHING PROBLEM
APPROXIMATION ALGORITHMS FOR THE STABLE MATCHING PROBLEM by András Radnai Advisor: Zoltán Király Department of Computer Science Eötvös Loránd University Contents 1 Introduction 3 1.1 Notions and concepts..............................
More informationHannu Salonen and Mikko A.A. Salonen Mutually Best Matches. Aboa Centre for Economics
Hannu Salonen and Mikko A.A. Salonen Mutually Best Matches Aboa Centre for Economics Discussion paper No. 109 Turku 2016 The Aboa Centre for Economics is a joint initiative of the economics departments
More informationBipartite Matchings. Andreas Klappenecker
Bipartite Matchings Andreas Klappenecker Matching Number m(g) = number of edges in a maximally large matching. Why is m(g) < 4? m(g) = W iff A
More informationHousing Markets with Indifferences: a Tale of Two Mechanisms
Housing Markets with Indifferences: a Tale of Two Mechanisms Haris Aziz, Bart de Keijzer Institut für Informatik, Technische Universität München, 80538 München, Germany CWI Amsterdam, 1098 XG Amsterdam,
More informationThis is the author s final accepted version.
Cseh, A., Manlove, D. and Irving, R. W. (06) The Stable Roommates Problem with Short Lists. In: 9th International Symposium on Algorithmic Game Theory (SAGT), Liverpool, UK, 9- Sept 06, pp. 07-9. ISBN
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 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 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 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 informationCSE 421 Introduction to Algorithms Final Exam Winter 2005
NAME: CSE 421 Introduction to Algorithms Final Exam Winter 2005 P. Beame 14 March 2005 DIRECTIONS: Answer the problems on the exam paper. Open book. Open notes. If you need extra space use the back of
More informationImproving Man-Optimal Stable Matchings by Minimum Change of Preference Lists
Algorithms 2013, 6, 371-382; doi:10.3390/a6020371 Article OPEN ACCESS algorithms ISSN 1999-4893 www.mdpi.com/journal/algorithms Improving Man-Optimal Stable Matchings by Minimum Change of Preference Lists
More informationLecture 10. Sublinear Time Algorithms (contd) CSC2420 Allan Borodin & Nisarg Shah 1
Lecture 10 Sublinear Time Algorithms (contd) CSC2420 Allan Borodin & Nisarg Shah 1 Recap Sublinear time algorithms Deterministic + exact: binary search Deterministic + inexact: estimating diameter in a
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 informationEgalitarian solutions in the stable roommates problem
Budapest University of Technology and Economics Faculty of Electrical Engineering and Informatics Department of Computer Science and Information Theory Egalitarian solutions in the stable roommates problem
More information1.1 First Problem: Stable Matching. Six medical students and four hospitals. Student Preferences. s6 h3 h1 h4 h2. Stable Matching Problem
//0 hapter Introduction: Some Representative Problems Slides by Kevin ayne. opyright 00 Pearson-ddison esley. ll rights reserved.. First Problem: Stable Matching Six medical students and four hospitals
More informationNATIONAL UNIVERSITY OF SINGAPORE CS3230 DESIGN AND ANALYSIS OF ALGORITHMS SEMESTER II: Time Allowed 2 Hours
NATIONAL UNIVERSITY OF SINGAPORE CS3230 DESIGN AND ANALYSIS OF ALGORITHMS SEMESTER II: 2017 2018 Time Allowed 2 Hours INSTRUCTIONS TO STUDENTS 1. This assessment consists of Eight (8) questions and comprises
More information