本站已超过 12 小时没有更新（正常每 3 小时更新一次），下面的内容可能不是最新的。
本页没有符合条件的条目（筛选只在本页内进行）。
说明几乎满足最大最小份额的分配，代理冗余较小
简介本文研究不可分割物品的公平分配问题：在代理数多于物品组合中可选择的人数时，是否能从中选出一部分代理，使其获得至少某一比例的最大最小份额（MMS）。作者证明，只要存在代理冗余，该比例随代理数增长趋近于1；在无代理冗余且物品数不超过(2−c)n时，结论同样成立。此外，作者还改进了Ezra与Garbuz的一个结果，指出无代理冗余时总能让n−O(log²n)个代理获得完整的MMS。
看点新意在于证明有代理冗余时比例可趋近1，并推出m≤(2-c)n时无冗余的结论；作者给出证明，并改进了Ezra与Garbuz的结果。
说明基于NMDS码构造的具有大最小距离的Plotkin最优纯量子LRC
简介本文提出一个通用框架，利用Hermitian对偶包含的近最大距离可分（NMDS）码构造达到类Plotkin界的最优纯量子局部可恢复码（qLRC）。针对称为扩展广义Reed-Solomon子码（ESGRS）的一类NMDS码，通过分析有限域上的子集和问题确定其局部性。进一步利用ESGRS码及相关码的代数结构，构造出四族码长较大、最小距离比已有构造更灵活的Plotkin最优纯qLRC。
说明失真度的计算方法
简介本文研究社会选择理论中的失真框架，该框架用于衡量基于多个主体偏好进行（随机）方案选择的效率。作者提出一种线性规划算法，用于计算给定实例上的最优随机化决策，比现有方法更简单快速。对于更倾向使用经典决策规则的实践者，作者还提出基于非凸二次规划的算法，用于计算任意（及最佳）随机化位置计分规则的精确失真度。
说明Colonel Blotto博弈中的高效均衡计算
简介该论文研究资源分配博弈Colonel Blotto，即双方把预算分配到多个战场，各战场投入更多者获胜。论文给出一种全多项式时间近似方案，可在输入长度和1/ε的多项式时间内计算ε-纳什均衡。对于预算和战场价值足够平衡的情形，论文还给出线性时间内计算精确均衡的方法。
看点解决了Colonel Blotto博弈均衡计算的长期未决问题，给出全多项式时间近似方案，并给出平衡情形下线性时间精确均衡。
说明用 Python 并行实现非线性动力学稀疏辨识（SINDy）：基于 Numba、OpenMP、线程与多进程的任务并行与数据并行方法，并在 Lorenz 与 Rössler 系统上验证
简介本文介绍一个开源 Python 版 SINDy 实现，它从时间序列数据中通过稀疏回归恢复可解释的动力学方程。作者用 Numba 编译同一套循环核函数，并分别以 Numba prange、PyOMP、Python 线程和共享内存多进程四种后端在多核节点上运行。在 Lorenz 与 Rössler 系统上，各后端均恢复出正确的稀疏结构，24 核上加速比为 14.8 至 20.3，相对 PySINDy 的总耗时最多减少 117 倍。
说明循环语言模型的推理速度由什么决定？按精确性分级的测量与优化
简介本文测量了两种循环语言模型（Ouro 与 Huginn-0125）在一个开源推理引擎中的服务性能，每个 token 需要多次重复运行同一组层，因此每层的开销会被重复支付。作者将各项优化按精确性分级：从结果逐比特一致的改动，到需要做精度检验的改动。文中报告了各项优化带来的吞吐提升及其对 GSM8K 准确率的影响。
说明随机化诚实调度的紧致分析：(m+1)/2 下界
简介论文研究无关机器上最小化完工时间的随机化诚实机制。作者证明，对于期望诚实（TIE）机制，近似比下界为 (m+1)/2，由此在加法常数范围内确定了最优近似比为 m/2+Θ(1)。同时，普遍诚实机制的下界主要系数从 3/2-√2 提升至 1/2，结合已知上界，确定了该类机制在低阶项之外的最优近似比。
看点改进了随机真实调度的下界，给出$(m+1)/2$，将主导常数从约0.0858提升到1/2，并与上界匹配到低阶项。
说明诚实期望调度的紧界
简介本文研究在n台不相关机器上调度不可分割作业的随机机制，每台机器由自利代理控制并私下知道各作业的处理时间。作者证明，在n≥7时，相对于整数分配的最小完工时间，最优近似比为(n+1)/2，并给出达到该比率的匹配机制。对于两台机器，文中给出了精确的最优近似比，约为1.505995705434；三台机器的最优比为2。
看点给出截断式强化下界与匹配机制，两机器给出精确常数并称三机器为2，证明覆盖n≥7的一般情形，结果对随机机制设计有实质推进，影响主要在理论领域。
说明GPU程序数值错误研究及自动化缺陷检测
简介本文分析了GitHub上397个真实的GPU数值错误样本，归纳了其根本原因、症状、触发输入模式、测试预言及修复策略。作者还提出了初步工具GPU-NBDetect，用于检测六类数值错误，共发现226个错误，其中60个已获开发者确认。
说明度量图上防策略性设施选址的搜索与验证
简介本文研究在连续度量图上，以总距离最小化为目标的随机设施选址问题中，防策略性（SP）机制的自动化设计。作者给出了给定图和代理人数量时，SP机制最优近似比的上下界计算方法，并提出一种能验证机制性质的有限表示（分段线性归因）。数值实验在若干度量图上给出了经认证的上下界。
说明无服务器工作负载特征分析：函数即服务平台的大规模研究
简介本文对来自阿里云、微软Azure、华为、IBM等主要云厂商以及科学计算平台Globus的八组公开函数即服务（FaaS）工作负载数据进行了大规模跨平台对比分析。研究从调用模式、延迟、冷启动行为和资源利用率等维度刻画无服务器计算的现状。结论显示，执行时间缩短，性能瓶颈转向平台调度与依赖管理，同时出现长期运行的并发容器等“Serverless 2.0”架构趋势，并存在资源过度配置和用户请求量极度不均的现象。
说明面向次可加估值的常数因子最大最小份额保证
简介本文研究n个代理人分配m件不可分商品时的最大最小份额（MMS）公平性问题。作者对一般次可加估值将已知保证从Ω(1/log log n)指数级提升到Ω(1/log* n)，并提出q-划分估值这一中间类别，在q/n有正下界时给出常数保证。对XOS估值，通用保证从约0.2353提升到0.3125。
看点将一般次可加估值的MMS常数近似从Ω(1/log log n)指数级改进至Ω(1/log* n)，并研究q划分估值的中间类别，作者报告在q/n有正下界时给出常数保证。
说明秩度量相交码：把相交码概念推广到矩阵秩度量
简介相交码指任意两个非零码字都至少在一个非零坐标上有公共支撑的码。本文把矩阵的支撑定义为其行空间，将相交码推广到矩阵秩度量设定，并利用由生成张量导出的切片空间给出与相交性等价的几何刻画。作者由此得到相交码参数的界，其中一个界是紧的，并给出了首批构造。对于在乘法下封闭的码（即矩阵代数），相交性可由雅可比根和底座读出，从而可以灵活地构造许多相交码。
说明彩虹环定理的简短证明与推广，以及二元偶数查询局部可纠码的改进界
简介本文讨论图论中的彩虹环：每种颜色在环中至多出现一次的环。作者给出了已有结果的简短证明，即边染色图平均度达到一定量级时必含彩虹环，并将其推广到带权、边列表染色的图。利用这一推广，作者证明了二元线性偶数查询局部可纠码的长度界，使其与奇数查询的已知下界相匹配。