多阶段广义延迟接受机制：处理一般遗传约束的策略证明机制

双边匹配理论已得到广泛发展并应用于许多现实生活应用领域。随着该理论应用于日益多样的环境，研究者和实践者遇到了各种形式的分配约束。可以说，最一般的分配约束类别是遗传约束；若一个匹配可行，则在任何学院分配学生数均弱少于该匹配的任何匹配也可行。然而，在一般遗传约束下，已证明不存在同时满足公平性和弱非浪费性（一种弱于非浪费性的效率（学生福利）要求）的策略证明机制。我们提出一种适用于遗传约束的新的策略证明机制，称为多阶段广义延迟接受机制（MS-GDA）。它使用广义延迟接受机制（GDA）作为子程序，当分配约束属于称为遗传 M$^\natural$-凸集的良态类时该子程序可行。我们表明 GDA 满足若干理想性质，其中大多数也在 MS-GDA 中保持。我们通过实验表明，当分配约束接近 M$^\natural$-凸集时，与现有策略证明机制相比，MS-GDA 在公平性与效率（学生福利）之间取得了良好平衡。