多智能体系统日益增强的异构性，为跨智能体联合训练一个全局模型带来了严峻挑战。与此同时，智能体之间的协同推理长期以来被公认为一种强大的机制，可用于网络化环境下的分布式决策。受上述观察启发，我们提出了一种面向多智能体网络的分布式二分类协作框架：在该框架中，一组各自独立训练的智能体——它们在模型架构、特征空间或模态上可能存在差异——于测试阶段通过协调彼此行为，共同生成集体预测结果。这种协调通过一种分布式学习协议实现，即各智能体仅交换本地决策统计量。我们对该“独立训练—协同推理”范式开展了系统的理论分析与实验研究，并考察了其在不同通信预算及不同分布式学习规则下的性能表现。我们建立了在通信轮数有限、通信精度有限且满足一定充分性条件下的分类误差界，同时给出了具有PAC（Probably Approximately Correct）风格的泛化误差上界。这些理论结果刻画了模型异构性、网络拓扑结构、融合策略以及通信约束等因素对预测精度的影响。结合实验结果，整体分析既揭示了采用独立训练方式所付出的性能代价，也证实了引入集体预测机制所能带来的显著增益，从而全面评估了本研究所提出的、基于数据驱动建模的分布式决策框架的有效性与实用性。

我们确立了“交替遗憾”（alternating regret）这一概念在在线线性优化（OLO）与在线凸优化（OCO）两类问题上的极小极大最优界；该遗憾度量源于博弈中交替式学习动力学的分析需求。 对于定义在概率单形 $ \Delta_d $ 上的在线线性优化问题，我们提出了一种算法，其交替遗憾为 $ O(\log d) $，且该上界与时间步长 $ T $ 无关，即为常数；同时我们还给出了匹配的下界证明。这一常数级遗憾界显著优于此前最优结果——后者遗憾为 $ O(\log^{2/3} d \cdot T^{1/3}) $（见 Cevher 等人，NeurIPS 2023；Hait 等人，COLT 2025）。由此，我们导出如下收敛性保证：在双人零和博弈中，相应的交替学习动力学以 $ O(\log d / T) $ 的速率收敛至纳什均衡；在双人一般和博弈中，则以 $ O(\log d / T) $ 的速率收敛至粗相关均衡（coarse correlated equilibrium, CCE）。这是首个在双人一般和博弈中实现 $ O(1/T) $ 速率收敛至CCE的**无耦合学习动力学**（uncoupled learning dynamics）；而此前所有工作均不可避免地引入额外的 $ \log T $ 因子。 对于定义在 $ d $ 维紧凸集上的通用在线凸优化问题，我们设计的算法 achieves $ O(d \log (1 + T/d)) $ 的交替遗憾，优于此前最优的 $ \widetilde{O}(d^{2/3} T^{1/3}) $ 界。此外，我们还证明了匹配的下界 $ \Omega(d \log (1 + T/d)) $，从而表明其中的 $ \Omega(\log T) $ 因子本质上不可消除。

我们研究在物品不可分割情形下的公平分配问题，其中各参与者的效用函数具有主观性，即他们对物品集合的估值各不相同；此外，部分物品可在给定市场价格下出售。在此设定下，一个公平分配方案需同时确定：哪些物品应被出售、剩余未售出的物品如何分配，以及出售所得款项如何在参与者之间进行划分。我们针对该设定，将基于份额（share-based）的公平性概念（如最大最小份额MMS和截断式比例份额TPS）以及基于比较（comparison-based）的公平性概念（如近似无妒忌EF1与强近似无妒忌EFX）加以适配，分别定义为“销售增强型EF1”（SEF1）与“销售增强型EFX”（SEFX）。当每位参与者的总效用在物品与金钱上均满足可加性时，我们得到如下结果：对于两名参与者的情形，总存在一种分配方案，它同时满足MMS与SEFX；对于三名参与者的情形，存在某些实例，使得任何分配方案都无法保证每位参与者获得超过$\frac{11}{12}$倍的MMS；而对于任意数量的参与者，总存在一种分配方案，可保证每位参与者至少获得$\frac{2}{3}$倍的MMS；此外，也总存在一种分配方案，它同时满足SEFX与$\frac{n}{2n-1}$倍的TPS。值得注意的是，该比例$\frac{n}{2n-1}$已是理论上最优的——即使不附加SEFX条件，也无法进一步提升。

