[論文レビュー] Fair Allocation of Two Types of Chores

Haris Aziz, Jeremy Lindsay+2 more|arXiv (Cornell University)|Nov 2, 2022

Game Theory and Voting Systems被引用数 9

ひとこと要約

本稿では、2種類の割り当て不可能な雑用に対して、多項式時間アルゴリズムを提示し、1つのアイテムを除く envy-freeness（EF1）およびパレート最適性（fPO）を達成するとともに、任意のアイテムを除く envy-freeness（EFX）を達成する。また、制限された雑用設定における主要な計算複雑性のギャップを解消するため、動的計画法を用いた envy-freeness の多項式時間チェック手法も提供する。

ABSTRACT

We consider the problem of fair allocation of indivisible chores under additive valuations. We assume that the chores are divided into two types and under this scenario, we present several results. Our first result is a new characterization of Pareto optimal allocations in our setting, and a polynomial-time algorithm to compute an envy-free up to one item (EF1) and Pareto optimal allocation. We then turn to the question of whether we can achieve a stronger fairness concept called envy-free up any item (EFX). We present a polynomial-time algorithm that returns an EFX allocation. Finally, we show that for our setting, it can be checked in polynomial time whether an envy-free allocation exists or not.

研究の動機と目的

• 加法的評価関数の下で、割り当て不可能な雑用の EF1 およびパレート最適性（PO）の割り当てを解消する、2種類の雑用タイプに制限することにより、未解決の問題に取り組む。
• この制限された設定において、EFX 分配が存在するか、そして効率的に計算可能かどうかを調査する。
• 2種類の雑用タイプのインスタンスにおける envy-freeness の計算複雑性を特定する。
• 2種類の雑用タイプ設定における分数パレート最適（fPO）分派の新しい特徴付けを提供する。
• この制限されたドメインにおける envy-free 分配の存在を確認する多項式時間アルゴリズムを確立する。

提案手法

• 2種類の雑用タイプ設定において、エージェントの価値比とバンドル構造を用いた fPO 分配の新しい特徴付けを提案する。
• 価値に基づく優先順位を用いた逐次割り当てアプローチを用いて、多項式時間で EF1 および fPO 分配を計算するアルゴリズムを設計する。
• 割り当て済みのバンドルと残りのアイテムを追跡することで、再帰的に envy-freeness をチェックする動的計画法（アルゴリズム3）を開発する。
• レムマ6.4を用いて、価値比とバンドル割り当てに基づき、エージェント間の envy-freeness を検証する。
• コロナリー6.3を適用して、バンドルサイズと価値比を制約することにより、envy-free 分配の探索空間を制限する。
• バックトラッキング機構を統合した動的計画法フレームワークを用いて、envy-free 分配の存在を検証する。

実験結果

リサーチクエスチョン

• RQ1 加法的評価関数を前提とした2種類の割り当て不可能な雑用に対して、EF1 および fPO 分配は常に存在するか？
• RQ2 2種類の雑用タイプインスタンスにおいて、EFX 分配を多項式時間で計算可能か？
• RQ3 2種類の雑用タイプ設定において、envy-free 分配の存在を確認する多項式時間アルゴリズムは存在するか？
• RQ4 2種類の雑用タイプ設定における fPO 分配の構造的性質は何か？
• RQ5 雑用タイプ間の価値比は、envy-freeness および割り当て結果の効率性にどのように影響するか？

主な発見

• 2種類の雑用に対して、EF1 および fPO 分配を計算する多項式時間アルゴリズムが存在し、この制限された設定における存在性と計算可能性の問題が解決された。
• 2種類の雑用タイプインスタンスにおいて、EFX 分配を多項式時間で計算可能であり、EFX の存在が未解決であった設定において肯定的な結果が得られた。
• envy-free 分配の存在は、動的計画法を用いたアプローチにより多項式時間でチェック可能であり、一般ケースにおける NP 困難性とは対照的である。
• 本稿では、価値比とバンドル制約に基づく fPO 分配の新しい特徴付けを提供し、効率的なアルゴリズム設計を可能にした。
• 動的計画法アルゴリズムは、価値に基づく制約を用いて再帰的にペアワイズ envy-freeness を検証することで、envy-freeness を正しく決定する。
• 結果として、2種類の雑用タイプに制限することで、EF1+fPO、EFX、および envy-freeness チェックといった強力なアルゴリズム的保証が得られ、一般ケースでは未解決または困難であることが示された。