[論文レビュー] Don't cry to be the first! Symmetric fair division algorithms exist.

Guillaume Chèze|arXiv (Cornell University)|Apr 11, 2018

Game Theory and Voting Systems参考文献 23被引用数 3

ひとこと要約

本稿では、プレイヤーの順序に関係なく等しい扱いが保証される、ケーキカットの対称的公平配分アルゴリズムを提示する。既存の envy-free 方法を基に、対称的で envy-free なアルゴリズムを導出し、クーンのアルゴリズムを用いて O(n³) の計算量を持つ比例的で対称的なアルゴリズムを構築する。これにより、等しい者同士への等しい扱いを基本とする「アリストテレス的公平配分」の新たな原則を通じて、公平性が向上する。

ABSTRACT

In this article we study a cake cutting problem. More precisely, we study symmetric fair division algorithms, that is to say we study algorithms where the order of the players do not influence the value obtained by each player. In the first part of the article, we give a symmetric and envy-free fair division algorithm. More precisely, we show how to get a symmetric and envy-free fair division algorithm from an envy-free division algorithm. In the second part, we give a proportional and symmetric fair division algorithm with a complexity in O(n 3) in the Robertson-Webb model of complexity. This algorithm is based on Kuhn's algorithm. Furthermore, our study has led us to introduce a new notion: aristotelian fair division. This notion is an interpretation of Aristotle's principle: give equal shares to equal people. We conclude this article with a discussion and some questions about the Robertson-Webb model of computation.

研究の動機と目的

• プレイヤーの順序が結果の公平性に影響を与えないような、対称的公平配分アルゴリズムの開発。
• 既存の envy-free アルゴリズムを、入力順序に関係なく公平性を保つ対称的バージョンに拡張すること。
• 効率的な O(n³) の計算量を持つ、比例的で対称的な公平配分アルゴリズムの設計。
• 「アリストテレス的公平配分」という概念を形式化し、同じ立場にある者同士に等しい配分を与える公平性の原則として導入すること。
• ロバートソン＝ウェブモデルが対称的公平配分の文脈において、どのような制限や仮定を含むかを批判的に評価すること。

提案手法

• プレイヤーの順序を入れ替えても結果が変わらないように、既存の envy-free ケーキカットアルゴリズムの実行順序を変更することで、対称性を確保する。
• ロバートソン＝ウェブモデルにおいて、O(n³) のクエリ計算量を持つ比例的で対称的な配分を構築する基盤として、クーンのアルゴリズムを用いる。
• 同じ立場にある者に等しい配分を与えるという考えを形式化し、新たな公平性基準「アリストテレス的公平配分」として導入する。
• プレイヤーの役割を入れ替えた場合に、各プレイヤーが期待値として得るものが変わらないことで、対称性を分析する。
• 理論的分析を通じて、提案された対称的 envy-free アルゴリズムが、対称性と envy-freeness の両方を保つことを証明する。
• ロバートソン＝ウェブモデルが対称的公平配分プロトコルの設計に適しているかを評価し、特にプレイヤーの役割の完全な対称性を捉える点での限界を指摘する。

実験結果

リサーチクエスチョン

• RQ1 envy-free ケーキカットアルゴリズムを、プレイヤーの順序が個々の結果に影響を与えないように変更可能か？
• RQ2 公平配分アルゴリズムにおいて、比例性と対称性の両方を達成するために必要な最小の計算量は何か？
• RQ3 アリストテレスの「等しい者には等しい配分を与える」という原則を、ケーキカットにおける新たな公平性基準として形式化できるか？
• RQ4 ロバートソン＝ウェブモデルは、対称的公平配分プロトコルの設計を、どのように制限または支援するか？
• RQ5 ケーキカットにおいて、対称性、公平性（envy-freeness／比例性）、計算効率の間には、本質的なトレードオフが存在するか？

主な発見

• プレイヤーの順序を入れ替えても結果が変わらないように変更された既存の envy-free アルゴリズムを用いて、対称的で envy-free な公平配分アルゴリズムを構築した。
• クーンのアルゴリズムを基盤として用い、ロバートソン＝ウェブモデルにおいて O(n³) のクエリ計算量を持つ、比例的で対称的な公平配分アルゴリズムを達成した。
• 本稿では、「アリストテレス的公平配分」という新たな公平性の原則を導入し、同じ立場にある者に等しい配分を与えるという考えを形式化した。
• 研究では、公平配分における対称性は、標準的なアルゴリズムがしばしば初期のプレイヤーに便宜を図るため、プロトコル設計に注意深さが求められることを明らかにした。
• 分析により、ロバートソン＝ウェブモデルは、プレイヤーの役割の完全な対称性を捉える点で、対称的プロトコルの表現に限界を示していることが示唆された。
• 提案された対称的アルゴリズムは、公平性の性質（envy-freeness と比例性）を保ちつつ、プロトコルの順序における位置による利点を得ることのないよう設計された。