Patrick Jaillet. November 8, 2016

Similar documents
Online Stochastic Matching CMSC 858F: Algorithmic Game Theory Fall 2010

A genetic algorithm for kidney transplantation matching

Online Bipartite Matching: A Survey and A New Problem

How to maximize the revenue of market

APPLIED MECHANISM DESIGN FOR SOCIAL GOOD

arxiv: v1 [cs.ds] 4 Mar 2018

CSC2420 Fall 2012: Algorithm Design, Analysis and Theory An introductory (i.e. foundational) level graduate course.

Mix and Match: A Strategyproof Mechanism for Multi-Hospital Kidney Exchange

Dynamic Matching via Weighted Myopia with Application to Kidney Exchange

Mix and Match: A Strategyproof Mechanism for Multi-Hospital Kidney Exchange

Vahideh Manshadi. Yale School of Management Voice: (650) Whitney Ave, Rm New Haven, CT 06511

Timing Objectives in Dynamic Kidney Exchange

Dynamic Matching via Weighted Myopia with Application to Kidney Exchange

Heuristic Approaches for Multi-Criteria Optimisation in Kidney Exchange Programs

A Bounded-Risk Mechanism for the Kidney Exchange Game

X Ignorance is Almost Bliss: Near-Optimal Stochastic Matching With Few Queries

Matt Weinberg. Princeton University

Online Stochastic Optimization in the Large: Application to Kidney Exchange

Ignorance is Almost Bliss: Near-Optimal Stochastic Matching With Few Queries

arxiv: v1 [cs.ds] 9 Aug 2018

arxiv: v2 [cs.ds] 29 Apr 2015

COMP Online Algorithms. Online Graph Problems. Shahin Kamali. Lecture 23 - Nov. 28th, 2017 University of Manitoba

When LP is the Cure for Your Matching Woes: Improved Bounds for Stochastic Matchings

Mechanism Design and Implementation for Lung Exchange

1 Introduction RHIT UNDERGRAD. MATH. J., VOL. 17, NO. 1 PAGE 159

Online Algorithms. - Lecture 4 -

Online Ad Allocation: Theory and Practice

c 2017 Arash Khatibi

Online Assignment of Heterogeneous Tasks in Crowdsourcing Markets

Operation Frames and Clubs in Kidney Exchange

Matching with our Eyes Closed

The Competitiveness of On-Line Assignments. Computer Science Department. Raphael Rom. Sun Microsystems. Mountain View CA

The Online Connected Facility Location Problem

Physical Flow Approximations for the FCFS Stochastic Matching Model

Competitive analysis of aggregate max in windowed streaming. July 9, 2009

Algorithms for Social Good: Kidney Exchange. Benjamin Plaut

Perfect matchings in O(nlogn) time in regular bipartite graph

Algorithmen II. Peter Sanders, Christian Schulz, Simon Gog. Übungen: Michael Axtmann. Institut für Theoretische Informatik, Algorithmik II.

The Dynamic Hungarian Algorithm for the Assignment Problem with Changing Costs

College of Computer & Information Science Fall 2007 Northeastern University 14 September 2007

Internally Stable Matchings and Exchanges

SOLVING LARGE CARPOOLING PROBLEMS USING GRAPH THEORETIC TOOLS

Throughput-Optimal Broadcast in Wireless Networks with Point-to-Multipoint Transmissions

Online k-taxi Problem

Reading 1 : Introduction

Graph Theory and Optimization Approximation Algorithms

The 2-core of a Non-homogeneous Hypergraph

COMP Online Algorithms. Online Bin Packing. Shahin Kamali. Lecture 20 - Nov. 16th, 2017 University of Manitoba

Improved Algorithm for Weighted Flow Time

Improved Approximations for Graph-TSP in Regular Graphs

Online Service with Delay

Markov Decision Processes. (Slides from Mausam)

arxiv: v1 [cs.ds] 25 Jun 2016

Comp Online Algorithms

7. NETWORK FLOW III. assignment problem input-queued switching. Lecture slides by Kevin Wayne Copyright 2005 Pearson-Addison Wesley

5. Lecture notes on matroid intersection

Anarchy, Stability, and Utopia: Creating Better Matchings

