[論文レビュー] Approximation Algorithms for Envy-Free Cake Division with Connected Pieces

Siddharth Barman, Pooja Kulkarni|arXiv (Cornell University)|Aug 18, 2022

Game Theory and Voting Systems被引用数 4

ひとこと要約

本稿では、連結な破片を用いた envy-free ケーキ分割に対する多項式時間近似アルゴリズムを提示する。この手法は、同時に加法的近似誤差 $\frac{1}{4} + o(1)$ と乗法的近似誤差 $\frac{1}{2} - o(1)$ を達成する。方法は区間拡大と、新たな二分型区間技術および envy-cycle-elimination を組み合わせ、 envy を制限することで、以前の $\frac{1}{3}$ の加法的誤差と $\frac{1}{2}$ の乗法的誤差の境界を改善する。

ABSTRACT

Cake cutting is a classic model for studying fair division of a heterogeneous, divisible resource among agents with individual preferences. Addressing cake division under a typical requirement that each agent must receive a connected piece of the cake, we develop approximation algorithms for finding envy-free (fair) cake divisions. In particular, this work improves the state-of-the-art additive approximation bound for this fundamental problem. Our results hold for general cake division instances in which the agents' valuations satisfy basic assumptions and are normalized (to have value 1 for the cake). Furthermore, the developed algorithms execute in polynomial time under the standard Robertson-Webb query model. Prior work has shown that one can efficiently compute a cake division (with connected pieces) in which the additive envy of any agent is at most 1/3. An efficient algorithm is also known for finding connected cake divisions that are (almost) 1/2-multiplicatively envy-free. Improving the additive approximation guarantee and maintaining the multiplicative one, we develop a polynomial-time algorithm that computes a connected cake division that is both (1/4 +o(1))-additively envy-free and (1/2 - o(1))-multiplicatively envy-free. Our algorithm is based on the ideas of interval growing and envy-cycle elimination. In addition, we study cake division instances in which the number of distinct valuations across the agents is parametrically bounded. We show that such cake division instances admit a fully polynomial-time approximation scheme for connected envy-free cake division.

研究の動機と目的

• 連結な envy-free ケーキ分割のための多項式時間アルゴリズムを、より良い加法的近似保証を持つように開発すること。
• 同じ計算制約下で、強力な乗法的近似境界を同時に維持すること。
• 限定された不均一性（少数の異なる評価）を持つインスタンスに対処するため、完全な多項式時間近似スキーム（FPTAS）を設計すること。
• 連結性制約下での正確な envy-free ケーキ分割におけるアルゴリズム的障壁を克服すること。

提案手法

• エージェントの評価を、特定の構造的性質を持つ区間を好むように変更する、二分型区間の概念を導入する。
• 区間拡大手順を適用し、エージェントに互いに素な区間を割り当てつつ、 envy を有界に保つ。
• envy サイクルを解消するための手法を用い、未割当の区間を envy を境界内に増加させない形で割り当てる。
• エージェントの評価から導かれるカットポイントを用いた離散化手法を用い、候補となる区間の有限集合を構築する。
• 不均一性が限定されたインスタンスに対しては、$O(\varepsilon n)$ 個のカットポイントから、高々 $n$ 個の互いに素な区間を構築し、$\varepsilon$-加法的近似を保証する。
• アルゴリズムが Robertson-Webb クエリモデル下で多項式時間で実行され、すべてのエージェントに対して有界な envy を保証することを証明する。

実験結果

リサーチクエスチョン

• RQ1 連結な envy-free ケーキ分割を、$\frac{1}{3}$ を超える改善された加法的近似で計算可能か？
• RQ2 多項式時間内で、加法的および乗法的近似の両方を同時に改善可能か？
• RQ3 エージェントの異なる評価の数が限定されている場合に、完全な多項式時間近似スキーム（FPTAS）は存在するか？
• RQ4 有界な envy 増加を伴う連続的ケーキカット設定において、envy-cycle-elimination は効果的に適応可能か？

主な発見

• 提案されたアルゴリズムは、連結な破片を用いた envy-free ケーキ分割において、同時に $\left(\frac{1}{4} + o(1)\right)$-加法的近似と $\left(\frac{1}{2} - o(1)\right)$-乗法的近似を達成する。
• アルゴリズムは Robertson-Webb クエリモデル下で多項式時間で実行され、すべてのエージェントに対して有界な envy を保証する。
• 高々 $\varepsilon n - 1$ 個の異なる評価を持つインスタンスに対して、アルゴリズムは $n$ および $\frac{1}{\varepsilon}$ に関して多項式時間で $\varepsilon$-envy-free 割当を計算する。
• アルゴリズムは、すべての区間が互いに素であり、かつ全体のケーキ $[0,1]$ を完全にカバーするように保証する。
• 解析には、区間割当およびサイクル解消における envy の境界を取る、新しい補題と複雑な場合分けが含まれる。
• 限定された不均一性下で非自明な乗法的近似を達成することは、一般ケースを解くのと同等に難しいことが示され、加法的近似と乗法的近似の間の根本的な違いを強調する。