[論文レビュー] Envy-Free Cake-Cutting in Two Dimensions

Erel Segal-Halevi, Avinatan Hassidim+1 more|arXiv (Cornell University)|Jan 1, 2015

Game Theory and Voting Systems被引用数 1

ひとこと要約

本稿は、2次元の非均質的リソースにおける「 envy-free 」と「比例的」なカツケン分割手順を提示する。各エージェントは、実用的利便性を確保するため、指定された幾何的形状（例：長方形または正方形）のピースを受け取らなければならない。本稿は、完全な比例が達成できない状況下でも、幾何的制約のもとで公平性を保証する構成的アルゴリズムを提供し、自然な状況下で「 envy-free 」性と最良の部分的割合の両立が可能であることを証明する。

ABSTRACT

We consider the problem of fairly dividing a two-dimensional heterogeneous resource among several agents with different preferences. Potential applications include dividing land-estates among heirs, museum space among presenters or space in print and electronic media among advertisers. Classic cake-cutting procedures either consider a one-dimensional resource, or allocate each agent a collection of disconnected pieces. In practice, however, the two-dimensional shape of the allotted piece is of crucial importance in many applications. For example, when building houses or designing advertisements, in order to be useful, the allotments should be squares or rectangles with bounded aspect-ratio. We thus introduce the problem of fair two-dimensional division wherein the allocated piece must have a pre-specified geometric shape. We present constructive cake-cutting procedures that satisfy the two most prominent fairness criteria, namely envy-freeness and proportionality. In scenarios where proportionality cannot be achieved due to the geometric constraints, our procedures provide a partially-proportional division, guaranteeing that the fraction allocated to each agent be at least a certain positive constant. We prove that in many natural scenarios the envy-freeness requirement is compatible with the best attainable partial-proportionality.

研究の動機と目的

• 異なる好みを持つエージェント間での2次元非均質的リソースの公平な分配を扱う。
• 実用的利便性を確保するため、各エージェントが特定の幾何的形状（例：長方形または正方形）のピースを受け取ることを保証する。
• 幾何的制約のもとで「 envy-free 」性と比例性を満たす構成的手順を開発する。
• 完全な比例が達成できない状況を分析し、正の下限を持つ部分的割合保証を提供する。
• 自然な幾何的設定において、「 envy-free 」性が最良に達成可能な部分的割合と両立可能であることを証明する。

提案手法

• 2次元リソースに形状制約を課した、構成的カツケン分割アルゴリズムを設計する。
• 各エージェントの割り当てが、有界な縦横比を持つ長方形または正方形であることを要件として設定する。
• 古典的な1次元手順を拡張し、2次元の配分に「 envy-free 」性と比例性基準を適用する。
• 公平性と形状要件を維持しながらリソースを分割するための幾何的分割技術を用いる。
• 完全な比例が達成できない場合に、各エージェントが得る価値の割合に下限を確立する。
• 現実的な幾何的配置における「 envy-free 」性と最適な部分的割合の両立可能性を分析する。

実験結果

リサーチクエスチョン

• RQ1 各エージェントが特定の幾何的形状（例：長方形または正方形）のピースを受け取らなければならない制約のもとで、2次元リソース配分において「 envy-free 」かつ「比例的 」な公平な分配が達成可能か？
• RQ2 幾何的制約により完全な比例が達成できない場合、各エージェントが保証される価値の最大割合は何か？
• RQ3 2次元分割において、「 envy-free 」性が最良の部分的割合と両立する条件は何か？
• RQ4 有界な縦横比などの幾何的制約を、公平性を損なわずに公平分配アルゴリズムに統合する方法は何か？
• RQ5 形状制約と価値制約の下で、2次元カツケン分割における公平性の理論的限界は何か？

主な発見

• 本稿は、形状制約を伴う2次元カツケン分割において「 envy-free 」性と比例性を達成する構成的手順を提示する。
• 幾何的制約により完全な比例が達成できない場合、手順は各エージェントに全価値の正の割合を保証する。
• 部分的割合における保証割合は正の定数で下限づけられており、制約下でも公平性が保証される。
• 多くの自然な状況下で、「 envy-free 」性は最良に達成可能な部分的割合と両立可能である。
• 幾何的制約は公平性を妨げず、提案手法は実用的形状要件を満たしながらも公平性を維持する。