先说几个核心结论:达摩院自主研发的“敏迭”求解器(MindOpt)现已正式推出GPU版本。根据官方发布的信息以及近2000个通用算例的实测结果,这款基于GPU的求解器能够将99%以上的问题类型稳定求解至高精度,甚至能处理传统上被认为“不可解”的亿级变量线性规划问题。
“求解器”这个词或许让不少人感到陌生,但它被誉为“工业软件之芯”,在电力调度、航班编排、高端制造、金融风控等关键领域承担着复杂计算任务。简单来说,当我们需要在无数约束条件下寻找最优方案时,求解器就登场了。
传统的线性规划求解器主要围绕CPU设计,核心依赖复杂的矩阵分解计算。一旦问题规模扩大,内存需求会呈爆炸式增长,再加上传统求解算法本身的并行度有限,往往导致求解过程耗时数小时仍无法收敛,甚至直接崩溃——这在亿级变量的场景下尤为严重。

因此,业界一直在探索基于GPU的求解器,核心思路是将求解的关键运算从矩阵分解转向稀疏矩阵-向量乘法,从而充分利用GPU的高并发与高带宽特性,同时避免内存膨胀问题。但这一路径并不顺畅。普遍存在一个“长尾效应”难题:求解到后期时,精度提升极为缓慢,甚至始终无法达到最终精度要求,这严重制约了GPU求解器的实际可用性。
敏迭求解器GPU版正是针对这一痛点而生。它引入了先进的算法加速策略,并对GPU内核计算进行了深度优化,将数学规划技巧与GPU工程优势有机结合,有效缓解了“长尾效应”。可以说,它打通了GPU求解器从“能算”到“算准”的关键一步,使超大规模问题能够稳定收敛到业务所需精度。
测试结果足以说明问题。团队在近2000多个通用线性规划算例上进行了全面测试,该测试集涵盖多种问题类型与精度要求,甚至包括一些对GPU算法极具挑战性的组合。结果表明,敏迭求解器在高精度要求下能稳定求解的问题类型占比超过99%,优于业内主流GPU求解器在同一测试集上96.7%至98.3%的表现。
更值得关注的是,在求解大规模问题时,敏迭的成功率比业内主流产品提升了14%以上,求解速度平均提升2.67倍。面对传统上无法处理的亿级变量超大规模问题,它能稳定求解超过80%的常见问题类型——这一空白,过去几乎没有产品能够填补。
这种能力在互联网、金融、物流、电力、集成电路等行业场景中,展现出突出的应用价值。举个例子:某大型数字广告平台需要为数亿用户进行流量分配,涉及约3.3亿个变量和1600万个约束条件,要求在2小时内完成求解。多家商用求解器运行了48小时仍未能给出可行解,有的甚至直接崩溃。而敏迭求解器GPU版仅用1700秒就解到了可靠精度。这样的差距,在实际业务中就是天壤之别。