6. Lecture notes on matroid intersection

Improved Approximation Algorithms for Budgeted Allocations

Distributed Throughput Maximization in Wireless Mesh Networks via Pre-Partitioning

Real-Time Problem-Solving with Contract Algorithms

Toward the joint design of electronic and optical layer protection

Distributed minimum spanning tree problem

Online Facility Location

Online Algorithms. Lecture 11

Flexible Servers in Understaffed Tandem Lines

Problem Set 7 Solutions

Polyhedral results for the Cardinality Constrained Multi-cycle Problem (CCMcP) and the Cardinality Constrained Cycles and Chains Problem (CCCCP)

Sustainable Computing: Informatics and Systems 00 (2014) Huangxin Wang

Mathematical and Algorithmic Foundations Linear Programming and Matchings

Online Coloring Known Graphs

Potential Midterm Exam Questions

MANY emerging mobile applications rely on cloud computing

An Approach to Connection Admission Control in Single-Hop Multiservice Wireless Networks With QoS Requirements

A List Heuristic for Vertex Cover

Dynamic Wavelength Assignment for WDM All-Optical Tree Networks

Batch Coloring of Graphs

Introduction to Algorithms / Algorithms I Lecturer: Michael Dinitz Topic: Approximation algorithms Date: 11/18/14

Connection-Level Scheduling in Wireless Networks Using Only MAC-Layer Information

Approximation Algorithms

On some extremal problems on identifying codes in (di)graphs

Lecture: Simulation. of Manufacturing Systems. Sivakumar AI. Simulation. SMA6304 M2 ---Factory Planning and scheduling. Simulation - A Predictive Tool

arxiv: v1 [cs.ma] 8 May 2018

Merging Globally Rigid Formations of Mobile Autonomous Agents

Advanced Algorithms. On-line Algorithms

Matching Algorithms. Proof. If a bipartite graph has a perfect matching, then it is easy to see that the right hand side is a necessary condition.

The hierarchical model for load balancing on two machines

15-750: Parallel Algorithms

CSC2420: Algorithm Design, Analysis and Theory Fall 2017

Prioritizing Interdictions on a Shortest Path Network

The Increase of the Instability of Networks due to Quasi-Static Link Capacities

The limits of adaptive sensing

OR 674 DYNAMIC PROGRAMMING Rajesh Ganesan, Associate Professor Systems Engineering and Operations Research George Mason University

Robust Combinatorial Optimization with Exponential Scenarios

Superlinear Lower Bounds for Multipass Graph Processing

Planning and Control: Markov Decision Processes

Online algorithms for clustering problems

Optimal Path Finding for Direction, Location and Time Dependent Costs, with Application to Vessel Routing

Algorithms for Grid Graphs in the MapReduce Model

Wireless Multicast: Theory and Approaches

Transcription:

Online Optimization for Dynamic Matching Markets Patrick Jaillet Department of Electrical Engineering and Computer Science Laboratory for Information and Decision Systems Operations Research Center Massachusetts Institute of Technology November 8, 2016 Research funded in part by the U.S. National Science Foundation (NSF) and Office of Naval Research (ONR) Collaborators: Itai Ashlagi (Stanford), Maximilien Burq (MIT), Xin Lu (Amazon), Vahideh Manshadi (Yale) PJ (MIT) PMGO DAYS 2016 November 8, 2016 1 / 37

outline 1 dynamic matching: some contexts and background sponsored search and ad displays kidney exchange programs online optimization framework 2 online bipartite matching problems 3 matching markets for kidney exchange PJ (MIT) PMGO DAYS 2016 November 8, 2016 2 / 37

marketer publisher matching PJ (MIT) sponsored search and ad displays Dr aft contexts and background sponsored search display get clicks and conversions build brand awareness search engine (almost) any website publisher third party PMGO DAYS 2016 November 8, 2016 3 / 37

contexts and background kidney exchange programs kidney transplant: best treatment for end stage renal disease. 99,379 patients on the waiting list in the US as of yesterday 1 [France: 21,000 people waiting for a kidney in 2015 (up from 12,000 in 2006)] over 30,000 new patients each year in the US only 18,000 transplants per year [France: 3,500 in 2015] about 12,000 from deceased donors [France: 3,000 in 2015] 1 United Network for Organ Sharing (UNOS) http://www.unos.org/ PJ (MIT) PMGO DAYS 2016 November 8, 2016 4 / 37

