本站已超过 12 小时没有更新（正常每 3 小时更新一次），下面的内容可能不是最新的。
本页没有符合条件的条目（筛选只在本页内进行）。
说明超越0.55的在线带权二分匹配算法
简介本文提出一种随机在线算法，用于允许自由丢弃（free disposal）的带权在线二分图匹配问题，竞争比为0.556195，优于Blanc和Charikar此前的0.5368。算法基于在线相关选择（online correlated selection）方法，并采用状态相关的原始-对偶分析进行证明，部分不等式借助计算机辅助证明完成，相关验证程序已在配套仓库公开。文中还指出，三角形单位权重输入可渐近达到该理想算法的保证，说明其分析是紧的。
看点改进在线边加权二分匹配的竞争比至0.556，提出状态相关的原始-对偶分析并用计算机辅助证明验证，结果为紧界。
说明拟阵先知秘书问题与XOS估值：在1-1/e处的严格分离
简介本文研究在线分配问题：元素价值独立随机、按随机顺序到达，算法需在独立集或拆分的买家包中做选择，基准为离线最优期望值。作者证明对任意拟阵存在随机化的(1-1/e+10^-6)竞争比算法，并给出多项式时间实现；但对带XOS估值的组合拍卖，证明1-1/e是最优竞争比，两者存在严格分离。
看点证明了拟阵先知秘书问题可突破1-1/e，并给出XOS拍卖的紧界，理论贡献显著；基于摘要中的证明与算法分析。
说明受约束加权网络博弈中的稳定性与完美性：研究带资源和容量限制的网络形成中，如何定义并证明稳定网络的存在及其精炼概念。
简介论文提出一个受约束的加权网络形成框架，允许任意联盟获得连续权重，并同时纳入联盟容量约束和个体预算约束。作者定义了一种称为联盟式稳定性（coalitionwise stability）的新概念，并在收益函数满足连续性和分量拟凹性假设下证明了此类稳定网络的存在。论文还研究了受泽尔滕完美均衡和配对完美稳定性启发的精炼概念，并证明在某些分量单调性假设下两种构造等价。
说明非集成与随机化真实调度的紧界
简介本文研究无关机器上的真实调度问题，证明任何确定性真实分数调度机制的最坏情况近似比至少为(n+1)/2，且该下界与已知上界精确匹配。由于期望真实机制可导出真实分数机制，该下界同样适用于所有期望真实机制及普遍真实机制。作者还给出了近似比为n/2+o(n)的普遍真实机制，从而确定随机化真实调度的最优主导常数为1/2。
看点解决算法机制设计中长期未决问题：证明截断式分配下确定性真实分数调度近似比至少(n+1)/2，并给出随机化的紧界，理论上有很强的新意。
说明flash-comm：面向大模型解码的自同步集合通信库
简介本文提出 flash-comm，一种为大模型解码设计的通信库，通过将就绪同步与数据传输融合来提高传输效率。其自同步传输让每个数据块携带自身就绪的证明，接收方无需额外的 GPU 间屏障即可直接验证所需数据块。在八块 NVIDIA B300 GPU 的服务器上，相比当前最先进的 all-reduce 实现 custom AR v2，all-reduce 延迟中位数降低 28.8%，最高降低 43.7%；端到端解码的每输出 token 时间（TPOT）降低 1.7%至 6.8%。