[論文レビュー] Partitioned Matching Games for International Kidney Exchange

Márton Benedek, Péter Bíró+3 more|arXiv (Cornell University)|Jan 30, 2023

Game Theory and Voting SystemsEconomics, Econometrics and Finance被引用数 3

ひとこと要約

本稿は、公平性制約のもとで移植の成果を最大化する国際的腎臓交換プログラムのための、協力的ゲーム理論的モデルとして分割マッチングゲームを導入する。各国が最大2人のドナーを有する場合（幅 ≤ 2）、コアの空でないことを確認することは多項式時間で解けるが、幅が2を超えるとco-NP困難になることが示され、国際的移植調整における安定性の鋭い計算複雑性の閾値が特定された。

ABSTRACT

We introduce partitioned matching games as a suitable model for international kidney exchange programmes, where in each round the total number of available kidney transplants needs to be distributed amongst the participating countries in a "fair" way. A partitioned matching game $(N,v)$ is defined on a graph $G=(V,E)$ with an edge weighting $w$ and a partition $V=V_1 \cup \dots \cup V_n$. The player set is $N = \{1, \dots, n\}$, and player $p \in N$ owns the vertices in $V_p$. The value $v(S)$ of a coalition $S \subseteq N$ is the maximum weight of a matching in the subgraph of $G$ induced by the vertices owned by the players in $S$. If $|V_p|=1$ for all $p\in N$, then we obtain the classical matching game. Let $c=\max\{|V_p| \; |\; 1\leq p\leq n\}$ be the width of $(N,v)$. We prove that checking core non-emptiness is polynomial-time solvable if $c\leq 2$ but co-NP-hard if $c\leq 3$. We do this via pinpointing a relationship with the known class of $b$-matching games and completing the complexity classification on testing core non-emptiness for $b$-matching games. With respect to our application, we prove a number of complexity results on choosing, out of possibly many optimal solutions, one that leads to a kidney transplant distribution that is as close as possible to some prescribed fair distribution.

研究の動機と目的

• 国がドナー・患者ペアを共有することで移植数を最大化する協力的ゲームとして国際的腎臓交換プログラムをモデル化すること。
• コアの空でない性質と公平な配分メカニズムの分析を通じて、国際的連携の安定性を保証すること。
• 分割マッチングゲームにおけるコア関連問題の計算複雑性を、特に分割の幅に関して特定すること。
• 分割マッチングゲームとb-マッチングゲームの関係を確立し、b-マッチングゲームにおけるコア計算の複雑性分類のギャップを解消すること。
• 各国間での移植の割り当てが所定の公平な分布に近いマッチングが得られるかどうかを調査すること。

提案手法

• 頂点集合VがV₁∪⋯∪Vₙに分割された重み付きグラフG=(V,E)上で定義される分割マッチングゲーム(N,v)を定義する。各プレイヤーpはVₚに属する頂点を所有する。
• 協力集合S⊆Nの価値v(S)を、Sに属するプレイヤーが所有する頂点によって誘導される部分グラフにおける最大重みマッチングの重みとして定義する。
• グラフを変換することで、b-マッチング制約をモデル化し、分割マッチングゲームとb-マッチングゲームの関係を確立する。
• 3分割問題からの還元を用いて、幅c≥3の場合にコアの空でない性質の確認がco-NP困難であることを証明する。
• 幅c≤2の場合に、b≤2のb-マッチングゲームへの還元を用いて、コアの空でない性質の確認が多項式時間で解けることを証明する。
• 楕円体法を用いて、コアの空でない性質の確認が多項式時間で決定可能であれば、コア配分とコア所属性のテストも多項式時間で解けることを示す。

実験結果

リサーチクエスチョン

• RQ1 分割マッチングゲームのコアが空でない条件は何か？ これは各プレイヤーの頂点集合の最大サイズ（幅c）にどのように依存するか？
• RQ2 与えられた配分が分割マッチングゲームのコアに属するかどうかを確認する多項式時間アルゴリズムは存在するか？
• RQ3 所定の公平な移植配分に弱く近い最大重みマッチングを効率的に見つけられるか？
• RQ4 幅が有界な分割マッチングゲームにおけるコア関連問題（コアの空でない性質、所属性、配分）の計算複雑性は何か？
• RQ5 分割マッチングゲームとb-マッチングゲームの関係は何か？ 一方のクラスの結果を他方に適用可能か？

主な発見

• 幅c≤2の場合、分割マッチングゲームにおけるコアの空でない性質の確認は多項式時間で解ける。
• 幅c≥3の場合、コアの空でない性質の確認はco-NP困難になる。幅3で鋭い複雑性の閾値が特定された。
• 本稿はb-マッチングゲームにおける複雑性のギャップを解消し、b≥3ではコアの空でない性質の確認がco-NP困難であることを示した。一方、b≤2では多項式時間で解ける。
• 辺の重みが一様（すべて等しい）である場合、所定の公平な配分に弱く近い最大重みマッチングを見つける問題は多項式時間で解ける。
• 非一様な重みでは、弱く近い最大重みマッチングを見つける問題は、スパarsなグラフに対してもNP困難になる。
• これらの結果から、幅c≥3の分割マッチングゲームにおけるコア関連問題（P1–P3）はco-NP困難であることが示され、おそらくco-NP完全であるが、これは未解決のままである。