房间与房间的策略证明匹配

我们首次研究了以Leontief效用表示的房间与房间匹配问题，其中代理人对其他代理人和房间的偏好是互补的。 在此设置下，2n个代理人必须成对配对并分配到n个房间。每个代理人对房间都有基数价值，也对所有其他代理人都有兼容性价值。在Leontief偏好下，代理人的效用是两个价值中的最小值。我们关注在最大化效用社会福利与策略证明性之间之间的权衡。我们的主要结果表明，与加法情况形成鲜明对比，在二进制Leontief效用下，存在可最大化社会福利的策略证明机制。我们进一步设计了一个可实现此福利最大化算法的策略证明机制，并以代理人数量为参数进行调节。我们在此过程中概述了若干可能性和不可能性结果，给出带或不带策略证明性的福利的上下界。