[論文レビュー] Pareto-Optimal Allocation of Indivisible Goods with Connectivity Constraints

Ayumi Igarashi, Dominik Peters|arXiv (Cornell University)|Nov 12, 2018

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

ひとこと要約

本稿は、与えられたアイテムグラフにおいてバンドルが連結でなければならないという接続性制約下での非分割財のパレート最適配分を研究する。パラメータとして、パスやスターグラフではパレート最適性が多項式時間で達成可能であるが、一般の木構造では、二値評価でさえも、さまざまな構造的制約下でNP困難になることを示している。特に、パス上ではパレート最適かつ envy-freeness up to one good (EF1) を満たす割当が存在しない可能性があり、その存在を判定することも、二値評価でもNP困難である。

ABSTRACT

We study the problem of allocating indivisible items to agents with additive valuations, under the additional constraint that bundles must be connected in an underlying item graph. Previous work has considered the existence and complexity of fair allocations. We study the problem of finding an allocation that is Pareto-optimal. While it is easy to find an efficient allocation when the underlying graph is a path or a star, the problem is NP-hard for many other graph topologies, even for trees of bounded pathwidth or of maximum degree 3. We show that on a path, there are instances where no Pareto-optimal allocation satisfies envy-freeness up to one good, and that it is NP-hard to decide whether such an allocation exists, even for binary valuations. We also show that, for a path, it is NP-hard to find a Pareto-optimal allocation that satisfies maximin share, but show that a moving-knife algorithm can find such an allocation when agents have binary valuations that have a non-nested interval structure.

研究の動機と目的

• バンドルが与えられたアイテムグラフにおいて連結でなければならないという制約下で、パレート最適配分を求める計算複雑性を調査すること。
• 接続性制約下で、最大最小共有（MMS）や1つの財を除いた環境均等性（EF1）といった公平性基準とのトレードオフを検討すること。
• パレート最適配分が多項式時間で計算可能となるグラフのトポロジー（例：パス、スターグラフ、木構造）を特定すること。
• 接続性制約下で、パレート最適かつ公平性保証を満たす割当の存在と計算可能性を分析すること。

提案手法

• 構成的アルゴリズムを用いて、アイテムグラフがパスまたはスターグラフである場合のパレート最適配分の多項式時間可解性を証明する。
• 既知のNP完全問題への還元を用いて、木構造において、有界なパス幅、有界な次数、または有界な直径の下でも、パレート最適配分の計算がNP困難であることを確立する。
• 非ネスト型の承認区間を持つ二値評価に対して、移動するナイフアルゴリズムを導入し、パレート最適性とMMS満足性を保証する。
• チューリング還元を用いて、パス上でのパレート最適EF1割当の存在を判定することがNP困難であることを示す。
• 帰納法と分割解析を用いて、特定の評価構造下で、バンドルの削除に対しても最大最小共有価値が不変であることを証明する。
• ネスト型の承認区間がある場合に移動するナイフアルゴリズムが失敗することを示す反例を構築し、この手法の構造的限界を明らかにする。

実験結果

リサーチクエスチョン

• RQ1 どのアイテムグラフのトポロジーにおいて、接続性制約下でパレート最適配分を多項式時間で計算可能か？
• RQ2 アイテムグラフがパスである場合でも、パレート最適かつEF1を満たす割当が存在するかどうかを判定することはNP困難か？
• RQ3 木構造において、常にパレート最適かつMMSを満たす割当を計算可能か？ もしそうなら、多項式時間で計算可能か？
• RQ4 パレート最適EF1割当の存在は、特にパス上での二値評価におけるエージェントの評価構造に依存するか？
• RQ5 エージェントの好みにどのような条件（例：ネストしない承認区間）が課されると、多項式時間でパレート最適かつMMSを満たす割当を計算可能か？

主な発見

• アイテムグラフがパスまたはスターグラフである場合、加法的および二値評価でも、パレート最適配分は多項式時間で計算可能である。
• 木構造において、有界なパス幅、有界な直径、または有界な最大次数の下でも、パレート最適配分の計算はNP困難になる。
• パレート最適かつEF1を満たす割当が存在するかどうかを判定することは、パス上での二値評価でもNP困難であり、そのような割当が存在しない場合もある。
• パレート最適かつMMSを満たす割当を求める問題は、アイテムグラフがパスであってもNP困難であり、任意のα > 0 に対して α-MMS に対しても同様に困難である。
• エージェントの評価が二値であり、承認区間がネストしていない構造である場合、移動するナイフアルゴリズムを用いて、多項式時間でパレート最適かつMMSを満たす割当を計算可能である。
• 反例により、承認区間がネストしている場合でさえ、パス上でも移動するナイフアルゴリズムが失敗することが示され、この手法の構造的限界が明らかになった。