[論文レビュー] Jealousy-freeness and other common properties in Fair Division of Mixed Manna

Martin Aleksandrov|arXiv (Cornell University)|Apr 23, 2020

Game Theory and Voting Systems参考文献 28被引用数 4

ひとこと要約

本稿は、非分割財（財、悪玉、または混合マナ）の公平配分を検討し、嫉妬フリー性の4つの新しい緩和形態であるJF1、JF1⁰、JFX、JFX⁰を導入・分析する。また、 envy-freeness up to one item (EF1/EFX) やパレート最適性といった公平性と効率性の組み合わせに関する新たな不可能性および可能性の結果を確立し、事前に再割り当てを行わない多項式時間でJF1⁰割り当てを計算するためのアルゴリズム1を提示する。

ABSTRACT

We consider a fair division setting where indivisible items are allocated to agents. Each agent in the setting has strictly negative, zero or strictly positive utility for each item. We, thus, make a distinction between items that are good for some agents and bad for other agents (i.e. mixed), good for everyone (i.e. goods) or bad for everyone (i.e. bads). For this model, we study axiomatic concepts of allocations such as jealousy-freeness up to one item, envy-freeness up to one item and Pareto-optimality. We obtain many new possibility and impossibility results in regard to combinations of these properties. We also investigate new computational tasks related to such combinations. Thus, we advance the state-of-the-art in fair division of mixed manna.

研究の動機と目的

• 混合マナ（アイテムがエージェントごとに異なる価値を持つ財、悪玉、またはその混合）における公平配分の公平性と効率性を分析すること。
• 嫉妬フリー性の4つの新しい緩和形態であるJF1、JF1⁰、JFX、JFX⁰を導入・形式化し、1つのアイテムに対する envy-freeness を精緻化すること。
• 公平性（例：JF1、EFX）と効率性（例：パレート最適性）の組み合わせを満たす割り当ての存在可能性および計算複雑性を調査すること。
• 事前に再割り当てを行わないための新しいアルゴリズム（アルゴリズム1）を考案し、JF1⁰割り当てを計算可能にし、オンライン展開を可能とすること。
• 特に正規化された効用関数および複数のエージェントを含む設定において、公平性緩和形態を組み合わせることの課題と限界を特定すること。

提案手法

• 嫉妬フリー性の4つの新しい公平性緩和形態を提唱：JF1（1つのアイテムに対する嫉妬フリー性）、JF1⁰（非ゼロ効用制約なしの緩和JF1）、JFX（全悪玉および財を考慮するより強いJF1）、JFX⁰（JFXの緩和形態）。
• 辞書式最大最小（leximin）および leximin++ アプローチを用いて公平な割り当てを計算し、後者により特定の設定でEFXおよびJFXの性質を保証する。
• 1アイテムずつ順次割り当てるアルゴリズム（アルゴリズム1）を採用し、過去の割り当てを再評価しない不可逆的決定をとる。これはオンライン環境に適している。
• 計算複雑性分析を用いて、特定の組み合わせ（例：JF1+PO）がNP困難であることを示し、反例を用いて不可能性結果を証明する。
• 正規化された加法的および一般効用関数を用いて、特に純粋な悪玉および混合マナ設定における公平性の分析を行う。
• 既存のアルゴリズム（例：一般化された envy-graph アルゴリズムによるEF1、マッチングに基づくPO割り当てのためのハンガリアン法）を活用する。

実験結果

リサーチクエスチョン

• RQ1 3人のエージェントと正規化された効用関数を有する問題において、JF1⁰割り当ては、1つのアイテムに対する envy-freeness (EF1) と併存可能か？
• RQ2 3人以上のエージェントを含む混合マナ設定において、JF1とパレート最適性（PO）の両方を達成することは可能か？
• RQ3 純粋な悪玉と正規化された一般効用関数を有する設定において、JFXおよびEFX割り当ては存在し、効率的に計算可能か？
• RQ4 提案されたJF1⁰アルゴリズムは、事前の知識なしに逐次的に到着するアイテムに対応するオンライン環境に適応可能か？
• RQ5 効用関数が1進法で与えられる場合、JFX割り当てを計算する多項式時間アルゴリズムは存在するか、それとも問題は本質的に困難か？

主な発見

• アルゴリズム1を用いることで、JF1⁰割り当ては多項式時間で計算可能であり、各アイテムに対して不可逆的決定を下すため、オンライン環境に適している。
• 3人のエージェントと3つの純粋な悪玉に対して正規化された加法的効用関数を有する問題において、JF1割り当てがすべてEF1を満たさない例が存在し、JF1とEF1の不整合性を示している。
• n ≥ 4人のエージェントを含む混合マナ設定ではJF1+POは不可能であり、問題はNP困難である。これは強い計算的障壁を示している。
• 純粋な悪玉設定ではJFX+PO割り当てが存在し、マッチングアルゴリズムを用いてO(n³)時間で効率的に計算可能である。
• leximin++解は、財を含む問題でEFXおよびJFXの性質を達成するが、混合マナへの拡張可能性を示唆している。
• JFX⁰およびJFXは、それぞれJF1⁰およびJF1よりも強く、JFX⁰ ⇒ JFX ⇒ JF1⁰ ⇒ JF1 という階層的関係が成り立つ。