[논문 리뷰] Partitioned Matching Games for International Kidney Exchange

Márton Benedek, Péter Bíró외 3명|arXiv (Cornell University)|2023. 01. 30.

Game Theory and Voting SystemsEconomics, Econometrics and Finance인용 수 3

한 줄 요약

이 논문은 국제 신장 교환 프로그램을 위한 협력 게임 이론 모델로 분할 매칭 게임을 제안하며, 각 국가가 공정성 제약 조건 하에 이식 성과를 최대화하도록 협력하는 모델이다. 각 국가의 기부자 수가 최대 2명 이하일 경우(폭 ≤ 2) 핵심(non-emptiness) 여부 검증이 다항식 시간 내에 해결 가능하지만, 폭이 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)와 정점 분할 V=V₁∪⋯∪Vₙ을 갖는 분할 매칭 게임 (N,v) 정의. 각 플레이어 p는 Vₚ에 속하는 정점을 소유한다.
• 협력군 S⊆N의 가치 v(S)를 S에 속한 플레이어가 소유하는 정점에 의해 유도되는 부분 그래프에서의 최대 무게 매칭으로 정의한다.
• 그래프를 변형하여 b-매칭 제약 조건을 모델링함으로써 분할 매칭 게임과 b-매칭 게임 간의 연결 고리를 구축한다.
• 3-Partition 문제로부터의 감소를 통해 폭 c≥3일 경우 핵심 비어있음 여부가 co-NP-난이도임을 증명한다.
• 폭 c≤2일 경우 b-매칭 게임에 대한 감소를 통해 핵심 비어있음 여부가 다항식 시간 내에 해결 가능하다는 것을 증명한다.
• 타원체 방법을 적용하여, 핵심 비어있음 여부가 다항식 시간 내에 결정 가능하다면, 핵심 배분과 핵심 소속 테스트 문제도 다항식 시간 내에 해결 가능하다는 것을 보여준다.

실험 결과

연구 질문

• RQ1 분할 매칭 게임의 핵심이 비어있지 않은 조건은 무엇이며, 이는 각 플레이어의 정점 집합 최대 크기(폭 c)에 따라 어떻게 달라지는가?
• RQ2 주어진 배분이 분할 매칭 게임의 핵심에 속하는지 확인하는 다항식 시간 알고리즘이 존재하는가?
• RQ3 국가 간 이식의 사전 지정된 공정 분포에 대해 약간의 근접도를 가지는 최대 무게 매칭을 찾을 수 있는가?
• RQ4 폭이 유한한 분할 매칭 게임에서 핵심과 관련된 문제들(핵심 비어있음 여부, 소속 여부, 배분)의 계산 복잡도는 어떻게 되는가?
• RQ5 분할 매칭 게임은 b-매칭 게임과 어떤 관계가 있으며, 한 클래스의 결과를 다른 클래스로 이행할 수 있는가?

주요 결과

• 분할 매칭 게임에서 핵심 비어있음 여부 검증은 폭 c≤2일 경우 다항식 시간 내에 해결 가능하다.
• 폭 c≥3일 경우 핵심 비어있음 여부 검증이 co-NP-난이도로 증명되어 폭 3에서 날카로운 복잡도 임계점이 존재한다.
• 이 논문은 b-매칭 게임에서 핵심 비어있음 여부가 b≥3일 경우 co-NP-난이도임을 보여줌으로써 기존의 복잡도 분류 격차를 해소한다. 반면 b≤2일 경우 다항식 시간 내에 해결 가능하다.
• 모든 간선의 가중치가 동일한 경우(즉, 동일한 가중치), 사전 지정된 공정 분포에 대해 약간의 근접도를 가지는 최대 무게 매칭을 찾는 문제는 다항식 시간 내에 해결 가능하다.
• 비균일한 가중치일 경우, 약간의 근접도를 가지는 최대 무게 매칭을 찾는 문제는 희박한 그래프일지라도 NP-난이도로 변질된다.
• 결과적으로 폭 c≥3인 분할 매칭 게임에서 핵심과 관련된 문제들(P1–P3)은 co-NP-난이도이며, 아마도 co-NP-완전일 것으로 예상되나, 이는 아직 미해결이다.