近期关于联盟环境中社会排序的研究提出了一种方法：通过按联盟强度排序后，对个体在各联盟中出现次数所构成的向量进行字典序比较，从而对个体进行排序。本文聚焦于其中两种此类解法：一是“字典序卓越性”（lex-cel）解法，它忽略联盟规模；二是L^(1)解法，该解法在字典序比较的基础上进一步引入双重字典序机制，赋予规模更小的联盟更高优先级。我们系统考察了这两种解法在单调性联盟排序（monotonic coalitional rankings）下的组合结构关系——在此类排序中，等价类可通过一组关于集合包含关系极小的联盟来紧凑表示。在给出由这些极小联盟计算lex-cel与L^(1)参数向量的一般公式之后，我们还给出了相应算法的最坏时间复杂度分析结果。最后，为借助仿真实验进一步探究两种解法的行为特征（特别是二者所生成排序之间的距离），我们证明：单调性假设并不会导致两种解法所输出的排序出现实质性的重复或冗余。

大语言模型（LLM）智能体通过多角色、多阶段的工作流协同完成复杂任务。上游状态被反复转化为各类中间语言产物（intermediate language artifacts），例如摘要、计划、工单、记忆和交接备忘等，下游组件则基于这些产物开展后续行动。对于具有行动约束力的状态而言，仅保持主题相关性的留存（topical retention）是远远不够的：某一中间产物虽提及某个尚未解决的条件，却可能将该条件从“必须在执行前予以解决的前提要求”，悄然转变为“仅用于启发下一步行动的信息性内容”。我们将这种将状态与具体行动紧密绑定的功能称为**操作态保留**（operational state preservation）。安全拦截机制（safety blockers）为此提供了一个受控的理想研究场景，因为每个源状态均明确包含四项要素：前提条件（prerequisite）、授权权限（authority）、备用方案（fallback）以及执行后果（execution consequence）。本研究以准确识别上游状态为前提条件，系统性地改变交接过程中的状态转化方式，并评估仅能访问转化后产物的执行器（executor）的实际表现。在1296个受控合成任务片段（controlled synthetic episodes）中，采用直接交接（direct-handoff）作为对照组时，所有安全拦截项均得到完整保留；而相比之下，压缩（compression）、计划整合（plan assimilation）、收敛（convergence）、权责推延（ownership deferral）及先例替代（precedent substitution）等各类交接转化方式，则反复将原本具有强制约束力的状态弱化为附带说明性条款（caveats）或非约束性参考信息。常规交接压缩处理导致100.0%的安全拦截项失效（deactivation），并引发54.2%的禁令性动作（forbidden action）。若在交接产物中完整恢复全部四项状态要素，则拦截项保留率提升至100.0%，禁令性动作比例降至0.0%。进一步采用固定产物干预（fixed-artifact interventions）可将“状态保留”与“状态管控”两个维度清晰分离：下游验证机制（downstream verification）可彻底消除禁令性动作，但产物层面的拦截项失效率仍高达95.3%。上述结果揭示出信息抽取与实际行动之间存在一种**状态传递失效**（state-transmission failure）：交接过程中的状态转化虽能保全语义内容，却会削弱其对下游行动的约束效力；换言之，“语义可及性”（semantic availability）并不等同于“操作态可保性”（operational preservation）。

