AI 中文总结
研究双边酉多对多医生-医院匹配问题，以选择函数为原语，分析医生和医院选择特性。通过医生提出的累积报价过程得出最大稳定分配，引入弱医院准稳定分配并证明其形成有限格，最大元素为稳定的，得出累积报价结果等三者一致，且共同分配是医院最悲观的，总需求定律下代理人签合同数量相同。
AI 中文摘要
我们研究了具有合同的双边酉多对多医生-医院匹配问题，将选择函数作为原语。医生的选择是可替代的，并且满足被拒绝合同的无关性，而医院的选择是单边可替代的，并且满足相同条件。医生提出的累积报价过程的每条轨迹都终止于医生布莱尔顺序下的最大稳定分配。我们还引入了弱医院准稳定分配，并表明它们形成了一个有限格，其最大元素是稳定的。因此，累积报价结果、最大弱医院准稳定分配和医生最优稳定分配是一致的。在显示选择意义上，共同分配是医院最悲观的。在总需求定律下，每个代理人在所有稳定分配下签订的合同数量相同。
英文摘要
We study bilaterally unitary many-to-many doctor--hospital matching with contracts, taking choice functions as primitives. Doctor choices are substitutable and satisfy irrelevance of rejected contracts, while hospital choices are unilaterally substitutable and satisfy the same condition. Every trajectory of the doctor-proposing cumulative offer process terminates at the greatest stable allocation under the doctor Blair order. We also introduce weakly hospital-quasi-stable allocations and show that they form a finite lattice whose greatest element is stable. Hence, the cumulative-offer outcome, the greatest weakly hospital-quasi-stable allocation, and the doctor-optimal stable allocation coincide. The common allocation is hospital-pessimal in the revealed-choice sense. Under the law of aggregate demand, every agent signs the same number of contracts at all stable allocations.
Comments29 pages