contexts and background kidney exchange programs kidney transplant: best treatment for end stage renal disease. 99,379 patients on the waiting list in the US as of yesterday 1 [France: 21,000 people waiting for a kidney in 2015 (up from 12,000 in 2006)] over 30,000 new patients each year in the US only 18,000 transplants per year [France: 3,500 in 2015] about 12,000 from deceased donors [France: 3,000 in 2015] alternative: live donation 1 United Network for Organ Sharing (UNOS) http://www.unos.org/ PJ (MIT) PMGO DAYS 2016 November 8, 2016 4 / 37

contexts and background kidney exchange programs kidney transplant: best treatment for end stage renal disease. 99,379 patients on the waiting list in the US as of yesterday 1 [France: 21,000 people waiting for a kidney in 2015 (up from 12,000 in 2006)] over 30,000 new patients each year in the US only 18,000 transplants per year [France: 3,500 in 2015] about 12,000 from deceased donors [France: 3,000 in 2015] alternative: live donation 1 United Network for Organ Sharing (UNOS) http://www.unos.org/ PJ (MIT) PMGO DAYS 2016 November 8, 2016 4 / 37

contexts and background kidney exchange programs kidney transplant: best treatment for end stage renal disease. 99,379 patients on the waiting list in the US as of yesterday 1 [France: 21,000 people waiting for a kidney in 2015 (up from 12,000 in 2006)] over 30,000 new patients each year in the US only 18,000 transplants per year [France: 3,500 in 2015] about 12,000 from deceased donors [France: 3,000 in 2015] alternative: live donation 1 United Network for Organ Sharing (UNOS) http://www.unos.org/ PJ (MIT) PMGO DAYS 2016 November 8, 2016 4 / 37

online concepts contexts and background competitive ratios online optimization problem = instance incrementally revealed over time; need to make decisions online without knowledge about what comes next. online algorithm: the quality of an online algorithm ALG is its competitive ratio c, measured against an optimal clairvoyant algorithm OPT with full knowledge of the instance; for a maximization problem: c = sup {r alg(i)/opt(i) r, instances i} it is said to be best possible if there is no other such algorithm with a larger competitive ratio. PJ (MIT) PMGO DAYS 2016 November 8, 2016 5 / 37

... online concepts... contexts and background competitive ratios randomized online algorithm: online algorithm with random steps designed to solve an online problem. competitive analysis depends on the power of the offline adversary : oblivious adversary: doesn t know the realizations of the random steps. adaptive-online adversary: generate the instance adaptively based on past realizations of the random steps. adaptive-offline adversary: perfect knowledge of all the realizations (past and future) of the random steps. we consider only oblivious adversary. PJ (MIT) PMGO DAYS 2016 November 8, 2016 6 / 37

... online concepts... contexts and background competitive ratios competitive ratio of a randomized online algorithm against an oblivious adversary: c = sup {r E[ALG(i)]/opt(i) r, instances i} a randomized online algorithm is said to be best possible if there is no other such algorithm with a larger competitive ratio PJ (MIT) PMGO DAYS 2016 November 8, 2016 7 / 37

... online concepts contexts and background competitive ratios in some cases uncertainty about the future input streams can be modeled using probabilistic concepts. how to properly include this stochastic information in order to design better algorithms? can this be quantified? look at the competitive ratio of an online algorithm defined as c = sup {r E P [ALG(I)/OPT(I)] r} sometimes can show results hold with high probability as opposed to simply in expectation. PJ (MIT) PMGO DAYS 2016 November 8, 2016 8 / 37

First Part: Online Bipartite Matching Problems PJ (MIT) PMGO DAYS 2016 November 8, 2016 9 / 37

online bipartite matching problems bipartite matching: classical and online version bidders 2 4 3 1 objects PJ (MIT) PMGO DAYS 2016 November 8, 2016 10 / 37

