[論文レビュー] Matching for the Israeli "Mechinot" Gap-Year Programs: Handling Rich Diversity Requirements

Yannai A. Gonczarowski, Lior Kovalio+2 more|arXiv (Cornell University)|May 1, 2019

Game Theory and Voting Systems参考文献 18被引用数 7

ひとこと要約

本論文は、イスラエルの予備軍事学校（PMAs）のための画期的なマッチングメカニズムを提示し、独自の好み言語と選択関数の意味論を用いて、複雑な多様性制約を扱う。2018年から2020年にかけて実装されたこのシステムは、遅延受け入れ（DA）とヒューリスティックなパレート改善段階を組み合わせることで、現実のデータにおいてブロッキングペアを10分の1に削減しながら、近似的に安定性を達成した。

ABSTRACT

We describe our experience with designing and running a matching market for the Israeli "Mechinot" gap-year programs. The main conceptual challenge in the design of this market was the rich set of diversity considerations, which necessitated the development of an appropriate preference-specification language along with corresponding choice-function semantics, which we also theoretically analyze. Our contribution extends the existing toolbox for two-sided matching with soft constraints. This market was run for the first time in January 2018 and matched 1,607 candidates (out of a total of 3,120 candidates) to 35 different programs, has been run twice more since, and has been adopted by the Joint Council of the "Mechinot" gap-year programs for the foreseeable future.

研究の動機と目的

• イスラエルの多様な予備軍事学校（PMAs）に対して、宗教的・性別的・政治的・教育的側面に大きな差がある中で、安定的かつ公平なマッチングメカニズムを設計すること。
• 標準的な二面的マッチングモデルを超える、柔軟な多様性制約（宗教的・文化的・性別的・イデオロギー的側面の代表性など）を扱うこと。
• 理論的安定性と現実世界の実行可能性の両立を図る実用的なマッチングシステムを構築し、候補者およびPMAsの満足度を維持すること。
• PMAsの洗練された優先順位を反映しながらも、計算的に扱いやすい形で、好みの記述言語と選択関数の意味論を開発すること。
• 3回の年次マッチ（2018–2020年）の実データを用いて、安定性と戦略的耐性の観点から実証的に評価し、段階的な改善を図ること。

提案手法

• 候補者とPMAsが、多様性の目標やソフト制約を含む、複雑で多次元的な好みを表現できる、独自の好み言語を設計した。
• PMAsの入学者選抜意思決定を、豊富な多様性要件を反映する形でモデル化する選択関数を定義し、新しい意味論下でも一貫性と安定性を保証した。
• 新しい好みと選択関数構造を処理できるように調整した遅延受け入れ（DA）アルゴリズムを、コアメカニズムとして実装した。
• 候補者のパレート改善段階を導入し、マッチングの安定性を損なわずに、候補者のマッチングを改善できるようにした。
• 候補者とは別に、特定のタイプのブロッキングペアを解消するPMAパレート改善段階を新設。この段階では、PMAが低い優先順位の割り当て済み候補者を、未割り当てで優先順位の高い候補者に置き換えることが可能であり、後者に他の選択肢がないことが条件となる。
• 両方のパレート改善段階を統合し、安定性の保証を損なわずに反復的にマッチングを改善するヒューリスティックな精錬プロセスを構築した。

実験結果

リサーチクエスチョン

• RQ1 どのようにして、イスラエルのPMAsのような現実の機関において、豊富で多次元的な多様性制約を扱える二面的マッチングメカニズムを設計できるか？
• RQ2 PMAsの複雑な入学者選抜優先順位をモデル化するためには、どのような好み表現と選択関数の意味論が必要か？ ただし、安定性を保つことが条件である。
• RQ3 ヒューリスティックなパレート改善段階は、理論的安定性や戦略的インcentivesを損なわずに、現実の状況でブロッキングペアをどの程度削減できるか？
• RQ4 機関が多様で非一様で、場合によっては対立する多様性目標を持つ場合、マッチングシステムはどのようにして安定的かつ公平に保たれるか？
• RQ5 理論的トレードオフがあるにもかかわらず、実世界の状況で実用的かつ理論的に妥当なメカニズムを採用することが可能か？

主な発見

• 2018年に導入され、2019年と2020年にも正常に稼働した最終マッチングシステムは、3,120人の候補者のうち1,607人を35のPMAsにマッチングさせ、現実世界での実行可能性が高く証明された。
• 候補者およびPMAの両方のパレート改善段階の組み合わせにより、2020年のマッチで実際のブロッキングペアの数が53から5にまで削減され、約10分の1にまで減少した。
• 理論的戦略的耐性に若干の妥協があるにもかかわらず、ヒューリスティックな精錬を経て、実際のマッチングでブロッキングペアが著しく減少し、実用的には近似的に安定性を達成した。
• 理論的戦略的耐性が完全に保証されていなくても、実際には候補者が十分な情報を得られず、うまく操作できなかったため、システムは実用的には「戦略的耐性がある程度」であると判明した。
• 実データとフィードバックに基づく段階的設計プロセスは、理論的基盤を超えた人的な設計工学の重要性を示した。
• 最終的なシステムは、将来的にも連合PMAs委員会によって採用され、実用的成功と機関の信頼を裏付けるものとなった。