[論文レビュー] Ordinal Maximin Share Approximation for Chores

Seyed Hossein Hosseini, Andrew Searns+1 more|arXiv (Cornell University)|Jan 19, 2022

Auction Theory and Applications被引用数 4

ひとこと要約

本稿では、分割不能な雑務の公平配分における1-out-of-⌊2n/3⌋最大化共有（MMS）近似を達成する多項式時間アルゴリズムを提示し、1-out-of-⌊3n/4⌋ MMS配分の存在を証明する。さらに、ビンパッキング技術を用いて⌊3n/4⌋の境界を対数的要因の範囲内で近似する実用的なアルゴリズムを構築する。

ABSTRACT

We study the problem of fairly allocating a set of m indivisible chores (items with non-positive value) to n agents. We consider the desirable fairness notion of 1-out-of-d maximin share (MMS) -- the minimum value that an agent can guarantee by partitioning items into d bundles and receiving the least valued bundle -- and focus on ordinal approximation of MMS that aims at finding the largest d <= n for which 1-out-of-d MMS allocation exists. Our main contribution is a polynomial-time algorithm for 1-out-of-floor(2n/3) MMS allocation, and a proof of existence of 1-out-of-floor(3n/4) MMS allocation of chores. Furthermore, we show how to use recently-developed algorithms for bin-packing to approximate the latter bound up to a logarithmic factor in polynomial time.

研究の動機と目的

• 分割不能なアイテムに対する公平配分の課題に、順序MMS近似という公平性基準を用いて対処する。これは、切って選ぶプロトコルを分割不能アイテムに一般化するものである。
• 乗法的MMS近似の限界を克服するため、バンドルの順位付けに基づく、堅牢で解釈可能な公平性保証を提供する順序的アプローチを導入する。
• 特に、最高の既知の近似比を改善することに注力して、雑務に対して強い順序MMS近似を達成する効率的アルゴリズムを開発する。
• 理論的存在結果と実用的計算を橋渡しするために、ビンパッキングアルゴリズムを活用し、最適な順序MMS境界を対数的要因の範囲内で近似する。

提案手法

• 大きな雑務の数を厳密に制限し、新規の分割戦略を用いることで、1-out-of-⌊2n/3⌋ MMS近似を達成するグリーディアルゴリズムを提案する。
• 大きな雑務の数を上界で制御するための新規な技術的補題（補題3.8）を用いる。これは、すべてのアイテムを割り当てる必要がある雑務配分の制約を扱う上で極めて重要である。
• MMS値の正確な計算を用いて、1-out-of-⌊3n/4⌋ MMS配分の存在を証明する。一般にはMMS値の計算が困難であるにもかかわらず、その存在を示す。
• ビンパッキングのためのハーモニックアルゴリズム（HR）を変形し、MMS閾値を近似する。各雑務をサイズ|v_i(c)|のアイテムとみなす。ビンのサイズはMMS閾値に対応する。
• 各エージェントiについて、可能なビンサイズの二分探索を用いて閾値β_iを計算する。これにより、エージェントの割り当て価値が少なくともβ_i以上になることが保証され、β_iがd = ⌊3n/4⌋ - a·log(⌊3n/4⌋)に対してMMSの下界であることが示される。
• アルゴリズム1（閾値に基づく割り当て）とビンパッキングから得た閾値を組み合わせることで、全エージェントに対して1-out-of-⌊⌊3n/4⌋ - a·log(⌊3n/4⌋)⌋ MMSを保証する完全で多項式時間の割り当てを実現する。

実験結果

リサーチクエスチョン

• RQ1 標準的な財の割り当てヒューリスティクスが失敗する中で、1-out-of-⌊2n/3⌋ MMS近似を達成する多項式時間アルゴリズムは存在するか？
• RQ2 正確なMMS計算が大規模インスタンスでは不可能な場合でも、1-out-of-⌊3n/4⌋ MMS配分は存在するか？
• RQ3 理論的存在的結果としての1-out-of-⌊3n/4⌋ MMS配分は、近似誤差が有界な実用的多項式時間アルゴリズムに変換可能か？
• RQ4 乗法的MMS近似と比較して、順序MMS近似フレームワークは、雑務配分における堅牢性と計算可能性の観点でどのように異なるか？

主な発見

• 本稿では、エージェント数と雑務数に対して強く多項式時間である1-out-of-⌊2n/3⌋ MMS配分を保証する多項式時間アルゴリズムを提示する。
• 雑務に対する1-out-of-⌊3n/4⌋ MMS配分の存在が証明され、本問題における最高の既知の理論的順序近似比が確立される。
• ⌊3n/4⌋ MMS境界を対数的要因の範囲内で近似する効率的アルゴリズムが開発され、ある固定されたa > 0に対して1-out-of-⌊⌊3n/4⌋ - a·log(⌊3n/4⌋)⌋ MMSを達成する。
• 入力値の2進表現に対して多項式時間で実行されるため、整数値の雑務評価を有する実世界の応用に実用的である。
• 本アプローチは頑健である：乗法的近似と比較して、評価プロファイルの小さな変化に対して順序近似が敏感でないため、より強い概念的公平性の根拠を提供する。
• ビンパッキングアルゴリズムと二分探索を活用して、与えられたdに対してMMS値の下界を明確に保証する閾値を計算する。これにより、割り当ての完全性と公平性が保証される。