[論文レビュー] Dividing a Graphical Cake

Xiaohui Bei, Warut Suksompong|arXiv (Cornell University)|Oct 30, 2019

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

ひとこと要約

本稿では、ケーキを無向グラフとして表現する一般化されたカケージングモデルを導入し、道路やケーブルのようなネットワークリソースの公平な分配を可能にする。連結性制約下での比例性の最良近似が達成可能な範囲についてタイトな境界を確立し、n人のエージェントに対して各々が少なくとも1/(2n−1)の効用を保証できることを示している。最適な保証は、グラフ構造に応じて1/3または1/2であり、特にそれがほとんどブリッジレス（1本の辺を追加することでブリッジレスにできる）かどうかに依存する。

ABSTRACT

We consider the classical cake-cutting problem where we wish to fairly divide a heterogeneous resource, often modeled as a cake, among interested agents. Work on the subject typically assumes that the cake is represented by an interval. In this paper, we introduce a generalized setting where the cake can be in the form of the set of edges of an undirected graph. This allows us to model the division of road or cable networks. Unlike in the canonical setting, common fairness criteria such as proportionality cannot always be satisfied in our setting if each agent must receive a connected subgraph. We determine the optimal approximation of proportionality that can be obtained for any number of agents with arbitrary valuations, and exhibit tight guarantees for each graph in the case of two agents. In addition, when more than one connected piece per agent is allowed, we establish the best egalitarian welfare guarantee for each total number of connected pieces. We also study a number of variants and extensions, including when approximate equitability is considered, or when the item to be divided is undesirable (also known as chore division).

研究の動機と目的

• 道路やケーブルネットワークのようなグラフ構造を持つリソースへの古典的カケージングの公平性の拡張。連結性が確保された部分割り当てが不可欠である点を強調する。
• 各エージェントがグラフケーキの連結部分グラフを受領しなければならない場合に、比例性の最良近似がどの程度達成可能かを特定すること。
• 2エージェント設定における最適な公平性保証を、ほとんどブリッジレスであるかどうかなどのグラフ特性に基づいて特徴付けること。
• 犠牲品分配（チョア・ディビジョン）と複数の部分割り当てへの拡張を検討し、エゴイスト的ウェルファーウェルファーフェアネスの保証を改善すること。
• グラフィカルな設定における近似等価性と envy-freeness のタイトな境界を確立すること。

提案手法

• ケーキを無向グラフの辺集合としてモデル化し、エージェントが辺に対して加法的かつ正規化された評価を持つこと。
• グラフ構造に適合させた一般化されたデュビンス・スパニヤー風の移動カミン手順を適用し、連結な割り当てを保証すること。
• ブリッジやサイクル構造などのグラフ理論的性質を用いてグラフを分類し、公平性の境界を導出すること。
• 帰納的議論とコスト分割技術を用いて、犠牲品分配におけるエゴイスト的ウェルファーウェルファーフェアネスの保証を証明すること。
• グラフトポロジーに基づく、2エージェントの達成可能な効用ペア (α, β) の新しい特徴付けを導入すること。
• 構造的グラフ不変量を用いて性能を分析するアルゴリズムを設計し、近似等価な割り当てを計算すること。

実験結果

リサーチクエスチョン

• RQ1 各エージェントがグラフィカルケーキの連結部分グラフを受領しなければならない場合に、比例性の最良近似として保証可能な値は何か？
• RQ2 2エージェントの場合、どのグラフ理論的性質が比例的割り当て（1/2の効用）が達成可能かどうかを決定するか？また、1/3が最良の保証となるのはどのような場合か？
• RQ3 1エージェントあたり複数の連結部分を許容することで、グラフィカルケーキカケージングにおけるエゴイスト的ウェルファーウェルファーフェアネス保証はどのように変化するか？
• RQ4 グラフィカルケーキカケージングモデルにおいて、近似等価性を達成可能か？そのような割り当てのタイトな境界は何か？
• RQ5 犠牲品分配において、特にエゴイスト的コスト最小化の観点から、どの程度の公平性保証をグラフィカル設定に拡張できるか？

主な発見

• 任意のn人および任意のグラフに対して、各エージェントが合計価値の少なくとも1/(2n−1)を受領する連結割り当てが存在し、この境界はタイトである。
• 2エージェントの場合、グラフがほとんどブリッジレス（1本の辺を追加することでブリッジレスにできる）であれば最適保証は1/2、そうでなければ1/3である。
• 2エージェントの場合、1人のエージェントが少なくとも1/2、もう1人が少なくとも1/3の価値を受領する連結割り当てが存在し、このようなすべてのペア (α, β) が完全に特徴付けられている。
• 1エージェントあたり複数の連結部分を許容する場合、エゴイスト的ウェルファーウェルファーフェアネスの最良保証は、全エージェントの合計でk個の連結部分がある場合に2/kである。
• 犠牲品分配においては、n人のエージェントに対してエゴイスト的コストが2/(n+1)以下である連結割り当てが存在し、この境界は予想されるタイトさである。
• 本稿では、グラフィカル設定における近似等価割り当てを構成的に提供するアルゴリズムを提示しており、その性能はグラフ構造とエージェントの評価に依存する。