[論文レビュー] Towards Optimal Subsidy Bounds for Envy-freeable Allocations

Yasushi Kawase, Kazuhisa Makino+3 more|arXiv (Cornell University)|Aug 22, 2023

Auction Theory and ApplicationsDecision Sciences被引用数 3

ひとこと要約

本稿では、分割不能なアイテムの公平配分における envy-free 割り当てを達成するための、より良い多項式時間アルゴリズムを提示する。EF1 割り当てが与えられたとき、各エージェントに対して最大 $ n-1 $ の補助金が、合計で $ n(n-1)/2 $ までに抑えられ、かつ envy-free 割り当てが達成可能である。これは、従来の $ 2(n-1) $ および $ 2(n-1)^2 $ の上限を顕著に改善する。$ n \geq 3 $ かつ単調な評価関数の場合、さらなる改良により、各エージェントの補助金は $ n - 1.5 $、合計補助金は $ (n^2 - n - 1)/2 $ にまで低下し、特定の状況ではこれがタイトである。

ABSTRACT

We study the fair division of indivisible items with subsidies among $n$ agents, where the absolute marginal valuation of each item is at most one. Under monotone valuations (where each item is a good), Brustle et al. (2020) demonstrated that a maximum subsidy of $2(n-1)$ and a total subsidy of $2(n-1)^2$ are sufficient to guarantee the existence of an envy-freeable allocation. In this paper, we improve upon these bounds, even in a wider model. Namely, we show that, given an EF1 allocation, we can compute in polynomial time an envy-free allocation with a subsidy of at most $n-1$ per agent and a total subsidy of at most $n(n-1)/2$. Moreover, we present further improved bounds for monotone valuations.

研究の動機と目的

• 分割不能なアイテムの公平配分において、envy-freeness を達成するために必要な各エージェントおよび合計補助金の上界を改善すること。
• 単調および二重単調な評価関数に関する先行研究を、$[-1, 1]$ の正規化された限界評価関数を含むより広範なモデルへと拡張すること。
• EF1 もしくは EFk 条件を満たす割り当てが与えられたもとで、最小補助金を伴う envy-free 割り当てを計算する多項式時間アルゴリズムを提供すること。
• 特に単調な評価関数に対して、既知の下界と従来の上界との差を埋めること。
• 例の構築により、改善された上界がタイトであることを示すこと。

提案手法

• 既存の EF1 割り当てを入力とし、バndl と補助金の最適再配分を図る再重み付けおよび順列変換技術を用いる。
• 最大補助金と合計補助金を最小化するように、異なるバndl 再配置から得られる二つの候補補助金ベクトル $ p' $ と $ p'' $ を導入する。
• ペアワイズの envy を分析し、最適な補助金ベクトルの選定を支援するため、重みベースのグラフモデル $ G_{w,\text{id}} $ を用いる。
• さまざまなバndl 組み合わせにおける限界評価の差と補助金寄与量の上限を示す補題を適用し、境界を証明する。
• 最大重み順列 $ \tau^* $ を用いて、$ p' $ と $ p'' $ の中から最大補助金および合計補助金が最小となる補助金ベクトルを選択する。
• 例の構築により、境界がタイトであることを証明する。

実験結果

リサーチクエスチョン

• RQ1 単調な評価関数のもとで、envy-free 割り当てに必要な各エージェントおよび合計補助金の上限を、それぞれ $ 2(n-1) $ および $ 2(n-1)^2 $ を超えて改善できるか？
• RQ2 EF1 割り当てが与えられたもとで、有界な補助金を伴う envy-free 割り当てを多項式時間で計算できるか？
• RQ3 正規化された限界評価関数が $[-1, 1]$ に属する一般モデルにおいて、envy-freeness を達成するために必要な、各エージェントの最大補助金および合計補助金の最小値は何か？
• RQ4 単調な評価関数のもとで、バndl 構造を変更することにより、$ n \geq 3 $ のエージェントに対してよりタイトな境界を達成できるか？
• RQ5 各エージェント $ n-1.5 $、合計補助金 $ (n^2 - n - 1)/2 $ の新しい境界は、最悪ケースにおいて最適か？

主な発見

• 任意の EF1 割り当てから、各エージェントに対して最大 $ n-1 $ の補助金、合計で $ n(n-1)/2 $ の補助金を伴う envy-free 割り当てを多項式時間で計算可能である。
• $ n \geq 3 $ の場合、単調な評価関数のもとで、各エージェントの補助金は $ n - 1.5 $、合計補助金は $ (n^2 - n - 1)/2 $ にまで改善される。
• 改善された境界はタイトである：例 1 で示されるように、envy-freeness を達成するにはこれより小さい補助金では不可能な例が存在する。
• 合計補助金の境界 $ n(n-1)/2 $ は $ n = 2 $ の場合最適であり、補助金 1 が十分かつ必要である。
• EFk 割り当ての場合は、各エージェントに対して $ k(n-1) $、合計補助金は $ k \cdot n(n-1)/2 $ の境界が導かれる。
• 提案手法は、バndl 再配置から得られる二つの候補補助金ベクトルを基に、最大重み順列を用いることで、多項式時間での計算を保証する。