院前卒中评估旨在通过标准化流程，在极其有限的时间窗内准确识别卒中症状并迅速做出决策，从而为后续治疗争取宝贵时间。在临床实践中，基于FAST原则的量表被广泛用于院前卒中评估：评估者通过发出指令，引导受试者执行特定动作，以筛查面部、上肢及语言功能。然而，在家庭与社区等非临床环境中，非专业使用者常面临描述不准确、症状观察不全面、操作步骤难以执行等挑战，可能导致评估结果失准或产生偏差。为应对上述问题，本文提出StrokeGuard——一种面向院前卒中评估的多智能体引导系统，旨在使移动终端上的FAST筛查更趋标准化与可操作性。具体而言，为克服传统单智能体系统在流程容错能力与用户引导能力方面的局限，StrokeGuard采用双通道智能体机制，将正式评估（即面瘫、肢体无力、言语障碍）与流程支持（如分步提示、错误纠正及实时反馈）相分离；通过多智能体协同、双通道交互、状态机控制以及按阶段本地化回退恢复机制，全程引导评估流程。各阶段的评分任务交由受约束的预训练视频评估模块完成，同时将证据来源记录与结构化报告生成相整合。用户评估采用MATES-9量表——一种专为衡量多步骤人工智能引导任务中用户体验而开发的探索性量表。在模拟院前场景的实验中，StrokeGuard相较纸质FAST式表单，使MATES-9总分提升10.83分，相对增幅达23.8%。

议会制政体在基准情形下通过的法案数量多于总统制政体，但在政党体系碎片化时，其法案通过率则骤降至接近零。学界提出了三种相互竞争的微观解释机制：联合政府组建失败、政党纪律约束，以及委员会把关作用。这些机制在任何现实立法机构中均同时运行，因此基于观察数据的经验研究难以厘清各自的具体贡献。本文构建了一个基于智能体的计算模型，对四种民主制度安排进行比较分析：纯粹议会制、纯粹共和制/总统制、总理总统制（以法国为典型）、总统议会制（以俄罗斯为典型）。我们在四种不同情景设定下，对每种制度组合分别运行200次独立模拟（即N=200个随机种子），并报告了自助法置信区间、莫里斯筛选法（Morris screening）、索博尔方差分解（Sobol variance decomposition）、机制消融实验（mechanism ablations），以及一种“悬峙议会”（hung parliament）变体的对比分析结果。研究得出三项核心发现： 第一，仅因政府组阁失败本身并不会导致立法完全停滞；当政党高度碎片化的议会转而采取议员个人投票模式时，议会制下的法案通过率（46.4%）在统计上与总统制基准值（44.8%）并无显著差异；真正导致通过率崩塌至0.05%的，是立场一致的反对党有组织地实施阻挠——唯有这种凝聚性的反对力量，才会彻底扼杀立法进程。 第二，一旦解除政党纪律约束，碎片化议会的法案通过率即可恢复至46.7%；且这一“纪律解除带来的修复效应”在四种制度类型中呈现单调递增趋势，该趋势在不同统一纪律水平的敏感性检验中依然稳健成立。 第三，“立法效率—代表质量”之间存在一条连续统一体：纯粹议会制以牺牲代表的准确性（representational fidelity）为代价，最大化立法产出（throughput）；纯粹共和制/总统制则通过总统否决权最大限度保障代表的准确性；而半总统制的两类变体（总理总统制与总统议会制）则介于二者之间，在效率与代表性之间取得折中平衡。

