[논문 리뷰] Position-Indexed Formulations for Kidney Exchange

John P. Dickerson, David F. Manlove외 3명|arXiv (Cornell University)|2016. 06. 06.

Organ Donation and Transplantation참고 문헌 30인용 수 20

한 줄 요약

이 논문은 길이가 제한된 사이클과 체인을 고려한 신장 혈액 순환 최적화를 위한 세 가지 새로운 정수계획법 형식—두 가지의 압축형과 한 가지의 위치기반 체인 기반 형식—을 제안한다. 이는 계산 효율성을 크게 향상시킨다. 제안된 PICEF 형식은 이전의 최고 성능을 내던 비압축형 모델과 동일한 선형계획법 타이트니스를 확보하면서도 압축형이어서, 실제 및 합성 데이터에서 기존의 모든 솔버보다 수개의 주기로 성능이 뛰어나며, 동일한 간선 실패 확률 조건 하에서 실패 인식 매칭도 지원한다.

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.

연구 동기 및 목표

• 현대의 실용적 시스템에서 더 길고 제한된 길이의 체인을 가진 신장 혈액 순환을 청산하는 데 발생하는 증가하는 계산적 과제를 해결하기 위해.
• 기존의 가장 타이트한 타이트니스를 갖춘 해를 도출할 수 있는 압축형 정수계획법 형식을 개발하여, 더 빠른 해를 도출할 수 있도록 하기 위해.
• 동일한 실패 확률 조건 하에서 매칭 후 간선 실패를 최적화 모델에 통합하기 위해.
• 대규모 신장 혈액 순환 프로그램에서 실용적이고 확장 가능하며 실패 인식 가능한 매칭을 가능하게 하기 위해.
• 기존의 최고 수준의 분할-가격 형식을 확장하여, 실패 인식 설정 하에서 가격 문제를 다항시간 내에 해결할 수 있도록 하기 위해.

제안 방법

• 기부자 위치를 추적함으로써 체인을 모델링하는 위치기반 간선 형식(PICEF)을 제안하여 압축 표현을 가능하게 한다.
• 경로와 인덱스 기반 간선 흐름을 융합한 하이브리드 형식(HPIEF)을 도입하여, 타이트니스 품질과 계산 성능을 향상시킨다.
• 실패 인식 매칭을 위한 다항시간 내에 가격 문제를 해결할 수 있는 비압축형 형식(BnP-PICEF)을 기반으로 한 분할-가격 기반 형식을 개발한다.
• 각 기부자가 짝을 이루는 환자를 가진 경우, 이전의 최고 비압축형 형식과 동일한 타이트니스를 갖춘 선형계획법 타이트니스를 사용한다.
• 동일한 실패 확률 조건 하에서 간선 실패를 고려하기 위해 PICEF 모델을 수정하여 간선 가중치를 조정한다.
• 실패 인식 간선 비용의 구조를 활용하여 다항시간 내에 실행 가능한 일반화된 가격 하위문제를 분할-가격 프레임워크에 적용한다.

실험 결과

연구 질문

• RQ1 기존의 최고 비압축형 모델과 동일한 타이트니스를 갖는 압축형 정수계획법 형식을 설계할 수 있는가?
• RQ2 이러한 형식은 실제 및 대규모 신장 혈액 순환 사례를 해결할 때 기존 솔버들보다 크게 슈퍼리아티브 성능을 낼 수 있는가?
• RQ3 실제로 흔히 발생하는 매칭 후 간선 실패를 계산 가능성을 희생시키지 않고 최적화 모델에 통합할 수 있는가?
• RQ4 실패 인식 신장 혈액 순환을 위한 분할-가격 프레임워크에서 가격 문제를 다항시간 내에 해결할 수 있는가?
• RQ5 제한된 체인 길이는 신장 혈액 순환 매칭 알고리즘의 확장성과 성능에 어떤 영향을 미치는가?

주요 결과

• PICEF 형식은 이전의 최고 비압축형 형식과 동일한 선형계획법 타이트니스를 확보하면서도 압축형이어서 훨씬 더 빠르다.
• UNOS 및 NLDKSS의 실제 데이터와 대규모 합성 인스턴스에서, PICEF는 모든 기존 솔버보다 수개의 주기로 해를 구하는 데 뛰어난 성능을 보였다.
• HPIEF 형식 역시 큰 인스턴스에서 뛰어난 성능을 보이며, 최첨단 솔버들과 경쟁 가능성을 보였다.
• BnP-PICEF 형식은 다항시간 내에 가격 문제를 해결할 수 있는 실패 인식 매칭을 가능하게 하여, 이 문제에 있어서 분할-가격 기법의 최첨단 수준을 확장했다.
• 제안된 모델들은 제한된 체인 길이를 효과적으로 처리하여, 미국 및 영국 등 실용적 신장 혈액 순환 시스템에서의 현재 관행과 부합한다.
• PICEF 모델은 동일한 실패 확률 조건 하에서 간선 실패를 직접 모델링할 수 있도록 수정 가능하여, 실제 시스템에서의 강건성을 향상시키는 실용적인 메커니즘을 제공한다.