[论文解读] Mechanism Design for Multi-Type Housing Markets

Sibel Adalı, Sujoy Sikdar+1 more|arXiv (Cornell University)|Nov 23, 2016

Auction Theory and Applications参考文献 29被引用 8

一句话总结

本文提出多类型 TTC（MTTC）机制，用于多类型住房市场，其中参与者对物品类型具有字典序偏好。MTTC 将经典 Top-Trading-Cycles 算法扩展至多类型场景，同时保持关键性质：严格核心选择、帕累托最优性、个体理性、非霸权性，以及在固定重要性顺序的字典序偏好下的强组策略抗性。

ABSTRACT

We study multi-type housing markets, where there are $p\ge 2$ types of items, each agent is initially endowed one item of each type, and the goal is to design mechanisms without monetary transfer to (re)allocate items to the agents based on their preferences over bundles of items, such that each agent gets one item of each type. In sharp contrast to classical housing markets, previous studies in multi-type housing markets have been hindered by the lack of natural solution concepts, because the strict core might be empty. We break the barrier in the literature by leveraging AI techniques and making natural assumptions on agents' preferences. We show that when agents' preferences are lexicographic, even with different importance orders, the classical top-trading-cycles mechanism can be extended while preserving most of its nice properties. We also investigate computational complexity of checking whether an allocation is in the strict core and checking whether the strict core is empty. Our results convey an encouragingly positive message: it is possible to design good mechanisms for multi-type housing markets under natural assumptions on preferences.

研究动机与目标

• 为解决多类型住房市场中缺乏稳定解概念的问题，其中严格核心可能为空。
• 设计一种机制，在现实偏好假设下确保理想的公理性质，如个体理性、帕累托最优性与组策略抗性。
• 克服在多类型设定下检查严格核心成员资格与严格核心非空性的计算障碍。
• 在自然偏好结构下，为多类型住房市场机制设计建立首个积极结果。

提出的方法

• 在每轮中构建有向二分图，以参与者和物品为节点，边表示基于字典序优先级与最高优先级可得物品的潜在交易。
• 根据最高优先级未分配类型及该类型中最高排名的物品，定义从参与者指向其可交易物品的边。
• 定义反向边，从物品指向其原始所有者，以维持所有权追踪。
• 同时识别并实施图中的所有环，仅移除参与环的物品，而将参与者保留在图中以供后续轮次使用。
• 确保参与者始终交易至其最高优先级未分配类型中可得的最优先物品，从而保持字典序偏好结构。
• 证明 MTTC 在固定重要性顺序的字典序偏好下运行时间为多项式时间，并满足严格核心选择。

实验结果

研究问题

• RQ1 能否设计一种适用于多类型住房市场的机制，使其在自然偏好假设下确保稳定性与理想的公理性质？
• RQ2 是否可以将 Top-Trading-Cycles 机制扩展至多类型场景，同时保持组策略抗性与帕累托最优性等关键性质？
• RQ3 在多类型住房市场中，检查给定分配是否属于严格核心的时间复杂度是多少？
• RQ4 在可分偏好或字典序偏好下，多类型住房市场的严格核心是否可能非空？
• RQ5 当参与者可谎报其类型间重要性顺序时，能否设计出策略抗性机制？

主要发现

• MTTC 是一种多项式时间机制，在固定重要性顺序的字典序偏好下满足严格核心选择，从而隐含帕累托最优性与个体理性。
• 当参与者无法谎报其类型间重要性顺序时，MTTC 是非霸权性的，并且具有强组策略抗性。
• 即使在仅有两种类型且偏好为可分、重要性顺序相同的情况下，检查给定分配是否属于严格核心仍为 coNP-完全问题。
• 判断严格核心是否非空是 NP-难问题，表明核心存在性验证存在固有计算难度。
• 不可能性结果表明，允许参与者谎报重要性顺序无法改善 MTTC 的策略抗性保证。
• 当参与者具有任意不同的 CP-net 结构与重要性顺序时，该机制仍保持有效性，表明其在自然偏好假设下的鲁棒性。