[論文レビュー] Position-Indexed Formulations for Kidney Exchange

John P. Dickerson, David F. Manlove+3 more|arXiv (Cornell University)|Jun 6, 2016

Organ Donation and Transplantation参考文献 30被引用数 20

ひとこと要約

本稿は、上限付きサイクルおよびチェーンを伴う腎臓交換を最適化するための3つの新しい整数プログラミング定式化——2つはコンpactで、1つは位置インデックス付きチェーンに基づく——を導入し、計算効率を顕著に向上させている。提案されたPICEF定式化は、従来の非コンpactモデルと同等の線形緩和のきつさを達成しているが、コンpactであるため、実データおよび合成データにおいて、すべての既存のソルバーと比較して、計算時間で桁違いの高速化を達成している。また、等しいエッジ故障確率の下で故障に強いマッチングもサポートしている。

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.

研究の動機と目的

• 現代の実装済みシステムにおける、より長い上限付きチェーンを伴う腎臓交換のクリアランスに伴う計算課題の増大に対処すること。
• 既存の最もきつい緩和と同等の緩和品質を達成しながら、高速な解法時間を実現するコンpactな整数プログラミング定式化を開発すること。
• 等しい故障確率の仮定の下で、マッチング後のエッジ故障を最適化モデルに組み込むこと。
• 大規模な腎臓交換プログラムにおいて、実用的でスケーラブルかつ故障に強いマッチングを可能にすること。
• 現在の最良のブランチアンドプライス定式化を拡張し、故障に強い設定下でその価格設定問題を多項式時間で解けるようにすること。

提案手法

• ドナーの位置を追跡することでチェーンをモデル化する位置インデックス付きエッジ定式化（PICEF）を提案し、コンpactな表現を可能にする。
• パスとインデックスベースのエッジフローを組み合わせたハイブリッド定式化（HPIEF）を導入し、緩和の品質と計算性能を向上させる。
• 故障に強いマッチングを可能にするブランチアンドプライスに基づく非コンpact定式化（BnP-PICEF）を開発し、価格設定問題を多項式時間で解けるようにする。
• 各ドナーがペアとなる患者を有する場合、線形緩和のきつさが従来の最良非コンpact定式化と同等になるように線形プログラミング緩和を用いる。
• 等しい故障確率の仮定の下で、エッジの重みを調整することで、PICEFモデルをマッチング後のエッジ故障を考慮するように修正する。
• 故障に強いエッジコストの構造を活用し、一般化された価格設定サブ問題をブランチアンドプライスフレームワークで多項式時間で実行する。

実験結果

リサーチクエスチョン

• RQ1 腎臓交換に適したコンpactな整数プログラミング定式化は、従来の最良非コンpactモデルと同等の緩和品質を達成できるか？
• RQ2 これらの定式化は、実世界および大規模な腎臓交換インスタンスを解く際、既存のソルバーと比較して著しく優れているか？
• RQ3 実際には一般的なマッチング後のエッジ故障を、計算の実行可能性を損なわずに最適化モデルに組み込む方法は何か？
• RQ4 故障に強い腎臓交換のためのブランチアンドプライスフレームワークにおける価格設定問題を多項式時間で解けるか？
• RQ5 上限付きチェーン長の制限が、腎臓交換マッチングアルゴリズムのスケーラビリティとパフォーマンスに与える影響は何か？

主な発見

• PICEF定式化は、従来の最良非コンpact定式化と同等の線形緩和のきつさを達成しているが、コンpactで著しく高速である。
• UNOSおよびNLDKSSの実データ、および大規模な合成インスタンスにおいて、PICEFはすべての既存のソルバーと比較して、解法時間で桁違いの高速化を達成している。
• HPIEF定式化も、特に大規模インスタンスにおいて優れたパフォーマンスを示し、最先端のソルバーと同等の性能を発揮している。
• BnP-PICEF定式化は、多項式時間で価格設定問題を解けるため、故障に強いマッチングを可能にし、この分野におけるブランチアンドプライスの最先端を拡張している。
• 提案されたモデルは、上限付きチェーン長を効果的に扱っており、米国および英国の現行の実装済み腎臓交換システムの実務と整合している。
• PICEFモデルは、等しい故障確率の仮定の下で、直接的にエッジ故障をモデル化できるように変更可能であり、実世界システムにおける耐障害性の向上に実用的なメカニズムを提供している。