online bipartite matching problems bipartite matching: classical and online version bidders 2 4 1 2 3 4 3 online arrivals 1 objects PJ (MIT) PMGO DAYS 2016 November 8, 2016 10 / 37

online bipartite matching problems bipartite matching: classical and online version bidders 2 4 1 2 3 4 3 online arrivals 1 objects PJ (MIT) PMGO DAYS 2016 November 8, 2016 10 / 37

online bipartite matching problems bipartite matching: classical and online version 1 bidders 2 4 1 2 3 4 3 online arrivals 1 objects PJ (MIT) PMGO DAYS 2016 November 8, 2016 10 / 37

online bipartite matching problems bipartite matching: classical and online version 1 bidders 2 4 1 2 3 4 3 online arrivals 1 objects PJ (MIT) PMGO DAYS 2016 November 8, 2016 10 / 37

online bipartite matching problems bipartite matching: classical and online version 2 1 bidders 2 4 1 2 3 4 3 online arrivals 1 objects PJ (MIT) PMGO DAYS 2016 November 8, 2016 10 / 37

online bipartite matching problems bipartite matching: classical and online version 2 1 bidders 2 4 1 2 3 4 3 online arrivals 1 objects PJ (MIT) PMGO DAYS 2016 November 8, 2016 10 / 37

online bipartite matching problems bipartite matching: classical and online version 2 1 bidders 2 4 1 2 3 4 3 online arrivals 1 objects PJ (MIT) PMGO DAYS 2016 November 8, 2016 10 / 37

selected work online bipartite matching problems KVV90: Karp, Vazirani, Vazirani, [STOC 1990] [online bipartite matching] FMMM09: Feldman, Mehta, Mirrokni, Muthukrishnan, [FOCS 2009] [online stochastic matching under i.i.d. integral arrival rates] MY11: Mahdian, Yan, [STOC 2011] [online stochastic matching under unknown distribution] KMT11: Karande, Mehta, Tripathi, [STOC 2011] [online stochastic matching under unknown distribution] MOS13: Manshadi, Oveis-Gharan, Saberi, [MathOR 2013] [online stochastic matching under i.i.d. general arrival rates] JL14: J., Lu, [MathOR 2014] [online stochastic matching under various random models] PJ (MIT) PMGO DAYS 2016 November 8, 2016 11 / 37

online bipartite matching problems online bipartite matching: summary of main results for the adversarial model: no deterministic online algorithms can do better than 0.5 the ranking algorithm of KVV90 provides a best possible randomized algorithm with competitive ratio 1 1/e 0.632 PJ (MIT) PMGO DAYS 2016 November 8, 2016 12 / 37 bidders 2 4 3 1 objects

online bipartite matching problems online bipartite matching: summary of main results for the adversarial model: no deterministic online algorithms can do better than 0.5 the ranking algorithm of KVV90 provides a best possible randomized algorithm with competitive ratio 1 1/e 0.632 what about the case of random inputs, i.i.d. with known distribution? PJ (MIT) PMGO DAYS 2016 November 8, 2016 12 / 37 bidders 2 4 3 1 objects

online bipartite matching problems online bipartite matching: summary of main results for the adversarial model: no deterministic online algorithms can do better than 0.5 the ranking algorithm of KVV90 provides a best possible randomized algorithm with competitive ratio 1 1/e 0.632 what about the case of random inputs, i.i.d. with known distribution? bidders FMMM09 prove for the first time that one can do better under an i.i.d. stochastic model and give a 0.670-competitive algorithm under this scenario. MOS13 provide a 0.702-competitive algorithm in JL14, we obtain a (1 2/e 2 0.729)-competitive algorithm, best-known so far PJ (MIT) PMGO DAYS 2016 November 8, 2016 12 / 37 2 4 3 1 objects

an overall approach online bipartite matching problems given an i.i.d. model with known distribution, by solving an optimal maximum cardinality matching for each possible i.i.d. draws, one could calculate pik the probability that edge (i, k) is part of an optimal solution in any given random realization... PJ (MIT) PMGO DAYS 2016 November 8, 2016 13 / 37

