Position-Indexed Formulations for Kidney Exchange

Dickerson, J. P., Manlove, D. F. , Plaut, B., Sandholm, T. and Trimble, J. (2016) Position-Indexed Formulations for Kidney Exchange. In: 17th ACM Conference on Economics and Computation, Maastricht, The Netherlands, 24-28 Jul 2016, pp. 25-42. ISBN 9781450339360 (doi: 10.1145/2940716.2940759)

[img]
Preview
Text
119356.pdf

486kB

Abstract

A kidney exchange is an organized barter market where patients in need of a kidney swap willing but incompatible donors. Determining an optimal set of exchanges is theoretically and empirically hard. Traditionally, exchanges took place in cycles, with each participating patient-donor pair both giving and receiving a kidney. The recent introduction of chains, where a donor without a paired patient triggers a sequence of donations without requiring a kidney in return, increased the efficacy of fielded kidney exchanges---while also dramatically raising the empirical computational hardness of clearing the market in practice. While chains can be quite long, unbounded-length chains are not desirable: planned donations can fail before transplant for a variety of reasons, and the failure of a single donation causes the rest of that chain to fail, so parallel shorter chains are better in practice. In this paper, we address the tractable clearing of kidney exchanges with short cycles and chains that are long but bounded. This corresponds to the practice at most modern fielded kidney exchanges. We introduce three new integer programming formulations, two of which are compact. Furthermore, one of these models has a linear programming relaxation that is exactly as tight as the previous tightest formulation (which was not compact) for instances in which each donor has a paired patient. On real data from the UNOS nationwide exchange in the United States and the NLDKSS nationwide exchange in the United Kingdom, as well as on generated realistic large-scale data, we show that our new models are competitive with all existing solvers---in many cases outperforming all other solvers by orders of magnitude. Finally, we note that our position-indexed chain-edge formulation can be modified in a straightforward way to take post-match edge failure into account, under the restriction that edges have equal probabilities of failure. Post-match edge failure is a primary source of inefficiency in presently-fielded kidney exchanges. We show how to implement such failure-aware matching in our model, and also extend the state-of-the-art general branch-and-price-based non-compact formulation for the failure-aware problem to run its pricing problem in polynomial time.

Item Type:Conference Proceedings
Status:Published
Refereed:Yes
Glasgow Author(s) Enlighten ID:Manlove, Professor David and Trimble, Mr James
Authors: Dickerson, J. P., Manlove, D. F., Plaut, B., Sandholm, T., and Trimble, J.
College/School:College of Science and Engineering > School of Computing Science
ISBN:9781450339360
Copyright Holders:Copyright © 2016 The Authors
First Published:First published in 17th ACM Conference on Economics and Computation: 25-42
Publisher Policy:Reproduced in accordance with the publisher copyright policy
Related URLs:

University Staff: Request a correction | Enlighten Editors: Update this record

Project CodeAward NoProject NamePrincipal InvestigatorFunder's NameFunder RefLead Dept
607071Efficient Algorithms for Mechanism Design Without Monetary Transfer.David ManloveEngineering & Physical Sciences Research Council (EPSRC)EP/K010042/1COM - COMPUTING SCIENCE