[论文解读] 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年部署，通过结合延迟接受（deferred acceptance）与启发式帕累托改进阶段，实现了近似稳定性，在真实数据中将阻塞对（blocking pairs）数量减少了约10倍，同时保持了实际策略鲁棒性。

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的复杂招生优先级，同时保持计算上的可处理性。
• 基于2018–2020年三年实际匹配数据，实证评估并迭代改进机制，重点关注稳定性与策略鲁棒性。

提出的方法

• 设计了一种定制偏好语言，使候选人与PMAs能够表达复杂、多维的偏好，包括多样性目标与软性约束。
• 为PMAs定义了选择函数，以在丰富的多样性要求下建模其招生决策，确保在新语义下的一致性和稳定性。
• 将延迟接受（DA）算法作为核心机制，适配新的偏好与选择函数结构。
• 引入候选人帕累托改进阶段，使候选人可在不破坏匹配稳定性的前提下提升其分配结果。
• 增加了一种新颖的PMAs帕累托改进阶段，用于解决特定类型的阻塞对：当PMAs可将一名较低优先级的已分配候选人替换为一名未分配但优先级更高的候选人时，若后者无其他可选分配，则可执行替换。
• 通过启发式精炼过程，将两种帕累托改进阶段结合使用，迭代优化匹配结果，同时不破坏稳定性保证。

实验结果

研究问题

• RQ1 如何设计一种双边匹配机制，以适应以色列PMAs等现实机构中的丰富、多维多样性约束？
• RQ2 为在保持稳定性的同时准确建模PMAs复杂招生优先级，需要何种偏好表达方式与选择函数语义？
• RQ3 在不损害理论稳定性或策略激励的前提下，启发式帕累托改进阶段在实践中能在多大程度上减少阻塞对？
• RQ4 当机构具有异质性、非均匀且可能相互冲突的多样性目标时，匹配系统如何保持鲁棒性与公平性？
• RQ5 尽管存在理论上的策略性权衡，一种机制是否仍可兼具实际有效性与理论严谨性，从而在现实环境中被采纳？

主要发现

• 最终匹配系统于2018年部署，并在2019年和2020年成功运行，将3,120名候选人中的1,607名匹配至35所PMAs，证明了其高度的现实可行性。
• 候选人与PMAs帕累托改进阶段的结合，使2020年匹配中的实际阻塞对数量从53对减少至5对，降幅约为10倍。
• 系统在实践中实现了近似稳定性，尽管存在理论上的策略性权衡，但经启发式优化后，实际观测到的阻塞对显著减少。
• 该机制在实践中被认定为“足够策略鲁棒”，因为候选人缺乏足够信息以有效操纵系统，尽管理论上的策略鲁棒性未被完全保留。
• 基于真实数据与反馈的迭代设计过程表明，实际匹配系统需要远超理论基础的大量人工工程设计。
• 最终系统被PMAs联合委员会采纳，作为未来可预见时期的官方匹配机制，证实了其实际成功与机构信任。