[論文レビュー] An FPTAS for Bargaining Networks with Unequal Bargaining Powers

Yashodhan Kanoria|arXiv (Cornell University)|Aug 1, 2010

Game Theory and Voting Systems参考文献 19被引用数 3

ひとこと要約

本稿は、非対称な交渉パワーを持つ交渉ネットワークにおける不均等配分（UD）解を計算する最初の完全多項式時間近似スキーム（FPTAS）を提示する。安定マッチングに信念伝播を組み合わせ、新規の反復的エッジ再平衡プロセスを適用することで、多項式時間（|V|, 1/ϵの多項式）内でϵ-近似UD解に収束することが保証され、非対称交渉モデルにおける計算可能性に関する長年の未解決問題を解決する。

ABSTRACT

Bargaining networks model social or economic situations in which agents seek to form the most lucrative partnership with another agent from among several alternatives. There has been a flurry of recent research studying Nash bargaining solutions (also called 'balanced outcomes') in bargaining networks, so that we now know when such solutions exist, and also that they can be computed efficiently, even by market agents behaving in a natural manner. In this work we study a generalization of Nash bargaining, that models the possibility of unequal 'bargaining powers'. This generalization was introduced in [KB+10], where it was shown that the corresponding 'unequal division' (UD) solutions exist if and only if Nash bargaining solutions exist, and also that a certain local dynamics converges to UD solutions when they exist. However, the bound on convergence time obtained for that dynamics was exponential in network size for the unequal division case. This bound is tight, in the sense that there exists instances on which the dynamics of [KB+10] converges only after exponential time. Other approaches, such as the one of Kleinberg and Tardos, do not generalize to the unsymmetrical case. Thus, the question of computational tractability of UD solutions has remained open. In this paper, we provide an FPTAS for the computation of UD solutions, when such solutions exist. On a graph G=(V,E) with weights (i.e. pairwise profit opportunities) uniformly bounded above by 1, our FPTAS finds an \eps-UD solution in time poly(|V|,1/\eps). We also provide a fast local algorithm for finding \eps-UD solution, providing further justification that a market can find such a solution.

研究の動機と目的

• 非対称な交渉パワーを持つ交渉ネットワークにおける不均等配分（UD）解の計算可能性に関する未解決問題を解消すること。
• 従来の動的法則が示す指数的収束時間の上限を克服し、多項式時間内で近似UD解に収束する高速で局所的なアルゴリズムを設計すること。
• 再平衡中において割当の安定性が保たれなければならないこと、不安定性が指数的収束時間を引き起こすためであることを確立すること。
• バランスの取れた結果の概念を非対称設定に一般化し、UD解を形式的に定義して計算すること。
• 非対称ネットワークにおける市場メカニズムが自然にUD結果に収束できる理論的根拠を提供すること。

提案手法

• 最大重みマッチングと信念伝播を用いた安定割当による初期段階を経て、初期安定性を保証する。
• 二段階のアルゴリズムを導入：第一に安定割当を計算し、第二に反復的エッジ再平衡を適用してϵ-UD解を達成する。
• エッジ再平衡プロセスでは、非拡大作用素 Tκ = κT + (1−κ)I を用い、T は交渉パワーに応じた非対称な余剰配分を実行する。
• 収束は、連続する反復間の上限ノルム差に基づく終了条件により保証され、‖Tγᵗ − γᵗ‖∞ ≤ ϵ を満たす。
• 再平衡中は安定割当の空間内でのみ操作されるため、不安定性による指数的遅延を回避し、安定性を維持する。
• 集中不等式と非拡大性を用いた理論的境界を導出し、収束時間が |V| と 1/ϵ の多項式であることを示す。

実験結果

リサーチクエスチョン

• RQ1 非対称な交渉パワーを持つ交渉ネットワークにおける不均等配分（UD）解は、対称ケースに一般化できない従来のアルゴリズムが失敗する中で、効率的に計算可能か？
• RQ2 従来の対称交渉ネットワーク向けの局所的動的法則が非対称ケースでは多項式時間内で収束しないのはなぜか？ これを是正できるか？
• RQ3 反復的再平衡中に安定性を維持することで、指数的収束時間を回避できるか？
• RQ4 局所的で分散型のアルゴリズムが、ネットワークサイズと 1/ϵ の多項式時間内でϵ-近似UD解に収束できるか？
• RQ5 再平衡中に安定性を保つことが、UD解の効率的計算を根本的に可能にするのか？

主な発見

• 本稿は、非対称な交渉パワーを持つ交渉ネットワークにおける不均等配分（UD）解を計算する最初のFPTASを提示し、多項式時間（|V|, 1/ϵの多項式）内でϵ-近似解を達成する。
• 提案された局所的アルゴリズムは、多項式時間内でϵ-UD解に収束し、収束時間は O(1/(κ(1−κ)ϵ²)) 回の反復で抑えられる。ここで κ は再平衡ステップサイズを制御するパラメータである。
• 構成により、γi + γj ≤ wij − 1 を満たす「悪い」エッジの存在といった割当の不安定性は、初期状態がϵ-正しく分割されている場合でも指数的収束時間を引き起こすことが示された。
• 再平衡プロセス中に安定性を維持することで、指数的遅延を回避し、安定性が効率的計算の鍵的要因であることを証明した。
• アルゴリズムは極限（t → ∞）において正確なUD解に収束することが保証され、UD解の存在がその帰結として得られる。
• 本手法は、グローバルな調整がなくても、非対称な交渉パワーを持つ市場が自然にUD結果に収束できる高速で局所的なメカニズムを提供する。