[論文レビュー] Stability-Preserving, Incentive-Compatible, Time-Efficient Mechanisms for Increasing School Capacity

Tung Mai, Vijay V. Vazirani|arXiv (Cornell University)|Apr 9, 2019

Game Theory and Voting Systems被引用数 3

ひとこと要約

本稿は、都市が2回目のラウンドで学校の定員を拡大できる2ラウンド型の学校選択制度に対して、多項式時間で安定かつインcentive-compatibleなメカニズムを提案する。非無視的メカニズムを導入し、参加しない住民の行動を考慮することで、戦略的非参加という動的で戦略的環境における制限を克服し、ナッシュ均衡における真実報酬の実現を達成する。

ABSTRACT

We address the following dynamic version of the school choice question: a city, named City, admits students in two temporally-separated rounds, denoted $\mathcal{R}_1$ and $\mathcal{R}_2$. In round $\mathcal{R}_1$, the capacity of each school is fixed but in round $\mathcal{R}_2$, the City is happy to allocate extra seats to specific schools per the recommendation of the mechanism; in turn, the latter has to meet specified requirements. We study three natural settings of this model, with the requirements getting increasingly more stringent. For Settings I and II, we give pairs of polynomial time mechanisms $(\mathcal{M}_1, \mathcal{M}_2)$ which, besides addressing the specific requirements, find stable matchings, are dominant strategy incentive compatible (DSIC) w.r.t. reporting preference lists of students, and never break, in round $\mathcal{R}_2$, a match created in round $\mathcal{R}_1$. In Setting III, the mechanism needs to deal with residents of the City who try to game the system by not participating in round $\mathcal{R}_1$ and only showing up in round $\mathcal{R}_2$, in addition to gaming by misreporting preference lists. For this setting, we need to introduce the notion of a {\em non-oblivious mechanism:} such a mechanism needs to know the preference lists of {\em all} students who reside in the City, including the ones who don't participate in round $\mathcal{R}_1$. Further, we need to weaken DSIC to mechanisms in which truth-telling is a Nash equilibrium; we call these ICNE mechanisms. After establishing, via two impossibility results, that the strongest result we can hope to obtain for Setting III is a pair of non-oblivious, stability-preserving, ICNE mechanisms, we present such a pair. Both mechanisms of the pair run in polynomial time.

研究の動機と目的

• 2回目のラウンドで動的定員拡大が行われる2ラウンド型学校選択制度において、安定性とインcentiveの両立を図るメカニズムの設計。
• 住民が2回目のラウンドでの定員増加を狙って参加を遅らせる戦略的行動に対処すること。
• 計算的に効率的であり、両ラウンドにわたってマッチの整合性を維持するメカニズムの開発。
• 非参加エージェントを伴う動的設定におけるインcentive compatibilityの限界を形式化・分析すること。
• 住民の希望を完全に把握する非無視的メカニズムを導入し、安定性とナッシュ均衡における真実報酬を保証すること。

提案手法

• 1ラウンドと2ラウンドの両方のメカニズムを設計し、1ラウンドのマッチを維持する。
• 参加していない住民の希望も含めた全希望を把握する非無視的メカニズムの概念を導入する。
• 両ラウンドで定員拡大を尊重しながら、安定マッチを計算する多項式時間アルゴリズムを用いる。
• 支配戦略真実報酬の代わりにナッシュ均衡真実報酬（ICNE）を採用する弱化条件下でのインcentive compatibilityのフレームワークを確立する。
• 不可能性結果を用いて、非無視的かつ安定性を保つICNEメカニズムが、Setting IIIで達成可能な最強の結果であることを示す。
• 理論的分析を適用し、提案されたメカニズムが安定的で、効率的かつ指定された制約下で戦略的操作に耐えることを証明する。

実験結果

リサーチクエスチョン

• RQ1 2回目のラウンドで動的定員増加が行われる2ラウンド型学校選択制度に対して、安定的かつインcentive-compatibleなメカニズムを設計できるか？
• RQ2 住民が2回目のラウンドでの定員拡大を狙って参加を遅らせる戦略的行動が存在する場合、インcentive compatibilityの限界は何か？
• RQ3 事前に希望を把握しないまま、非参加住民をどのように扱えるか？
• RQ4 動的設定において、安定的で効率的かつ計算的に実行可能なメカニズムを実現するための、最も弱いインcentive compatibilityの概念は何か？
• RQ5 非無視的メカニズムは、戦略的非参加が存在する状況でも、安定性とナッシュ均衡における真実報酬を達成できるか？

主な発見

• 本稿は2つの不可能性結果を確立し、Setting IIIにおいて非無視的かつ安定性を保つICNEメカニズムが、到達可能な最強の結果であることを証明する。
• Setting IおよびIIでは、マッチを破壊しない多項式時間で安定的かつ支配戦略インcentive-compatible（DSIC）なメカニズムを構築する。
• Setting IIIでは、非無視的かつ安定性を保つICNEメカニズムのペアを提示し、計算的に効率的かつ両ラウンドにわたってマッチの整合性を維持する。
• 提案されたメカニズムは、住民が戦略的に参加を遅らせる場合でも、真実報酬がナッシュ均衡に達することを保証する。
• 住民による希望リストの不正報告と戦略的非参加の両方に対処できるようにメカニズムが設計されている。
• すべてのメカニズムは多項式時間で実行され、実世界への導入に計算的に実行可能である。