编辑推荐：
摘要：在一对一匹配市场(one-to-one matching markets)中，研究人员研究了短视-远见稳定集(myopic-farsighted stable set)，即当短视代理人(myopic agents)考虑偏离时的即时收益、而远见代理人(fa
摘要：在一对一匹配市场(one-to-one matching markets)中，研究人员研究了短视-远见稳定集(myopic-farsighted stable set)，即当短视代理人(myopic agents)考虑偏离时的即时收益、而远见代理人(farsighted agents)预期反偏离并考虑最终收益时，满足内部稳定性(internal stability)与外部稳定性(external stability)的集合。研究人员通过构造性证明证明了（理性预期）短视-远见稳定集的存在性——其中远见代理人获得唯一匹配结果而短视代理人可获得多个可能匹配。该存在性结果推广至允许任意规模执行联盟的情形（得到联盟短视-远见稳定集，coalitional myopic-farsighted stable set），以及放松执行联盟全体严格获益要求后的短视-远见弱稳定集(myopic-farsighted weakly stable set)。当所有远见代理人满足单位需求(unit-demand)时，结果亦推广至多对一(many-to-one)匹配市场。作为关键推论，研究人员为效率调整延迟接受算法(efficiency-adjusted deferred acceptance algorithm, EADA)提供了理论基础，证明当市场一侧为远见代理人、另一侧为短视代理人时，EADA产出构成单点短视-远见稳定集(singleton myopic-farsighted stable set)。
论文解读：《Existence of Myopic-Farsighted Stable Sets in Matching Markets》发表于ECONOMETRICA
一、研究背景与问题提出
传统一对一匹配市场中，核心(core)及成对稳定(pairwise stable)是经典解概念，但其缺陷在于仅因某联盟可强制执行更优结果便排除该结果，而不要求新结果本身不再被支配。von Neumann-Morgenstern(vNM)稳定集弥补此缺陷，要求内部无相互支配且外部均被集合内结果支配，但标准vNM稳定集假设所有代理人均为短视(myopic)，仅考虑即时偏离收益，忽略了对反偏离及最终结果的预期。另一方面，完全远见(farsighted)稳定集要求所有代理人能预见间接支配链的最终结果，现实中匹配市场两侧常混合存在不同远见程度的代理人（如经验丰富的高校vs初入职场的毕业生）。已有存在性结果仅限于全短视（核心即唯一vNM稳定集）或全远见（稳定匹配构成单点稳定集），对任意异质远见—短视混合配置下短视-远见稳定集(myopic-farsighted stable set, MFSS)的一般存在性长期未获证明。本文旨在填补这一空白，对任意偏好剖面及任意远见—短视代理人配置，构造性证明MFSS的存在性，并探讨其与效率调整延迟接受算法(EADA)、联盟偏差及理性预期的关系。
二、主要关键技术方法
研究人员采用构造性证明方法：(1)定义远见不变集(farsighted-invariant set)——其中每位远见代理人在集合所有匹配中配偶相同；(2)基于EADA(efficiency-adjusted deferred acceptance algorithm, Kesten 2010)及DA(deferred acceptance algorithm, Gale-Shapley 1962)构造锚定匹配Φ，使远见代理人配偶固定为其EADA匹配（同侧远见者取对应侧EADA配偶，异侧远见对先锁定再分别处理两侧剩余远见者并做防御性偏好扰动）；(3)证明Φ具外部稳定性且→关系（myopic-farsighted improving path可达关系）在远见不变集上传递，通过修剪算法(trimming algorithm)逐次消除内部稳定性违反得到MFSS；(4)将 pairwise 偏差分解为序列pairwise执行以扩展至联盟偏差情形，放宽严格改进要求得弱稳定集；(5)定义期望(expectation)与绝对最大化(absolute maximality, Ray and Vohra 2019)证明所得MFSS满足理性预期(rational expectations)稳定集；(6)通过Gale-Sotomayor拆分法(splitting device)将多对一市场单位需求远见代理人归约为一对一辅助问题。
三、研究结果
2 Model（模型）
定义一对一匹配问题E=(M,W,R,F)，M为男，W为女，|M|=|W|，R为严格偏好，F?M∪W为远见代理人集。匹配μ须为双射且个体理性(individually rational)。定义短视-远见改进路径(myopic-farsighted improving path)：每步由单人离婚或男女配对结婚执行，短视代理人比较下一匹配与当前匹配且严格偏好，远见代理人比较最终匹配与当前匹配且严格偏好。MFSS为匹配集合V满足：内部稳定性（V内无相互可达改进路径），外部稳定性（V外任意匹配经改进路径可达V中某匹配）。定义远见不变集——各远见代理人配偶跨V中所有匹配相同。
3 Main Results（主要结果）
3.1 Preliminary Concepts and Observations（预备概念与观察）
引理1：在任意远见不变集上，→关系具有传递性。提出修剪算法——从外部稳定的远见不变集反复删去违反内部稳定性的配对，因传递性外部稳定性在修剪中保持，终止得MFSS。
3.2 All Farsighted Agents on the Same Side（远见代理人仅位于市场同侧）
命题1：若F?M（全远见男），定义ΦEADA-men为所有个体理性匹配且每位远见男配偶等于其men-proposing EADA配偶。证明ΦEADA-men具外部稳定性，修剪后得MFSS。推论1：若F=M（全远见男）且W全短视，则μEADA-men为单点MFSS，为EADA算法提供博弈论基础。例示说明不同F配置下修剪可产生唯一或多MFSS。
3.3 Farsighted and Myopic Agents on Both Sides（双侧均有远见与短视代理人）
构造三步锚定匹配π：(i)锁定E中互为EADA配偶的远见对；(ii)在移除已锁定远见对并令远见男视远见女为不可接受之约化问题上，剩余远见男取men-proposing DA配偶；(iii)在进一步约化问题上，剩余远见女取women-proposing DA配偶，并对剩余女人做防御性偏好修改（使其EADA配偶优于某远见女DA配偶的男人不被剔除）。定义Φ为所有个体理性匹配且远见配偶=π(·)。命题2：对任意E，如此构造之Φ具外部稳定性，修剪得MFSS（定理1：任意问题存在MFSS）。引理2保证各远见代理人至少获其EADA配偶。
3.4 Multiplicity and Welfare Implications（多重性与福利含义）
MFSS可多重——源于初始锁定任意稳定匹配中之远见对、锁定两侧顺序互换、修剪顺序差异；但远见代理人配偶一旦Φ固定即唯一确定。若全远见，MFSS为单点稳定匹配，重现经典Gale-Shapley极化利益。短视代理人可能因同伴变远见获益。
3.5 Blocking Coalitions and Weakly Stable Sets（阻断联盟与弱稳定集）
将pairwise偏差允许多人联盟得联盟短视-远见稳定集(coalitional MFSS)；放宽"全体严格改进"为"至少一人严格改进"得短视-远见弱稳定集(myopic-farsighted weakly stable set)。定理2、定理3：因pairwise偏差可分解且弱支配含严格支配，前述构造同样适用，存在联盟MFSS及弱MFSS。
4 Rational Expectations（理性预期）
定义期望(expectation)为带一致性(consistent beliefs)与吸收性的改进路径族。绝对最大化(absolute maximality)：任何可强制执行之替代偏离，其最终稳态不使远见成员严格变差。命题3：若V为远见不变MFSS，则V为理性预期短视-远见稳定集(rational expectations myopic-farsighted stable set)。定理4：任意问题存在此类稳定集。
5 Implications（推论与关联）
全短视时核心即唯一MFSS(Herings et al. 2017)；全远见时任意稳定匹配构成单点MFSS(Mauleon et al. 2011; Herings et al. 2020)。一侧全远见另一侧全短视时，EADA结果为单点MFSS；MFSS?核当且仅当DA与EADA重合(Corollary 2)。全远见同侧结果关联Herings et al.(2020,2025)。
6 Many-to-One Markets（多对一市场）
定理5：当所有远见代理人具单位需求(unit-demand)且偏好响应性(responsive preferences)时，通过拆分法(splitting device)归约为一对一辅助问题，存在MFSS；EADA单点结果在远见工人—短视多岗位企业时仍成立。若多岗位企业为远见，拆分失效，例示说明锚定不再保证外部稳定性。
7 Conclusion（结论）
研究人员在一对一匹配问题中，对任意远见—短视混合配置，构造性证明了满足联盟主权(coalitional sovereignty)及理性预期的短视-远见稳定集(Myopic-Farsighted Stable Set, MFSS)之存在性。所构造稳定集不必含于核(core)，远见代理人获唯一配偶。构造揭示MFSS与效率调整延迟接受算法(EADA)之联系：当一侧全远见另一侧全短视，EADA产出即为单点MFSS。结果推广至任意规模联盟偏差、弱间接支配及单位需求远见之多对一市场，为匹配市场去中心化动态及集中设计提供理论基础。
四、讨论与结论翻译
研究人员证明了一对一匹配市场中，对任意偏好剖面和任意远见—短视代理人配置，短视-远见稳定集(myopic-farsighted stable set)总存在。该稳定集可通过以效率调整延迟接受算法(EADA)配偶锚定远见代理人并修剪远见不变集构造得到。当市场一侧全为远见代理人另一侧全为短视代理人时，EADA匹配构成单点短视-远见稳定集，为此算法在异质远见环境下的稳定性提供了博弈论基础。结果亦推广至联盟偏差、弱稳定集及单位需求远见之多对一匹配市场。远见代理人配偶在稳定集中唯一确定，而短视代理人配偶可多重；稳定集不必属于核除非全短视或全远见。