在不可分割物品分配中，最大化纳什福利是一个核心问题。对于可加型效用函数，目前已知的最佳近似比约为 $e^{-1/e} \approx 0.692$，且该问题已被证明是 APX-难的。本文研究了字典序效用（lexicographic valuations）下的纳什福利最大化问题：在此类效用中，每件物品的价值均严格大于所有排序更低之物品的总价值。这种“大间隔”结构使得偏好几乎完全由序数信息决定，这似乎暗示该问题会变得易于求解。然而，我们发现实际情况更为微妙：尽管字典序效用确实能带来更强的算法保障，但其仍保留着显著的计算难度。 我们的第一个主要成果是：针对字典序效用下的加权纳什福利最大化问题，提出了一种 $(1/\sqrt{2} - \varepsilon) \approx (0.707 - \varepsilon)$-近似算法，优于此前沿用自一般可加情形的约 $e^{-1/e}$ 近似比。该算法基于对纳什福利问题的配置线性规划（configuration LP）进行舍入；我们进一步证明，该线性规划具有匹配的 $\sqrt{2}$ 整数间隙（integrality gap）。 我们的第二个主要贡献是：为有序字典序实例（ordered lexicographic instances）和倍增字典序实例（doubling lexicographic instances）构建了一个精确、多项式时间可解的算法框架。我们提出一种基于“支配关系”的分支剪枝（branch-and-prune）方法；为此，我们证明了兄弟子树之间满足互斥性质（mutual-exclusion property），并借助基于矩阵的叶节点计数论证（matrix-based leaf-counting argument），在智能体数量为常数时，将被剪枝后的递归树规模控制在多项式量级以内。 最后，我们指出：大间隔结构并不能消除计算难度——即使在有序字典序效用下，纳什福利最大化问题仍是 NP-难的；而即便在倍增字典序效用下，要获得 $0.9996$-近似解也同样是 NP-难的。因此，字典序效用虽使纳什福利最大化问题变得“更容易”，却远未达到“容易”的程度：它确实在若干重要情形下支持更紧致的近似算法与精确算法，但这些算法仍需依赖精巧的设计与分析技术，且该问题在本质上依然继承了通用可加效用设定下所固有的部分计算难度。

我们研究具有树状层级关系的多层公平资源分配问题，其中各智能体之间存在层级隶属结构。在每一层级上，该问题可被局部地理解为：将某智能体所拥有的物品束（bundle）分配给其直接下属子节点；而最终的整体分配结果，则是这一递归分配过程自根节点逐层向下延伸至所有叶节点后所形成的完整分配轨迹。我们假设：内部节点（即非叶节点）的效用值等于其所有子节点的效用之和（即采用功利主义社会福利函数），而叶节点则对物品具有经典的加法型效用函数。在此设定下，我们首先提出了若干适用于多层场景的、基于“嫉妒”（envy）的传统公平性概念的推广形式（例如加权近似无嫉妒性 WEF1）。我们共给出三种不同的推广方式，并指出这三者之间的选择并非中立——它们在语义与性质上存在实质性差异。我们证明：当所有智能体具有完全相同的偏好时，上述三种基于嫉妒的多层公平性定义彼此等价；并且，加权轮转法（Weighted Round Robin, WRR）的一种多层扩展版本（即 MWRR，参见 Chakraborty 等人，2021 年）能够同时满足全部三种定义。随后我们指出，在一般性偏好（即偏好各异）情形下，MWRR 可能保证其中某些公平性定义，却无法保证另一些。最后，通过实验验证，我们发现：即便对于那些 MWRR 在理论上无法严格保证的公平性定义，该算法在实际表现中仍可能展现出良好的经验性能。

可逆计算是一种新兴的计算范式，它在传统单向（仅向前）计算的基础上进行了扩展，增加了反向执行的能力，从而使计算过程既能正向运行，也能反向回溯。事件结构是并发理论中的一种基础性模型，它通过刻画所发生的事件以及事件之间的关系，为理解计算过程提供了形式化途径。在既有文献中，已明确区分出两种结构上互不相同的、为事件结构模型赋予迁移系统语义的方法：其一基于“组态”（configurations），即一组已被执行完毕的事件；其二基于“模型余留”（model residuals），即尚未执行的模型片段。基于组态的迁移系统主要用于语义建模与表征；而基于余留的迁移系统则被广泛应用于验证并发进程演算的操作语义与指称语义之间的一致性，并用于直观呈现模型的动态行为。本文聚焦于具有因果可逆性的捆束事件结构（bundle event structures），这类结构已被用于研究CCS类与π演算类系统的可逆扩展。文中构建了从可逆事件结构模型到上述两类迁移系统语义的映射，并借此证明了二者语义之间的同构性；此外，还从范畴论角度对这些映射给出了形式化刻画。