[论文解读] Characterization and Computation of Equilibria for Indivisible Goods

Simina Brânzei, Hadi Hosseini+1 more|arXiv (Cornell University)|Mar 23, 2015

Economic theories and models参考文献 7被引用 7

一句话总结

本文研究了在完全替代品（加法效用）和完全互补品（Leontief效用）下，不可分割物品的竞争一般均衡的特征与计算。针对Leontief效用，本文提出了一种多项式时间算法，可简洁识别出存在等收入竞争均衡（CEEI）的市场；同时证明了在加法估值下，CEEI存在的问题即使在固定分配下也是coNP难的。

ABSTRACT

We consider the problem of allocating indivisible goods in a way that is fair, using one of the leading market mechanisms in economics: the competitive equilibrium from equal incomes. Focusing on two major classes of valuations, namely perfect substitutes and perfect complements, we establish the computational properties of algorithms operating in this framework. For the class of valuations with perfect complements, our algorithm yields a surprisingly succinct characterization of instances that admit a competitive equilibrium from equal incomes.

研究动机与目标

• 研究不可分割物品市场中竞争一般均衡从等收入（CEEI）的计算复杂性。
• 分析在两种基本估值类别下CEEI的存在性与计算问题：完全替代品（加法效用）与完全互补品（Leontief效用）。
• 判断在给定分配下，不可分割物品市场中加法估值的CEEI是否存在。
• 为具有Leontief效用的市场提供一个简洁的CEEI可解市场的特征刻画。
• 在估值为加法的情况下，建立CEEI计算的难解性结果，即使分配是固定的。

提出的方法

• 将子集和问题归约为一个具有固定分配的双买家、多商品市场中的CEEI存在性问题。
• 构建一个包含两个买家、m+2种商品的市场，并设定特定估值以编码子集和实例。
• 基于归一化权重和微小扰动定义价格向量，以确保预算平衡与均衡条件。
• 通过预算平衡与效用比较论证，证明CEEI存在的充要条件是不存在子集和解。
• 利用Leontief效用的结构，通过物品集合的划分，推导出CEEI可接受市场的简洁特征。
• 应用均衡条件：任一买家在给定价格下无法通过交换包而提高效用，从而确保无有利偏离。

实验结果

研究问题

• RQ1 对于具有不可分割物品和Leontief效用的市场，是否存在一个简洁的特征刻画，以识别出存在等收入竞争均衡的实例？
• RQ2 当分配固定时，判断加法估值下CEEI存在的问题是否具有计算上的可解性？
• RQ3 CEEI的存在性能否归约为已知的NP完全问题，如子集和问题？
• RQ4 在不同估值类别下，不可分割物品市场中CEEI计算的计算边界是什么？
• RQ5 预算约束与效用结构如何相互作用，以决定竞争均衡的存在性？

主要发现

• 对于Leontief效用（完全互补品），本文提出了一种多项式时间算法，通过简洁的划分条件，刻画了所有存在等收入竞争均衡（CEEI）的市场。
• 对于加法估值（完全替代品），判断给定分配下是否存在竞争均衡的问题是coNP难的。
• 该coNP难性结果通过从子集和问题的归约建立：当且仅当不存在子集和解时，CEEI才存在。
• 构造了一个特定价格向量，确保任一买家均无有利偏离，从而在无子集和解时证明均衡的存在性。
• 证明表明，当存在子集和解时，由于高价值物品引发的相互偏离激励，均衡无法存在。
• 该结果揭示了鲜明的计算二分性：CEEI在Leontief效用下可高效计算，但在加法估值下即使分配固定也属于难解问题。