[論文レビュー] New Cake Cutting Algorithms: a Random Assignment Approach to Cake Cutting.

Haris Aziz, Chun Ye|arXiv (Cornell University)|Jul 10, 2013

Auction Theory and Applications参考文献 24被引用数 3

ひとこと要約

この論文は、変動する要求と個人的所与財を扱いながらも、強力な envy-freeness と比例性を保証する、新しいランダム割り当てに基づくケーキカットアルゴリズムを導入する。パラメトリックネットワークフローと一般化された確率的シリアル手法を活用することで、多項式時間計算、戦略的不正の不可能性、強力な公平性保証を達成し、2人用バージョンではすべての主要な公平性および戦略的性質を同時に満たす。

ABSTRACT

In this paper we enrich the domain of the classic cake cutting problem by considering variable claims, private endowments, and robust versions of envy-freeness and proportionality. Robust versions of envy-freeness and proportionality are not only stronger than standard counter-parts but also have less information requirements. A polynomial-time robust envy-free algorithm is presented for piecewise constant value density functions which can also handle variable claims and private endowments. The algorithm relies on parametric network flows and the full force of recent generalizations of the probabilistic serial algorithm. The algorithm satisfies desirable strategic properties and also generalizes a recently introduced algorithm for piecewise uniform valuations. We then present an algorithm that satisfies both strategyproofness and robust proportionality for piecewise constant valuations. For the case of two agents, it is robust envy-free, robust-proportional, strategyproof, and polynomial-time.

研究の動機と目的

• 古典的なケーキカットを、変動する要求と個人的所与財を組み込むことで拡張すること。
• 標準的な概念よりも強く、情報量が少ない公平性のより強力な定義を定義し、それを達成すること。
• 区分的定数価値密度関数に対して、強力な公平性および戦略的性質を満たす多項式時間アルゴリズムを設計すること。
• 近年提案された区分的均一価値関数のためのアルゴリズムを、より広範な枠組みへ一般化すること。
• 区分的定数価値関数に対して、戦略的不正の不可能性と強力な比例性を満たすアルゴリズムを提示すること。2人用のバージョンでは、完全な公平性と戦略的強度を達成する。

提案手法

• アルゴリズムは、パラメトリックネットワークフローを用いて、変動する要求と個人的所与財の下での公平な割り当てをモデル化・計算する。
• 公平性と効率性を確保するため、最近の確率的シリアルアルゴリズムの一般化を割り当てプロセスに適用する。
• 強力な envy-freeness は、評価の不確実性が最も悪い状況下でも、いかなるエージェントも他のエージェントの割り当てを好まないことを保証することで達成される。
• 強力な比例性は、評価の最悪ケースシナリオにおいても各エージェントが自分の公平な割合以上を受けることを保証することで実現される。
• アルゴリズムは戦略的不正の不可能性を満たすように設計されており、エージェントが自身の評価を不正に報告しても利益を得られないようにする。
• このフレームワークは、区分的均一価値関数に関する先行研究を、変動する要求を伴う区分的定数関数へと拡張することで一般化する。

実験結果

リサーチクエスチョン

• RQ1 変動する要求と個人的所与財を扱いながらも、強力な公平性保証を維持できるケーキカットアルゴリズムを設計することは可能か？
• RQ2 標準的な公平性概念よりも強く、かつ情報依存度が低いように、強力な envy-freeness と強力な比例性をどのように形式化できるか？
• RQ3 区分的定数価値関数に対して、多項式時間で戦略的不正の不可能性と強力な公平性を同時に達成することは可能か？
• RQ4 提案されたアルゴリズムは、区分的均一価値関数に関する既存の結果を一般化できるか？
• RQ5 効率的で強力かつ戦略的不正の不可能なケーキカットを可能にするために、価値関数に必要な最小限の仮定は何か？

主な発見

• 区分的定数価値密度関数に対して、変動する要求と個人的所与財を組み込んだ多項式時間の強力な envy-free アルゴリズムが開発された。
• アルゴリズムはパラメトリックネットワークフローと一般化された確率的シリアル手法を活用し、公平性と計算効率を保証する。
• 2人のエージェントに対して、アルゴリズムは強力な envy-freeness、強力な比例性、戦略的不正の不可能性、多項式時間での実行を達成する。
• 強力な公平性の概念は、標準的なものよりも強く、エージェントの評価に関する情報量も少ない。
• この手法は、最近提案された区分的均一価値関数のためのアルゴリズムを、より広範な区分的定数関数のクラスへ一般化する。
• アルゴリズムは望ましい戦略的性質を維持しており、エージェントが好みを不正に報告するインcentiveがないことを保証する。