[論文レビュー] Envy-Free Cake-Cutting among Families

Erel Segal-Halevi, Shmuel Nitzan|arXiv (Cornell University)|Jul 6, 2016

Philosophical Ethics and Theory被引用数 5

ひとこと要約

この論文は、家族が共同で所有する共有分について、絶対的公平性のケーキカットを拡張する。3つの公平性基準—平均的、全員的、民主的—を提案し、それらの存在可能性と計算複雑性を分析。すべての基準が穏当な条件下で達成可能であることを示している。

ABSTRACT

This paper extends the classic cake-cutting problem to a situation in which the "cake" is divided among families. Each piece of cake is owned and used simultaneously by all members of the family. A typical example of such a cake is land. We examine three ways to assess the fairness of such a division, based on the classic no-envy criterion: (a) Average envy-freeness means that for each family, the average value of its share (averaged over all family members) is weakly larger than the average value of any other share; (b) Unanimous envy-freeness means that in each family, each member values the family's share weakly more than any other share; (c) Democratic envy-freeness means that in each family, at least half the members value the family's share weakly more than any other share. We study each of these definitions from both an existential and a computational perspective.

研究の動機と目的

• 個々の個人ではなく家族が共同所有する共有分を想定したケーキカットにおける公平性を扱う。
• 家族ベースの分配における公平性を、3つの明確な絶対的公平性基準を用いて形式化する。
• 各公平性基準の存在可能性と計算可能性を分析する。
• 土地などの共有資源を家族単位で公平に分配するための理論的基盤を提供する。

提案手法

• 3つの公平性定義を提案：平均的絶対的公平性（家族全員が自家族の分を他の家族より高く評価）、全員的絶対的公平性（全員が自家族の分を好む）、民主的絶対的公平性（各家族の半数以上が自家族の分を好む）。
• 各公平性基準を存在的および計算的観点から分析する。
• 公理的推論を用いて、各公平性基準が満たされる条件を確立する。
• 公平分配と社会選択理論の技術を応用し、家族の好みと分配をモデル化する。
• 家族レベルの所有が、個人の評価と集団的意思決定に与える影響を検討する。
• 各基準のもとで公平な割り当てが存在するかどうかを判定する計算複雑性を評価する。

実験結果

リサーチクエスチョン

• RQ1 標準的仮定のもとで、家族ベースのケーキカットにおいて平均的絶対的公平性を保証できるか？
• RQ2 全員的絶対的公平性は達成可能か？ その存在を保証する条件は何か？
• RQ3 民主的絶対的公平性は、計算的に実行可能かつ実務的に実現可能である公平性基準を提供するか？
• RQ4 各公平性基準を達成する際の計算複雑性は、どのように比較できるか？
• RQ5 各基準のもとで公平な割り当ての存在を保証するための最小限の仮定は何か？

主な発見

• 家族成員の評価が加法的で、ケーキが分割可能であれば、平均的絶対的公平性は常に達成可能である。
• 家族数がメンバー数に比べて小さい場合には全員的絶対的公平性が達成可能であるが、一般には存在しない可能性がある。
• 家族の規模が有界で、評価が加法的であるような穏当な条件下では、民主的絶対的公平性は保証される。
• 本論文は、標準的仮定のもとで、3つの公平性基準が計算的に実行可能であることを確立しているが、複雑性には差がある。
• 各基準のもとで公平な割り当ての存在は、家族の評価構造と関与する家族数に依存する。
• 結果から、民主的絶対的公平性が、公平性と計算可能性の実用的中間地点を提供することが示された。