an overall approach online bipartite matching problems given an i.i.d. model with known distribution, by solving an optimal maximum cardinality matching for each possible i.i.d. draws, one could calculate pik the probability that edge (i, k) is part of an optimal solution in any given random realization...... instead of computing pik, we formulate special maximum flow problems whose optimal solutions provide the input for the design of good online algorithms. PJ (MIT) PMGO DAYS 2016 November 8, 2016 13 / 37

online bipartite matching problems a maximum flow problem for the case of i.i.d. uniform max s.t. under the i.i.d. uniform assumption one can show x ik (i,k) E k:(i,k) E i:(i,k) E p ik x ik 1 x ik 1 x ik [0, 2/3] 1 1/e 0.632 (i, k) E. i B k O (i.k) E PJ (MIT) PMGO DAYS 2016 November 8, 2016 14 / 37

online bipartite matching problems a light version of the 0.729-competitive algorithm our randomized online algorithms (a bit simplified) 1 let x be an optimal solution to the previous LP. 2 When an object of type k arrives, if all bidders i such that xik > 0 have already been matched, then drop the request; otherwise, randomly assign the request to one of these unmatched bidders, proportionally to xik bidders 2 4 3 1 objects PJ (MIT) PMGO DAYS 2016 November 8, 2016 15 / 37

online bipartite matching problems a light version of the 0.729-competitive algorithm our randomized online algorithms (a bit simplified) 1 let x be an optimal solution to the previous LP. 2 When an object of type k arrives, if all bidders i such that xik > 0 have already been matched, then drop the request; otherwise, randomly assign the request to one of these unmatched bidders, proportionally to xik bidders objects 2 1 2 3 4 4 online arrivals 3 PJ (MIT) PMGO DAYS 2016 November 8, 2016 15 / 37 1

online bipartite matching problems a light version of the 0.729-competitive algorithm our randomized online algorithms (a bit simplified) 1 let x be an optimal solution to the previous LP. 2 When an object of type k arrives, if all bidders i such that xik > 0 have already been matched, then drop the request; otherwise, randomly assign the request to one of these unmatched bidders, proportionally to xik bidders 1 objects 2 1 2 3 4 4 online arrivals 3 PJ (MIT) PMGO DAYS 2016 November 8, 2016 15 / 37

online bipartite matching problems a light version of the 0.729-competitive algorithm our randomized online algorithms (a bit simplified) 1 let x be an optimal solution to the previous LP. 2 When an object of type k arrives, if all bidders i such that xik > 0 have already been matched, then drop the request; otherwise, randomly assign the request to one of these unmatched bidders, proportionally to xik competitive ratio = 1 2/e 2 1 bidders 1 objects 2 1 2 3 4 4 online arrivals 3 PJ (MIT) PMGO DAYS 2016 November 8, 2016 15 / 37

Second Part: Matching Markets for Kidney Exchange PJ (MIT) PMGO DAYS 2016 November 8, 2016 16 / 37

kidney exchange matching markets for kidney exchange P D settings PJ (MIT) PMGO DAYS 2016 November 8, 2016 17 / 37

kidney exchange matching markets for kidney exchange P D settings PJ (MIT) PMGO DAYS 2016 November 8, 2016 17 / 37 D P

kidney exchange matching markets for kidney exchange P D settings PJ (MIT) PMGO DAYS 2016 November 8, 2016 17 / 37 D P

kidney exchange matching markets for kidney exchange D P P D settings PJ (MIT) PMGO DAYS 2016 November 8, 2016 17 / 37 D P

kidney exchange matching markets for kidney exchange D P P D D settings P PJ (MIT) PMGO DAYS 2016 November 8, 2016 17 / 37 D P

kidney exchange matching markets for kidney exchange D P P D D settings P PJ (MIT) PMGO DAYS 2016 November 8, 2016 17 / 37 D P P D

data matching markets for kidney exchange blood-type compatibility: settings tissue-type compatibility: the likelihood of being compatible with a random donor (from a compatible blood type) is measured by the PRA (panel reactive antibodies): low PRA = highly compatible. PJ (MIT) PMGO DAYS 2016 November 8, 2016 18 / 37

