CrocSwap/integer-mult-bounds 仓库中的拉取请求 #4441 将经过验证的新辅助重定时应用于 #4440 中引入的查询稀疏化复杂控制器的全部 19 个完整原生调用。作者报告说，全部 16 个付费查询剪切、整个空闲调用、主要运算符以及更强的 BIT 供应器均被保留。
由此得到的作者校验条件界为 T(n) = O(n (log n)^(1 - 0.00300105))。这使 κ 比 #4440 的 0.00296 提高 0.00004105（+1.3868%），比 #4416 的 0.00268647 提高 11.7098%，比固定选定值 0.0023 提高 30.4804%。付费调用数从 72,902 降至 69,273，节省 3,629 次；有效排名质量与付费排名质量分别变为 260,798 和 259,998，保持 800 的盈余。
作者称，精确区间界将固定剖面的根置于 0.0030010541830 与 0.0030010541834 之间，且区间证明覆盖每个实数 0<C<1。新的矩估计需要修正后的付费尾部极限 gamma < 97/100，因为 #4440 的 31/32 在该剖面上不成立。更强的 BIT 构造保持不变，据报告，全部九个外层行、54 个现行谓词以及四个功能性守卫均通过。
该工作是待审的作者校验条件构造。其前提尚未经独立方核实，作者并未声称无条件定理、实际运行时结果、全局最优或正式认可。总体 CI 在三项归档源码固定检查上仍为红色。
来源: Hacker News · 由HeadlinesBriefing整理摘要