[論文レビュー] Fair Division with Minimal Sharing

Fedor Sandomirskiy, Erel Segal-Halevi|arXiv (Cornell University)|Aug 1, 2019

Game Theory and Voting Systems被引用数 13

ひとこと要約

本稿は、異なった好みを持つエージェント間での分割不能な財と悪財の公平配分に注目し、パレート最適、 envy-free（ envy がない）、あるいは比例的配分を達成するための共有対象の数を最小限に抑えることを目的としている。一般のインスタンス（非退化評価）では、エージェント数が固定されている場合、最小共有数の公平配分を多項式時間で計算可能であることが示されているが、評価が非常に一致する退化ケースでは問題は NP 困難になる。

ABSTRACT

A set of objects, some goods and some bads, is to be divided fairly among agents with different tastes, modeled by additive utility-functions. If the objects cannot be shared, so that each of them must be entirely allocated to a single agent, then fair division may not exist. What is the smallest number of objects that must be shared between two or more agents in order to attain a fair division? We focus on Pareto-optimal, envy-free and/or proportional allocations. We show that, for a generic instance of the problem --- all instances except of a zero-measure set of degenerate problems --- a fair and Pareto-optimal division with the smallest possible number of shared objects can be found in polynomial time, assuming that the number of agents is fixed. The problem becomes computationally hard for degenerate instances, where the agents' valuations are aligned for many objects.

研究の動機と目的

• 分割不能な対象を完全に1人のエージェントに割り当てる必要がある状況で、公平な配分を達成するために最低限共有される対象の数を特定すること。
• 最小共有で公平かつパレート最適な配分が存在する条件を同定すること。
• 公平配分問題の一般インスタンスにおいて、このような配分を効率的に計算するアルゴリズムを開発すること。
• 特にエージェントの評価が非常に一致する退化ケースにおいて、問題の計算複雑性を分析すること。

提案手法

• エージェントの好みを、財と悪財の集合上の加法的効用関数でモデル化する。
• envy-free（ envy がない）、比例的、パレート最適性の観点から公平性を定義する。
• 『一般インスタンス』とは、評価がエージェント間で一致しない非退化問題のゼロ測度の集合の外にあるものと定義する。
• 代数幾何学と最適化技術を用いて、固定されたエージェント数の下で、最小共有数の公平配分が存在し、多項式時間で計算可能であることを示す。
• 退化を回避し、アルゴリズムの取り扱いやすさを保つために、摂動に基づくアプローチを用いる。
• 凸最適化問題への還元を用いて、一般インスタンスにおいて最小共有解を効率的に見つける。

実験結果

リサーチクエスチョン

• RQ1 すべての対象が1人のエージェントに完全に割り当てられなければならない状況で、公平な配分を達成するために最低限共有される対象の数は何か？
• RQ2 共有対象数を最小化した場合に、パレート最適かつ envy-free（ envy がない）な配分を効率的に計算できるか？
• RQ3 どのような条件下で問題は取り扱いやすく保たれ、どのような条件下で計算的に困難になるか？
• RQ4 エージェントが対象を同様に評価する退化した評価構造が、最小共有の公平配分を求める際の複雑度にどのように影響するか？

主な発見

• 一般インスタンス（非退化評価）では、エージェント数が固定されている場合、最小共有数の公平かつパレート最適な配分を多項式時間で計算可能である。
• 最小共有数は有界であり、一般ケースでは効率的に特定可能である。
• エージェントの評価が多数の対象で非常に一致する退化インスタンスでは、問題は計算的に困難（NP 困難）になる。
• アルゴリズム的手法は、摂動による退化の回避に依存しており、解空間の取り扱いやすさを保証する。
• 一般インスタンスでは、財と悪財が混在していても、最小共有の公平配分が存在することが保証される。
• 同じ計算的条件下で、 envy-free（ envy がない）配分、比例的配分、パレート最適配分についても、結果は有効である。