<p>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 (<i>N</i>,&#xa0;<i>v</i>) is defined on a graph <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(G=(V,E)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>G</mi> <mo>=</mo> <mo stretchy="false">(</mo> <mi>V</mi> <mo>,</mo> <mi>E</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> with an edge weighting <i>w</i> and a partition <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(V=V_1 \cup \dots \cup V_n\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>V</mi> <mo>=</mo> <msub> <mi>V</mi> <mn>1</mn> </msub> <mo>∪</mo> <mo>⋯</mo> <mo>∪</mo> <msub> <mi>V</mi> <mi>n</mi> </msub> </mrow> </math></EquationSource> </InlineEquation>. The player set is <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(N = \{ 1, \dots , n\}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>N</mi> <mo>=</mo> <mo stretchy="false">{</mo> <mn>1</mn> <mo>,</mo> <mo>⋯</mo> <mo>,</mo> <mi>n</mi> <mo stretchy="false">}</mo> </mrow> </math></EquationSource> </InlineEquation>, and player <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(p \in N\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo>∈</mo> <mi>N</mi> </mrow> </math></EquationSource> </InlineEquation> owns the vertices in <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(V_p\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>V</mi> <mi>p</mi> </msub> </math></EquationSource> </InlineEquation>. The value <i>v</i>(<i>S</i>) of a coalition&#xa0;<InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(S \subseteq N\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>S</mi> <mo>⊆</mo> <mi>N</mi> </mrow> </math></EquationSource> </InlineEquation> is the maximum weight of a matching in the subgraph of <i>G</i> induced by the vertices owned by the players in&#xa0;<i>S</i>. If <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(|V_p|=1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mrow> <mo stretchy="false">|</mo> </mrow> <msub> <mi>V</mi> <mi>p</mi> </msub> <mrow> <mo stretchy="false">|</mo> <mo>=</mo> <mn>1</mn> </mrow> </mrow> </math></EquationSource> </InlineEquation> for all <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(p\in N\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo>∈</mo> <mi>N</mi> </mrow> </math></EquationSource> </InlineEquation>, then we obtain the classical matching game. Let <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(c=\max \{|V_p| \; |\; 1\le p\le n\}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>c</mi> <mo>=</mo> <mo movablelimits="true">max</mo> <mo stretchy="false">{</mo> <mo stretchy="false">|</mo> <msub> <mi>V</mi> <mi>p</mi> </msub> <mo stretchy="false">|</mo> <mspace width="0.277778em" /> <mo stretchy="false">|</mo> <mspace width="0.277778em" /> <mn>1</mn> <mo>≤</mo> <mi>p</mi> <mo>≤</mo> <mi>n</mi> <mo stretchy="false">}</mo> </mrow> </math></EquationSource> </InlineEquation> be the width of (<i>N</i>,&#xa0;<i>v</i>). We prove that checking core non-emptiness is polynomial-time solvable if <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(c\le 2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>c</mi> <mo>≤</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation> but co-<Emphasis FontCategory="SansSerif">NP</Emphasis>-hard if <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(c\le 3\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>c</mi> <mo>≤</mo> <mn>3</mn> </mrow> </math></EquationSource> </InlineEquation>. We do this via pinpointing a relationship with the known class of <i>b</i>-matching games and completing the complexity classification on testing core non-emptiness for <i>b</i>-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.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Partitioned matching games for international kidney exchange

  • Márton Benedek,
  • Péter Biró,
  • Walter Kern,
  • Dömötör Pálvölgyi,
  • Daniel Paulusma

摘要

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 (Nv) is defined on a graph \(G=(V,E)\) G = ( V , E ) with an edge weighting w and a partition \(V=V_1 \cup \dots \cup V_n\) V = V 1 V n . The player set is \(N = \{ 1, \dots , n\}\) N = { 1 , , n } , and player \(p \in N\) p N owns the vertices in \(V_p\) V p . The value v(S) of a coalition  \(S \subseteq N\) S 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\) | V p | = 1 for all \(p\in N\) p N , then we obtain the classical matching game. Let \(c=\max \{|V_p| \; |\; 1\le p\le n\}\) c = max { | V p | | 1 p n } be the width of (Nv). We prove that checking core non-emptiness is polynomial-time solvable if \(c\le 2\) c 2 but co-NP-hard if \(c\le 3\) c 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.