the stochastic matching problem beating half with a non
play

The Stochastic Matching Problem: Beating Half with a Non-Adaptive - PowerPoint PPT Presentation

The Stochastic Matching Problem: Beating Half with a Non-Adaptive Algorithm Sepehr Assadi University of Pennsylvania Joint work with Sanjeev Khanna (Penn) and Yang Li (Penn) . Sepehr Assadi (Penn) Beating Half in Stochastic Matching EC 2017


  1. The Stochastic Matching Problem: Beating Half with a Non-Adaptive Algorithm Sepehr Assadi University of Pennsylvania Joint work with Sanjeev Khanna (Penn) and Yang Li (Penn) . Sepehr Assadi (Penn) Beating Half in Stochastic Matching EC 2017

  2. Matchings in Graphs Matching: A collection of vertex-disjoint edges. Maximum Matching problem: Find a matching with a largest number of edges. Sepehr Assadi (Penn) Beating Half in Stochastic Matching EC 2017

  3. Matchings in Graphs Matching: A collection of vertex-disjoint edges. Maximum Matching problem: Find a matching with a largest number of edges. Parameters: ◮ n : number of vertices in the graph G . ◮ opt ( G ) : size of any maximum matching in G . Sepehr Assadi (Penn) Beating Half in Stochastic Matching EC 2017

  4. The Maximum Matching Problem Maximum matching is a fundamental optimization problem with various applications. Sepehr Assadi (Penn) Beating Half in Stochastic Matching EC 2017

  5. The Maximum Matching Problem Maximum matching is a fundamental optimization problem with various applications. Studied extensively in numerous models: classical, online, parallel, streaming, distributed, ... Sepehr Assadi (Penn) Beating Half in Stochastic Matching EC 2017

  6. The Maximum Matching Problem Maximum matching is a fundamental optimization problem with various applications. Studied extensively in numerous models: classical, online, parallel, streaming, distributed, ... In this talk, we focus on the stochastic matching problem. Sepehr Assadi (Penn) Beating Half in Stochastic Matching EC 2017

  7. The Stochastic Matching Problem For any graph G ( V, E ) and parameter p ∈ (0 , 1) : Sepehr Assadi (Penn) Beating Half in Stochastic Matching EC 2017

  8. The Stochastic Matching Problem For any graph G ( V, E ) and parameter p ∈ (0 , 1) : A realization of G is a subgraph G p ( V, E p ) of G created by picking each edge e ∈ E independently and w.p. p in E p . Sepehr Assadi (Penn) Beating Half in Stochastic Matching EC 2017

  9. The Stochastic Matching Problem For any graph G ( V, E ) and parameter p ∈ (0 , 1) : A realization of G is a subgraph G p ( V, E p ) of G created by picking each edge e ∈ E independently and w.p. p in E p . The stochastic matching problem: Input: A graph G and a parameter p ∈ (0 , 1) . Output: a sparse subgraph H of G that preserves the maximum matching size in realizations of G . Sepehr Assadi (Penn) Beating Half in Stochastic Matching EC 2017

  10. The Stochastic Matching Problem For any graph G ( V, E ) and parameter p ∈ (0 , 1) : A realization of G is a subgraph G p ( V, E p ) of G created by picking each edge e ∈ E independently and w.p. p in E p . The stochastic matching problem: Input: A graph G and a parameter p ∈ (0 , 1) . Output: a sparse subgraph H of G that preserves the maximum matching size in realizations of G . � � � � E opt ( H p ) ≈ E opt ( G p ) Sepehr Assadi (Penn) Beating Half in Stochastic Matching EC 2017

  11. The Stochastic Matching Problem For any graph G ( V, E ) and parameter p ∈ (0 , 1) : A realization of G is a subgraph G p ( V, E p ) of G created by picking each edge e ∈ E independently and w.p. p in E p . The stochastic matching problem: Input: A graph G and a parameter p ∈ (0 , 1) . Output: a sparse subgraph H of G that preserves the maximum matching size in realizations of G . � � � � E opt ( H p ) ≈ E opt ( G p ) Introduced originally by Blum, Dickerson, Haghtalab, Procaccia, Sandholm, and Sharma (EC 2015) [Blum et al., 2015]. Sepehr Assadi (Penn) Beating Half in Stochastic Matching EC 2017

  12. An Example Graph G : Subgraph H : Sepehr Assadi (Penn) Beating Half in Stochastic Matching EC 2017

  13. An Example Graph G : Subgraph H : A realization G p : A realization H p : Sepehr Assadi (Penn) Beating Half in Stochastic Matching EC 2017

  14. An Example Graph G : Subgraph H : A realization G p : A realization H p : Sepehr Assadi (Penn) Beating Half in Stochastic Matching EC 2017

  15. Motivation Beyond its theoretical interest, the stochastic matching problem is motivated by its application to kidney exchange: Sepehr Assadi (Penn) Beating Half in Stochastic Matching EC 2017

  16. Motivation Beyond its theoretical interest, the stochastic matching problem is motivated by its application to kidney exchange: Patient-Donor pairs form the vertices of the graph G . Sepehr Assadi (Penn) Beating Half in Stochastic Matching EC 2017

  17. Motivation Beyond its theoretical interest, the stochastic matching problem is motivated by its application to kidney exchange: Patient-Donor pairs form the vertices of the graph G . There is an edge between any two vertices that a kidney exchange is a possibility. Sepehr Assadi (Penn) Beating Half in Stochastic Matching EC 2017

  18. Motivation Beyond its theoretical interest, the stochastic matching problem is motivated by its application to kidney exchange: Patient-Donor pairs form the vertices of the graph G . There is an edge between any two vertices that a kidney exchange is a possibility. Additional expensive and time consuming tests are needed to make sure an edge realizes, i.e., the exchange can indeed happen. Sepehr Assadi (Penn) Beating Half in Stochastic Matching EC 2017

  19. Motivation Beyond its theoretical interest, the stochastic matching problem is motivated by its application to kidney exchange: Patient-Donor pairs form the vertices of the graph G . There is an edge between any two vertices that a kidney exchange is a possibility. Additional expensive and time consuming tests are needed to make sure an edge realizes, i.e., the exchange can indeed happen. We know that each possible edge is realized with some relatively small constant probability. Sepehr Assadi (Penn) Beating Half in Stochastic Matching EC 2017

  20. Motivation The goal in kidney exchange: Sepehr Assadi (Penn) Beating Half in Stochastic Matching EC 2017

  21. Motivation The goal in kidney exchange: Find the largest number of patient-donor pairs that can perform a kidney exchange, i.e., find a maximum matching. Sepehr Assadi (Penn) Beating Half in Stochastic Matching EC 2017

  22. Motivation The goal in kidney exchange: Find the largest number of patient-donor pairs that can perform a kidney exchange, i.e., find a maximum matching. At the same time, test each patient-donor pair only a small number of times. Sepehr Assadi (Penn) Beating Half in Stochastic Matching EC 2017

  23. Motivation The goal in kidney exchange: Find the largest number of patient-donor pairs that can perform a kidney exchange, i.e., find a maximum matching. At the same time, test each patient-donor pair only a small number of times. To save on time, the test needs to be done in parallel, i.e., non-adaptively. Sepehr Assadi (Penn) Beating Half in Stochastic Matching EC 2017

  24. Motivation The goal in kidney exchange: Find the largest number of patient-donor pairs that can perform a kidney exchange, i.e., find a maximum matching. At the same time, test each patient-donor pair only a small number of times. To save on time, the test needs to be done in parallel, i.e., non-adaptively. This is precisely the setting of the stochastic matching problem! Sepehr Assadi (Penn) Beating Half in Stochastic Matching EC 2017

  25. Naive Approaches Trivial “solutions”? Sepehr Assadi (Penn) Beating Half in Stochastic Matching EC 2017

  26. Naive Approaches Trivial “solutions”? Let H be the graph G itself. 1 Sepehr Assadi (Penn) Beating Half in Stochastic Matching EC 2017

  27. Naive Approaches Trivial “solutions”? Let H be the graph G itself. 1 Pros. Exact answer. Cons. Subgraph H may have Θ( n 2 ) edges, i.e., is not sparse. Sepehr Assadi (Penn) Beating Half in Stochastic Matching EC 2017

  28. Naive Approaches Trivial “solutions”? Let H be the graph G itself. 1 Pros. Exact answer. Cons. Subgraph H may have Θ( n 2 ) edges, i.e., is not sparse. Let H be some maximum matching of G . 2 Sepehr Assadi (Penn) Beating Half in Stochastic Matching EC 2017

  29. Naive Approaches Trivial “solutions”? Let H be the graph G itself. 1 Pros. Exact answer. Cons. Subgraph H may have Θ( n 2 ) edges, i.e., is not sparse. Let H be some maximum matching of G . 2 Pros. Subgraph H is quite sparse, i.e., has at most n/ 2 edges. Cons. Approximation ratio is only p . Sepehr Assadi (Penn) Beating Half in Stochastic Matching EC 2017

  30. Better Solutions Are there better solutions? Sepehr Assadi (Penn) Beating Half in Stochastic Matching EC 2017

  31. Better Solutions Are there better solutions? A better solution would be a subgraph H with O p (1) maximum degree and a fixed constant approximation (independent of p ). Sepehr Assadi (Penn) Beating Half in Stochastic Matching EC 2017

  32. Better Solutions Are there better solutions? A better solution would be a subgraph H with O p (1) maximum degree and a fixed constant approximation (independent of p ). The answer is indeed Yes! Sepehr Assadi (Penn) Beating Half in Stochastic Matching EC 2017

  33. Better Solutions Are there better solutions? A better solution would be a subgraph H with O p (1) maximum degree and a fixed constant approximation (independent of p ). The answer is indeed Yes! [Blum et al., 2015]: (0 . 5 − ε ) -approximation with a subgraph H of � Θ( 1 ε ) . � 1 maximum degree p Sepehr Assadi (Penn) Beating Half in Stochastic Matching EC 2017

Recommend


More recommend