arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 2402.08484cs.GTcs.CC
收藏

住房市场的计算复杂性

The Computational Complexity of the Housing Market

Edwin Lock, Zephyr Qiu, Alexander Teytelboym

AI总结:

本文证明在具有不可分割商品、货币和单位需求代理的住房市场中寻找竞争均衡是PPAD完全的,并证明Rainbow-KKM问题也是PPAD完全的,同时给出查询复杂性下界。

摘要:

我们证明,在具有不可分割商品、货币和单位需求代理的交换经济中寻找竞争均衡这一经典问题是PPAD完全的。在这个“住房市场”中,代理对其最终获得的房屋和货币数量有偏好,但可能经历收入效应。我们的结果与相关问题的多项式时间算法的存在形成对比:针对无转移支付的“住房交换”问题的Top Trading Cycles算法,以及针对代理效用对货币呈线性的“住房分配”问题的匈牙利算法。在此过程中,我们证明了Rainbow-KKM问题——一个基于Gale对Knaster-Kuratowski-Mazurkiewicz引理推广的全搜索问题——是PPAD完全的。我们的归约还蕴含了寻找竞争均衡的查询复杂性下界。

英文摘要:

We prove that the classic problem of finding a competitive equilibrium in an exchange economy with indivisible goods, money, and unit-demand agents is PPAD-complete. In this "housing market", agents have preferences over the house and amount of money they end up with, but can experience income effects. Our results contrast with the existence of polynomial-time algorithms for related problems: Top Trading Cycles for the "housing exchange" problem in which there are no transfers and the Hungarian algorithm for the "housing assignment" problem in which agents' utilities are linear in money. Along the way, we prove that the Rainbow-KKM problem, a total search problem based on a generalization by Gale of the Knaster-Kuratowski-Mazurkiewicz lemma, is PPAD-complete. Our reductions also imply bounds on the query complexity of finding competitive equilibrium.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