[論文レビュー] N-person envy-free chore division

Elisha Peterson, Francis Edward Su|ArXiv.org|Sep 2, 2009

Philosophy and Theoretical Science参考文献 8被引用数 9

ひとこと要約

本稿は、n人による割り当てにおいて、誰も他人の割り当てを羨ましく思わない（ envy-free ）ように、不本意な分割可能な資源（例：家事）をn人で分配する、初めての明示的で離散的かつ構成的なn人分の envy-free 割り当てアルゴリズムを提示する。この手法は、Brams-Taylorのケーキカット技術を、リーヴァスベースの補正と不可逆的優位性（irrevocable advantage）を用いて適合させ、反復的精錬によって envy-freeness を保証し、連続的な動く刃（moving-knife）手順に依存せずに、正確な envy-freeness を達成する。

ABSTRACT

In contrast to the classical cake-cutting problem (how to fairly divide a desirable object), "chore division" is the problem of how to divide an undesirable object. We develop the first explicit algorithm for envy-free chore division among N people, a counterpart to the N-person envy-free cake-division solution of Brams-Taylor (1995). This is accomplished by exploiting a notion of "irrevocable advantage" for chores. We discuss the differences between cake-cutting and chore division and additional problems encountered in chore division.

研究の動機と目的

• n人による envy-free 割り当てを実現する構成的で離散的なアルゴリズムを開発すること。これは、3人および4人による既存の結果を拡張するものである。
• ケーキカットとは異なり、プレイヤーが最も小さな部分を好むという特徴を持つ、家事割り当てにおける envy-freeness を保証する課題に取り組むこと。
• リーヴァスベースの補正と不可逆的優位性を用いた一般化された手順を確立し、動く刃法に依存せずに、正確な envy-freeness を保証すること。
• 家事割り当てはケーキカットの単純な双対ではないこと、ならびにリーヴァス作成と戦略的配分といった新しい技術が不可欠であることを示すこと。
• 有限ではあるが、上限のないアルゴリズムを提示し、移動刃法に依存せずに envy-freeness を保証する解に収束させることで、上限付き手続きに関する未解決の問いを解消すること。

提案手法

• アルゴリズムは、BramsとTaylorのn人分ケーキカット法に基づく離散的で反復的な手続きを、家事割り当てに適合させたものである。
• プレイヤーは、自らが大きな価値（つまり、家事負担が小さい）とみなす部分を選択してリーヴァスを作成し、それらを用いて部分を補正し、認識上のサイズに同値をもたらす。
• コアメカニズムは「リーヴァスによる補正」であり、他のプレイヤーが先に選んでも、プレイヤー自身が2番目に好む（つまり、最小の）部分を確保できるように保証する。
• 「不可逆的優位性」の概念を適用する：プレイヤーが、他のプレイヤーの部分よりも自分自身の部分が、残りのリーヴァスの価値を上回るだけ小さければ、リーヴァスの分配にかかわらず、誰からも羨ましがられることはない。
• 手順は反復的にケーキの一部を割り当て、不可逆的優位性の集合を更新し、最終的にすべてのプレイヤーが他のプレイヤーに対して不可逆的優位性を持つように保証し、最終的な割り当てにおいて envy が生じないようにする。
• n人への拡張は、部分とリーヴァスの数を比例的に増やすことで実現され、各段階で公平性を維持する再帰的構造を用いる。

実験結果

リサーチクエスチョン

• RQ1 n ≥ 3人のプレイヤーに対して、離散的で構成的なアルゴリズムを用いて、正確な envy-free 割り当てを達成できるか？
• RQ2 ケーキカットから家事割り当てへと「不可逆的優位性」の概念をどのように適合できるか？（ここでプレイヤーはより小さな部分を好む。）
• RQ3 プレイヤーの家事部分に対する評価が異なる場合、リーヴァスと補正は公平性をどのように維持するか？
• RQ4 なぜ家事割り当てはケーキカットの単純な双対ではないのか？どのような新しい課題を引き起こすのか？
• RQ5 動く刃法に依存せずに、有限ではあるが上限のないアルゴリズムを設計し、家事割り当てにおける envy-freeness を保証することは可能か？

主な発見

• 本稿は、3人および4人による既存の結果を拡張し、n人分の envy-free 割り当てを実現する、初めての明示的で離散的かつ構成的なアルゴリズムを提示する。
• リーヴァスベースの補正と不可逆的優位性を用いることで、選択順序が異なる場合でも、誰も他人の割り当てを羨ましく思わないことを保証する。
• 反復的精錬によって正確な envy-freeness を達成し、すべてのプレイヤーのペアが不可逆的優位性を達成した時点で収束が保証される。
• n=4の場合、反復フェーズでは1回のパスで最低でも半分のケーキが割り当てられ、従来の手法よりも効率が向上する。
• ステップ数とカット数は有限ではあるが、プレイヤーの好みに依存して上限がないため、上限付き手続きに関する未解決の問いが残る。
• この手法は、家事割り当てではケーキカットよりも複雑なリーヴァス管理が必要であり、両者の問題が対称的な双対ではないことを示している。