[論文レビュー] Networked Fairness in Cake Cutting

Xiaohui Bei, Youming Qiao+1 more|arXiv (Cornell University)|Jul 7, 2017

Game Theory and Voting Systems参考文献 16被引用数 6

ひとこと要約

本稿は、無向グラフを用いたエージェントネットワーク上で、 envy-freeness と proportionality を定義する図的フレームワークを導入する。木構造上の envy-free 分配のための単純な moving-knife アルゴリズムと、後継者グラフ上の比例的配分のための離散的かつ有界なアルゴリズムを提示しており、完全グラフに対する従来の手法と比べて顕著に簡素化されている。

ABSTRACT

We introduce a graphical framework for fair division in cake cutting, where comparisons between agents are limited by an underlying network structure. We generalize the classical fairness notions of envy-freeness and proportionality to this graphical setting. Given a simple undirected graph G, an allocation is envy-free on G if no agent envies any of her neighbor's share, and is proportional on G if every agent values her own share no less than the average among her neighbors, with respect to her own measure. These generalizations open new research directions in developing simple and efficient algorithms that can produce fair allocations under specific graph structures. On the algorithmic frontier, we first propose a moving-knife algorithm that outputs an envy-free allocation on trees. The algorithm is significantly simpler than the discrete and bounded envy-free algorithm recently designed by Aziz and Mackenzie for complete graphs. Next, we give a discrete and bounded algorithm for computing a proportional allocation on descendant graphs, a class of graphs by taking a rooted tree and connecting all its ancestor-descendant pairs.

研究の動機と目的

• エージェントが隣人とのみ比較するというネットワーク制約下でのケーキカットにおけるフェアネスの形式化。
• 古典的なフェアネス概念（envy-freeness と proportionality）をグラフ構造を持つエージェント関係へ一般化すること。
• 木構造や後継者グラフなどの特定のグラフ族における、単純で効率的なフェア配分アルゴリズムの設計。
• 特に構造化されたネットワークにおいて、完全グラフに対する従来の envy-free プrotocolと比較して、アルゴリズムの複雑さを低減すること。
• グラフ制約下での proportionality と envy-freeness に対する理論的保証を確立し、社会的または優先順位ベースのシステムにおける実用的導入を可能にすること。

提案手法

• グラフ G 上での envy-freeness の定義：各エージェントは、自身の評価基準において、隣人のシェアを envy しないこと。
• グラフ G 上での proportionality の定義：各エージェントは、自身の評価基準において、自分のシェアの価値が隣人のシェアの平均以上であると評価すること。
• 木の根から下向きにケーキを配分する moving-knife アルゴリズムを提案し、最小限の複雑さで envy-freeness を保証する。
• 後継者グラフ（根付き木におけるすべての先祖-子孫ペアを接続して得られるグラフ）における比例的配分のための離散的かつ有界なアルゴリズムを設計する。
• エージェントの次数とスライス数に基づいた正確な割合配分を用いて、先祖と子孫を介したケーキスライスの再帰的配分を実施する。
• 評価値の不等式を境界化することで比例的配分を証明する：各エージェント v に対して、αv(Av) ≥ αv(N(v))/|N(v)| を満たし、区分的配分と共有評価の一貫性を用いる。

実験結果

リサーチクエスチョン

• RQ1 エージェントが隣人とのみ比較するネットワーキング環境において、envy-freeness と proportionality を意味的に再定義できるか？
• RQ2 一般の完全グラフと比較して、木構造ネットワークにおけるより単純で効率的な envy-free アルゴリズムを設計できるか？
• RQ3 離散的かつ有界なプロトコルが、木構造を越えて、例えば後継者グラフのようなより広いクラスのグラフにおいて比例的配分を達成できるか？
• RQ4 グラフ制約下での比例的配分に要するカット数の理論的上限は何か？
• RQ5 先祖と子孫間での評価の一貫性が、分散型ケーキカットプロトコルにおけるフェアネス保証にどのように影響するか？

主な発見

• 任意の木構造において、完全グラフ向けの離散的かつ有界なプロトコルと比較して著しく単純化された moving-knife アルゴリズムにより、envy-free 分配を計算可能である。
• 離散的かつ有界なアルゴリズムにより、根付き木のすべての先祖-子孫ペアを接続して得られる後継者グラフ上での比例的配分が計算可能である。
• アルゴリズムは、n 個のエージェントとノードの最大次数 d を用いて、最大 n²·d! 回のカットを要する。これは単一指数関数的バウンドを表す。
• 各エージェント v が、自身の評価基準において、隣人のシェアの平均以上に価値を評価するシェアを受け取ることを示すことにより、比例的配分が証明される。
• 証明は、各エージェントのシェアの評価値を、先祖と子孫からの寄与に基づいて境界化することに依拠しており、区分的等分と次数に基づく割当を用いる。
• envy 比較をネットワークの隣人への制限することで、複雑さを低減するフレームワークを提供し、大規模または優先順位ベースのシステムへの適用に適している。