核心概念
本稿では、マトロイド制約、p-拡張可能システム制約、独立システム制約といった様々な制約条件下における、分割不可能なアイテムの公平な配分問題について、最大ナッシュ社会福祉(Max-NSW)配分の観点から考察する。
要約
マトロイド制約およびそれを超える場合の最大ナッシュ社会福祉の公平性
本論文は、エージェントの評価関数が加法的である場合に、分割不可能なアイテムをマトロイド制約、p-拡張可能システム制約、独立システム制約といった制約条件下で公平に配分する問題を考察しています。目的は、各エージェントに割り当てられるアイテムのサブセットが所与の制約を満たすような、公平かつ効率的な配分を見つけることです。
論文では、一般的な公平性の概念である「最大1つのアイテムに対するenvy-freeness(EF1)」と、よく知られた効率性(および公平性)の概念である「最大ナッシュ社会福祉(Max-NSW)」に焦点を当てています。
マトロイド制約: 一般的な加法的評価関数に対して、Max-NSW配分は、パレート最適性(PO)を意味し、マトロイド制約の下でタイトな1/2-EF1を達成することを示しています。この結果は、先行研究[26]で提案された未解決問題を解決するものです。特に、エージェントが2値({1, a})の評価関数を持つ場合、Max-NSW配分はmax{1/a2, 1/2}-EF1とPOを満たすことを証明しています。
p-拡張可能システム制約: 強p-拡張可能システム制約の下では、同一の二値評価関数に対して、Max-NSW配分はmax{1/p, 1/4}-EF1とPOを保証することを示しています。実際、1/4という近似値は、独立システム制約と加法的評価関数に対する比率です。
独立システム制約: 加法的評価関数に対して、Max-NSW配分は1/4-EF1であり、この近似値はすでにタイトです。興味深いことに、辞書式選好[24]についても考察し、上記の制約の下で、厳密にEF1とPOを満たすMax-NSW以外の可能な配分を、貪欲法アルゴリズムによって計算しています。