预算约束下的近可行稳定匹配

我们考虑Hatfield和Milgrom的带合同匹配框架，其中一方（企业或医院）可以向另一方（工人或医生）进行货币转移（提供工资）。在标准模型中，货币转移不受限制。然而，我们假设每家医院有一个固定预算；即每家医院分配给医生的工资总额受到约束。在此约束下，稳定匹配可能不存在，且检验其存在性是困难的。为应对不存在性问题，我们关注可以超出每家医院预算一定数额的近可行匹配，并引入了一个新的相容性概念。我们证明，相容性条件是带合同匹配框架中存在近可行稳定匹配的一个充分条件。在对医院偏好施加轻微限制的情况下，我们提供了能够针对每家医院实际分配的工资总额高效返回近可行稳定匹配的机制。通过牺牲策略防操纵性，实现了预算超额的最优可能界限。