matching markets for kidney exchange settings data and model - thickness and heterogeneity thickness: how easy is it for a typical patient to get a match? tissue-type compatibility: high PRA = hard to match low PRA = easy to match bimodal distribution two-type model: hard-to-match (H): typical probability p H = 2.5% easy-to-match (E): typical probability p E = 90% PJ (MIT) PMGO DAYS 2016 November 8, 2016 19 / 37

main questions matching markets for kidney exchange settings how to match in an heterogeneous environment? how do myopic (greedy in time) algorithms perform? how does the composition of the pool impact the types of exchanges needed to achieve the best performance? PJ (MIT) PMGO DAYS 2016 November 8, 2016 20 / 37

main questions matching markets for kidney exchange settings how to match in an heterogeneous environment? how do myopic (greedy in time) algorithms perform? how does the composition of the pool impact the types of exchanges needed to achieve the best performance? PJ (MIT) PMGO DAYS 2016 November 8, 2016 20 / 37

main questions matching markets for kidney exchange settings how to match in an heterogeneous environment? how do myopic (greedy in time) algorithms perform? how does the composition of the pool impact the types of exchanges needed to achieve the best performance? PJ (MIT) PMGO DAYS 2016 November 8, 2016 20 / 37

selected work matching markets for kidney exchange settings RSU07: Roth, Sönmez, Ünver, 2007, [compatibility-based static matching] U10: Ünver, 2010, [dynamic kidney exchange, blood-type compatibility, homogeneous case] AR11: Ashlagi, Roth, 2011, compatibility-based static matching] AGRR12: Ashlagi, Gamarnik, Rees, Roth, 2012 [compatibility-based static matching] AAKG13: Anderson, Ashlagi, Kanoria, Gamarnik, 2013, [compatibility-based dynamic matching, homogeneous case] ALO14: Akbarbour, Li, Oveis Gharan, 2014,[compatibility-based dynamic matching, with departure] ABJM16: Ashlagi, Burq, J., Manshadi, 2016, [compatibility-based dynamic matching, heterogeneous case] PJ (MIT) PMGO DAYS 2016 November 8, 2016 21 / 37

matching markets for kidney exchange modeling assumptions modeling assumptions an incompatible patient-donor pair is represented as a node. nodes arrive over time: one node arrival at each time step. arriving node has type H with probability θ (and type E w.p. 1 θ). PJ (MIT) PMGO DAYS 2016 November 8, 2016 22 / 37

matching markets for kidney exchange modeling assumptions modeling assumptions an incompatible patient-donor pair is represented as a node. nodes arrive over time: one node arrival at each time step. arriving node has type H with probability θ (and type E w.p. 1 θ). compatibility between nodes is modeled as a random graph, where the probability of an arc depends on the type of the receiving node: P H H = P E H = p H = o(1). P H E = P E E = p E = Θ(1). P H PJ (MIT) PMGO DAYS 2016 November 8, 2016 22 / 37 H H H P E H E

matching markets for kidney exchange modeling assumptions modeling assumptions an incompatible patient-donor pair is represented as a node. nodes arrive over time: one node arrival at each time step. arriving node has type H with probability θ (and type E w.p. 1 θ). compatibility between nodes is modeled as a random graph, where the probability of an arc depends on the type of the receiving node: P H H = P E H = p H = o(1). P H E = P E E = p E = Θ(1). no endogenous departures. P H PJ (MIT) PMGO DAYS 2016 November 8, 2016 22 / 37 H H H P E H E

matching markets for kidney exchange matching technology options modeling assumptions in real kidney exchanges, matches are conducted over time: bilaterally, in multi-way cycles, through chains. in our model, we only consider: bilateral matchings chain matchings PJ (MIT) PMGO DAYS 2016 November 8, 2016 23 / 37

matching markets for kidney exchange our measure of efficiency average waiting times modeling assumptions infinite horizon, dynamic system, steady-state behavior. everyone eventually gets matched the E nodes typically wait very little objective : minimize w H, the average waiting time for H nodes in steady-state. PJ (MIT) PMGO DAYS 2016 November 8, 2016 24 / 37

matching markets for kidney exchange our measure of efficiency average waiting times modeling assumptions infinite horizon, dynamic system, steady-state behavior. everyone eventually gets matched the E nodes typically wait very little objective : minimize w H, the average waiting time for H nodes in steady-state. note: by Little s law, if n H is the average number of H nodes waiting in steady state, then: n H = θw H. PJ (MIT) PMGO DAYS 2016 November 8, 2016 24 / 37

