[论文解读] 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）。通过结合信念传播以实现稳定匹配与一种新颖的迭代边重平衡过程，该方法在 poly(|V|, 1/ϵ) 时间内确保收敛至 ϵ-近似 UD 解，从而解决了在非对称议价模型中计算可 tractability 的长期开放问题。

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）解的计算可 tractability 的开放问题。
• 设计一种快速、局部的算法，以在多项式时间内收敛至近似 UD 解，克服先前动态方法的指数级收敛界。
• 证明在重平衡过程中必须保持分配的稳定性，因为不稳定性会导致指数级收敛时间。
• 通过形式化并计算 UD 解，将平衡结果的概念推广至非对称设置。
• 为市场机制提供理论依据，说明其可在非对称网络中自然收敛至 UD 结果。

提出的方法

• 该方法从最大权重匹配和使用信念传播实现的稳定分配开始，确保初始稳定性。
• 提出一种两阶段算法：首先计算稳定分配；其次应用迭代边重平衡过程以获得 ϵ-UD 解。
• 边重平衡过程使用非扩张算子 Tκ = κT + (1−κ)I，其中 T 基于议价能力执行非对称剩余分配。
• 通过基于连续迭代之间上范数差的终止条件保证收敛，确保 ‖Tγᵗ − γᵗ‖∞ ≤ ϵ。
• 通过仅在稳定分配空间内操作，保持整个过程的稳定性，从而避免因不稳定性导致的指数级延迟。
• 利用集中不等式和非扩张性推导理论界，表明收敛时间在 |V| 和 1/ϵ 上为多项式。

实验结果

研究问题

• RQ1 尽管先前的算法无法从对称情形推广，是否能够高效计算具有非对称议价能力的议价网络中的不均等分配（UD）解？
• RQ2 为何现有对称议价网络的局部动态在非对称情况下无法在多项式时间内收敛，且能否加以修正？
• RQ3 是否存在一种方法可在迭代重平衡过程中保持稳定性，以避免指数级收敛时间？
• RQ4 能否设计一种局部、去中心化的算法，在网络规模和 1/ϵ 的多项式时间内收敛至 ϵ-近似 UD 解？
• RQ5 在重平衡过程中保持稳定性是否从根本上使 UD 解的高效计算成为可能？

主要发现

• 本文首次为具有非对称议价能力的议价网络中的不均等分配（UD）解提供了 FPTAS，可在时间 poly(|V|, 1/ϵ) 内实现 ϵ-近似解。
• 所提出的局部算法在多项式时间内收敛至 ϵ-UD 解，收敛时间受 O(1/(κ(1−κ)ϵ²)) 次迭代限制，其中 κ 为控制重平衡步长的参数。
• 该构造表明，分配中的不稳定性——例如存在一条“坏边”满足 γi + γj ≤ wij − 1——即使初始状态满足 ϵ-正确分配，也可能导致指数级收敛时间。
• 通过在整个重平衡过程中保持稳定性，该算法避免了指数级延迟，证明了稳定性是高效计算的关键因素。
• 该算法在极限情况下（当 t → ∞ 时）可保证收敛至精确的 UD 解，从而作为推论恢复了 UD 解的存在性。
• 该方法提供了一种快速、局部的机制，为具有非对称议价能力的市场如何在缺乏全局协调的情况下自然收敛至 UD 结果提供了理论支持。