[論文レビュー] 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

ひとこと要約

本稿では、エージェントがアイテムの種別についてlexicographic preferencesを持つ多様なタイプの住宅市場におけるメカニズムとして、Multi-type TTC（MTTC）を提案する。MTTCは、古典的なTop-Trading-Cyclesアルゴリズムを複数のアイテムタイプに対応させるものであり、固定された重要性順序におけるlexicographic preferencesのもとで、厳密コア選択、パレート最適性、個人合理性、非ボスネス性、強いグループ戦略プローフネスといった重要な性質を保つ。

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.

研究の動機と目的

• 厳密コアが空集合である可能性がある多様なタイプの住宅市場における安定した解概念の欠如に対処すること。
• 現実的な好みの仮定のもとで、個人合理性、パレート最適性、グループ戦略プローフネスといった望ましい公理的性質を保証するメカニズムを設計すること。
• 多様なタイプの設定における厳密コアメンバーシップおよび厳密コアの非空性を確認する計算的障壁を克服すること。
• 自然な好み構造の下で、多様なタイプの住宅市場におけるメカニズム設計の分野で、初めての肯定的結果を確立すること。

提案手法

• 各ラウンドにおいて、エージェントとアイテムをノードとする有向二部グラフを構築し、lexicographic優先順位と利用可能な最良アイテムに基づいて取引の可能性を表すエッジを定義する。
• 最高優先度の未割り当てタイプと、そのタイプの最良アイテムに基づいて、エージェントからアイテムへのエッジを定義する。
• 所有関係の追跡を維持するため、アイテムから元の所有者への逆エッジを定義する。
• グラフ内のすべてのサイクルを同時に特定・実装し、サイクルに含まれるアイテムのみを削除して、エージェントは以降のラウンドでもグラフに残す。
• エージェントが常に最高優先度の未割り当てタイプの利用可能な最良アイテムに取引するよう保証し、lexicographic preference構造を維持する。
• MTTCが多項式時間で実行可能であり、固定された重要性順序におけるlexicographic preferencesのもとで厳密コア選択を満たすことを証明する。

実験結果

リサーチクエスチョン

• RQ1 自然な好み仮定のもとで、安定性および望ましい公理的性質を保証する多様なタイプの住宅市場のためのメカニズムを設計することは可能か？
• RQ2 Top-Trading-Cyclesメカニズムを多様なタイプの設定に拡張することは可能か？ その際、グループ戦略プローフネスやパレート最適性といった重要な性質を保つことができるか？
• RQ3 多様なタイプの住宅市場において、与えられた割り当てが厳密コアに属するかどうかを確認する計算複雑性は何か？
• RQ4 分離可能またはlexicographic好みのもとで、多様なタイプの住宅市場における厳密コアが非空であることは可能か？
• RQ5 エージェントがタイプ間の重要性順序についてうそをつくことができる場合、戦略プローフネスの保証を向上させることは可能か？

主な発見

• MTTCは、固定された重要性順序におけるlexicographic preferencesのもとで、多項式時間で実行可能であり、厳密コア選択を満たす。これは、パレート最適性および個人合理性を意味する。
• エージェントがタイプ間の重要性順序についてうそをつかない限り、MTTCは非ボスネス的かつ強くグループ戦略プローフである。
• 与えられた割り当てが厳密コアに属するかどうかを確認することは、2つのタイプおよび同じ重要性順序を持つ分離可能な好みに対してもcoNP完全である。
• 厳密コアが非空であるかどうかを決定することはNP困難であるため、コア存在性の検証に本質的な計算的困難性が存在することが示された。
• 不可能性の結果により、エージェントが重要性順序についてうそをつくことを許容しても、MTTCの戦略プローフネスの保証は向上しないことが示された。
• エージェントが任意に異なるCP-net構造と重要性順序を持つ場合でも、MTTCは自然な好み仮定のもとで効果を発揮し、高いロバストネスを示している。