matching markets for kidney exchange lower bound performance lower bound on best-possible algorithms Proposition 1 (ABJM16) under any matching policy that reaches a steady state, average waiting times are such that w H + w E = Ω( 1 p H ). intuition: by contradiction: if the pool size is too small, an arriving node has a small probability of being matched immediately, and must wait a long time to get at least an incoming arc; by Little s law, this in turn would imply a large pool size. PJ (MIT) PMGO DAYS 2016 November 8, 2016 25 / 37

matching markets for kidney exchange lower bound performance lower bound on best-possible algorithms Proposition 1 (ABJM16) under any matching policy that reaches a steady state, average waiting times are such that w H + w E = Ω( 1 p H ). intuition: by contradiction: if the pool size is too small, an arriving node has a small probability of being matched immediately, and must wait a long time to get at least an incoming arc; by Little s law, this in turn would imply a large pool size. Proposition 2 (ABJM16) under any bilateral matching policy that reaches a steady state, the average waiting time of node H is such that w H = Ω( 1 ) ph 2 intuition: main idea is to show that a significant fraction of H nodes have to match to each other as a necessary condition for steady-state. PJ (MIT) PMGO DAYS 2016 November 8, 2016 25 / 37

bilateral matching matching markets for kidney exchange bilateral matching algorithm BilateralMatch-H algorithm: only 2-cycles are considered. matches are conducted as soon as possible (myopic policy). in case of ties, priority is given to H agents. properties: arcs present at t are never used for a matching at a time > t. system is characterized by only N t = (N H (t), N E (t)). N t is a positive recurrent Markov Chain. PJ (MIT) PMGO DAYS 2016 November 8, 2016 26 / 37

matching markets for kidney exchange BilateralMatch-H performance Theorem 1 (ANJM16) bilateral matching algorithm if θ < 1/2, BilateralMatch-H achieves a waiting time w H = Θ ( 1 p H ) if θ 1/2, ( BilateralMatch-H ) leads to much larger waiting time w H = Θ 1 ph 2 PJ (MIT) PMGO DAYS 2016 November 8, 2016 27 / 37

matching markets for kidney exchange BilateralMatch-H performance Theorem 1 (ANJM16) bilateral matching algorithm if θ < 1/2, BilateralMatch-H achieves a waiting time w H = Θ ( 1 p H ) if θ 1/2, ( BilateralMatch-H ) leads to much larger waiting time w H = Θ 1 ph 2 PJ (MIT) PMGO DAYS 2016 November 8, 2016 27 / 37

matching markets for kidney exchange intuition of the proof case θ < 1/2: more E than H nodes: bilateral matching algorithm when there are a lot of E nodes, H nodes can easily match to them bilaterally; the probability of that happening is p H for each H node waiting in the system. there needs to be only 1/p H nodes waiting for one to be matched with high probability at every time step... case θ > 1/2: more H than E nodes: when there are few E nodes however, some H nodes have to match to each other; the probability of this happening drops to ph 2 there needs to be 1/pH 2 nodes waiting for one to be matched with high probability at every time step... PJ (MIT) PMGO DAYS 2016 November 8, 2016 28 / 37

matching markets for kidney exchange bilateral matching algorithm priorities - what about BilateralMatch-E performance? Theorem 1 also holds for a policy that prioritizes for E nodes instead of H nodes (proved when p E = 1, conjectured when p E < 1) PJ (MIT) PMGO DAYS 2016 November 8, 2016 29 / 37

chain matching motivations matching markets for kidney exchange chain matching algorithm non-directed donors allow for chain matching. very good performance in static systems. very widely used in kidney exchange platforms. known results chains can be used in dynamic matching [Anderson et al.]. often at high computation cost (longest chains in the graph). our results extension to heterogeneous systems. good performance with myopic (greedy in time and in chain exploration) policy. heterogeneity helps. PJ (MIT) PMGO DAYS 2016 November 8, 2016 30 / 37

