[论文解读] 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

一句话总结

本文引入了分区匹配博弈（partitioned matching games）作为一种新颖的合作博弈理论模型，用于国际肾源交换项目，其中各国合作在公平性约束下最大化移植结果。研究证明，当每个国家的捐赠者数量最多为两个（宽度 ≤ 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-匹配博弈核心计算复杂度分类中的空白。
• 研究在各国之间实现接近预设公平移植分配的匹配的可行性。

提出的方法

• 在带权图 G=(V,E) 上定义一个分区匹配博弈 (N,v)，其中顶点集 V 按玩家划分为 V=V₁∪⋯∪Vₙ，每个玩家 p 拥有其所属的顶点集 Vₚ。
• 定义联盟 S⊆N 的值 v(S) 为由 S 中玩家所拥有的顶点所诱导的子图中的最大权匹配的权重。
• 通过将图转换为建模 b-匹配约束，建立分区匹配博弈与 b-匹配博弈之间的联系。
• 利用 3-Partition 问题的归约，证明当宽度 c≥3 时，核心非空性问题为 co-NP-难。
• 通过归约到 b≤2 的 b-匹配博弈，证明当 c≤2 时，核心非空性问题可在多项式时间内求解。
• 应用椭球法证明：若核心非空性可在多项式时间内判定，则核心分配与核心成员资格测试问题也可在多项式时间内求解。

实验结果

研究问题

• RQ1 在何种条件下，分区匹配博弈的核心是非空的？其与任一玩家顶点集最大大小（宽度 c）的关系如何？
• RQ2 是否存在一个多项式时间算法，用于判断给定分配是否属于分区匹配博弈的核心？
• RQ3 能否找到一个最大权匹配，使其在某种弱意义下接近预设的各国间移植分配？
• RQ4 对于有界宽度的分区匹配博弈，与核心相关的问题（核心非空性、成员资格与分配）的计算复杂度如何？
• RQ5 分区匹配博弈与 b-匹配博弈之间有何关联？能否将一类博弈的结果推广到另一类？

主要发现

• 当宽度 c≤2 时，分区匹配博弈的核心非空性检查可在多项式时间内求解。
• 当宽度 c≥3 时，核心非空性检查变为 co-NP-难，从而在宽度 3 处确立了精确的复杂度阈值。
• 本文通过证明当 b≥3 时核心非空性为 co-NP-难，而当 b≤2 时为多项式时间可解，填补了 b-匹配博弈中的复杂度分类空白。
• 当边权均匀（即所有权重相等）时，寻找与预设公平移植分配弱接近的最大权匹配问题，可在多项式时间内求解。
• 当边权非均匀时，即使在稀疏图中，寻找弱接近的最大权匹配问题也变为 NP-难。
• 结果表明，对于宽度 c≥3 的分区匹配博弈，核心相关问题（P1–P3）为 co-NP-难，且可能为 co-NP-完全，尽管该问题仍待证明。