Stability, Strategy-Proofness, and Cumulative Offer Mechanisms
研究了多对一匹配合同中稳定且策略证明机制的存在条件，提出三个新条件，证明累积报价机制是唯一满足条件的机制，并说明这些条件在某种意义上是必要的。
Abstract We characterize when a stable and strategy-proof mechanism is guaranteed to exist in the setting of many-to-one matching with contracts. We introduce three novel conditions—observable substitutability, observable size monotonicity, and non-manipulability via contractual terms—and show that when these conditions are satisfied, the cumulative offer mechanism is the unique mechanism that is stable and strategy-proof (for workers). Moreover, we show that our three conditions are, in a sense, necessary: if the choice function of some firm fails any of our three conditions, we can construct unit-demand choice functions for the other firms such that no stable and strategy-proof mechanism exists. Thus, our results provide a rationale for the ubiquity of cumulative offer mechanisms in practice.