chain matching matching markets for kidney exchange ChainMatch algorithm: arrival of an altruistic agent. chain matching algorithm A H E H H H PJ (MIT) PMGO DAYS 2016 November 8, 2016 31 / 37

chain matching matching markets for kidney exchange ChainMatch algorithm: arrival of an altruistic agent. priority for H agents in case of a tie. chain matching algorithm PJ (MIT) PMGO DAYS 2016 November 8, 2016 31 / 37 H A H E H

chain matching matching markets for kidney exchange ChainMatch algorithm: arrival of an altruistic agent. priority for H agents in case of a tie. we match agents as soon as possible. chain matching algorithm PJ (MIT) PMGO DAYS 2016 November 8, 2016 31 / 37 A H E H

chain matching matching markets for kidney exchange ChainMatch algorithm: arrival of an altruistic agent. priority for H agents in case of a tie. we match agents as soon as possible. the next agent is chosen randomly chain matching algorithm PJ (MIT) PMGO DAYS 2016 November 8, 2016 31 / 37 A H H E H

chain matching matching markets for kidney exchange ChainMatch algorithm: arrival of an altruistic agent. priority for H agents in case of a tie. we match agents as soon as possible. the next agent is chosen randomly chain matching algorithm PJ (MIT) PMGO DAYS 2016 November 8, 2016 31 / 37 A H H H E H

chain matching matching markets for kidney exchange ChainMatch algorithm: arrival of an altruistic agent. priority for H agents in case of a tie. we match agents as soon as possible. the next agent is chosen randomly chain matching algorithm PJ (MIT) PMGO DAYS 2016 November 8, 2016 31 / 37 A H H E H

chain matching matching markets for kidney exchange ChainMatch algorithm: arrival of an altruistic agent. priority for H agents in case of a tie. we match agents as soon as possible. the next agent is chosen randomly chain matching algorithm PJ (MIT) PMGO DAYS 2016 November 8, 2016 31 / 37 H H E H

chain matching matching markets for kidney exchange ChainMatch algorithm: arrival of an altruistic agent. priority for H agents in case of a tie. we match agents as soon as possible. the next agent is chosen randomly properties: system is defined by (N H (t), N E (t)). Markov property. chain matching algorithm PJ (MIT) PMGO DAYS 2016 November 8, 2016 31 / 37 A H H

matching markets for kidney exchange ChainMatch performance Theorem 2 (ANJM16) in the special case p E = 1, chain matching algorithm if θ < 1, ChainMatch achieves a waiting time w H = Θ ( 1 if θ = 1, ChainMatch achieves a waiting time w H = O p H ) ( ) ln(1/ph ) p H PJ (MIT) PMGO DAYS 2016 November 8, 2016 32 / 37

matching markets for kidney exchange summary results: chain vs bilateral chain vs bilateral matching PJ (MIT) PMGO DAYS 2016 November 8, 2016 33 / 37

discussion matching markets for kidney exchange performance of myopic algorithms conclusion - batching does not help reduce waiting times. - greedy chains perform as well as longest chains. value of heterogeneity. - for θ < 1, waiting times decrease as 1 1 θ. - having at least 50% of E agents allows for near-optimal performance using bilateral matching. PJ (MIT) PMGO DAYS 2016 November 8, 2016 34 / 37

takeaways matching markets for kidney exchange benefits of heterogeneity conclusion - tradeoff between complexity of the matching mechanism and performance. - simpler chain-matching algorithm while keeping optimal performances. PJ (MIT) PMGO DAYS 2016 November 8, 2016 35 / 37

Thank You! PJ (MIT) PMGO DAYS 2016 November 8, 2016 36 / 37

Online Optimization for Dynamic Matching Markets Patrick Jaillet Department of Electrical Engineering and Computer Science Laboratory for Information and Decision Systems Operations Research Center Massachusetts Institute of Technology November 8, 2016 Research funded in part by the U.S. National Science Foundation (NSF) and Office of Naval Research (ONR) Collaborators: Itai Ashlagi (Stanford), Maximilien Burq (MIT), Xin Lu (Amazon), Vahideh Manshadi (Yale) PJ (MIT) PMGO DAYS 2016 November 8, 2016 37 / 37