<p><i>Fair division</i> of resources among competing agents is a fundamental problem in computational social choice and game theory. It has been intensively studied for various types of items (<i>divisible</i> and <i>indivisible</i>) and under various notions of <i>fairness</i>. We focus on <span>Connected Fair Division</span> (<InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\textsf{CFD}\)</EquationSource> </InlineEquation>), the variant of fair division on graphs, where the <i>resources</i> are modeled as an <i>item graph</i>. Here, each agent has to be assigned a connected subgraph of the item graph, and each item has to be assigned to some agent. We introduce a generalization of <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\textsf{CFD}\)</EquationSource> </InlineEquation>, termed <span>Incomplete</span> <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\textsf{CFD}\)</EquationSource> </InlineEquation> (<InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\textsf{ICFD}\)</EquationSource> </InlineEquation>), where exactly <i>p</i> vertices of the item graph should be assigned to the agents. This might be useful, in particular when the allocations are intended to be “economical” as well as fair. We consider four well-known notions of fairness: <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\textsf{PROP}\)</EquationSource> </InlineEquation>, <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\textsf{EF}\)</EquationSource> </InlineEquation>, <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\textsf{EF1}\)</EquationSource> </InlineEquation>, <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\textsf{EFX}\)</EquationSource> </InlineEquation>. First, we prove that <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(\textsf{EF}\)</EquationSource> </InlineEquation>-<InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(\textsf{ICFD}\)</EquationSource> </InlineEquation>, <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(\textsf{EF1}\)</EquationSource> </InlineEquation>-<InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(\textsf{ICFD}\)</EquationSource> </InlineEquation>, and <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(\textsf{EFX}\)</EquationSource> </InlineEquation>-<InlineEquation ID="IEq14"> <EquationSource Format="TEX">\(\textsf{ICFD}\)</EquationSource> </InlineEquation> are W[1]-hard parameterized by <i>p</i> plus the number of agents, even for graphs having constant <i>vertex cover number</i> (<InlineEquation ID="IEq15"> <EquationSource Format="TEX">\(\textsf{vcn}\)</EquationSource> </InlineEquation>). In contrast, we present a randomized <InlineEquation ID="IEq16"> <EquationSource Format="TEX">\(\textsf{FPT}\)</EquationSource> </InlineEquation> algorithm for <InlineEquation ID="IEq17"> <EquationSource Format="TEX">\(\textsf{PROP}\)</EquationSource> </InlineEquation>-<InlineEquation ID="IEq18"> <EquationSource Format="TEX">\(\textsf{ICFD}\)</EquationSource> </InlineEquation> parameterized only by <i>p</i>. Additionally, we prove both positive and negative results concerning the kernelization complexity of <InlineEquation ID="IEq19"> <EquationSource Format="TEX">\(\textsf{ICFD}\)</EquationSource> </InlineEquation> under all four fairness notions, parameterized by <i>p</i>, <InlineEquation ID="IEq20"> <EquationSource Format="TEX">\(\textsf{vcn}\)</EquationSource> </InlineEquation>, and the total number of different valuations in the item graph (<InlineEquation ID="IEq21"> <EquationSource Format="TEX">\(\textsf{val}\)</EquationSource> </InlineEquation>).</p>

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

Parameterized complexity of incomplete connected fair division

  • Harmender Gahlawat,
  • Meirav Zehavi

摘要

Fair division of resources among competing agents is a fundamental problem in computational social choice and game theory. It has been intensively studied for various types of items (divisible and indivisible) and under various notions of fairness. We focus on Connected Fair Division ( \(\textsf{CFD}\) ), the variant of fair division on graphs, where the resources are modeled as an item graph. Here, each agent has to be assigned a connected subgraph of the item graph, and each item has to be assigned to some agent. We introduce a generalization of \(\textsf{CFD}\) , termed Incomplete \(\textsf{CFD}\) ( \(\textsf{ICFD}\) ), where exactly p vertices of the item graph should be assigned to the agents. This might be useful, in particular when the allocations are intended to be “economical” as well as fair. We consider four well-known notions of fairness: \(\textsf{PROP}\) , \(\textsf{EF}\) , \(\textsf{EF1}\) , \(\textsf{EFX}\) . First, we prove that \(\textsf{EF}\) - \(\textsf{ICFD}\) , \(\textsf{EF1}\) - \(\textsf{ICFD}\) , and \(\textsf{EFX}\) - \(\textsf{ICFD}\) are W[1]-hard parameterized by p plus the number of agents, even for graphs having constant vertex cover number ( \(\textsf{vcn}\) ). In contrast, we present a randomized \(\textsf{FPT}\) algorithm for \(\textsf{PROP}\) - \(\textsf{ICFD}\) parameterized only by p. Additionally, we prove both positive and negative results concerning the kernelization complexity of \(\textsf{ICFD}\) under all four fairness notions, parameterized by p, \(\textsf{vcn}\) , and the total number of different valuations in the item graph ( \(\textsf{val}\) ).