作者:唐博
编者按
MindOpt作为国内自主研发的求解器,登上国际权威榜单测评榜首,无疑是国内运筹优化领域的重大喜讯。
北京时间2020年8月18日,阿里巴巴达摩院发布了数学规划求解器MindOpt的单纯形法模块,并在国际权威第三方测评Mittelmann的线性规划单纯形法榜单中打破纪录,取得第一。
美国亚利桑那州立大学Hans Mittelmann教授致力于数学优化求解器测评多年,其测试结果公开发表在http://plato.asu.edu/bench.html上。该网站提供了各大数学规划求解软件在不同数学规划问题(如LP、MILP、SOCP、SDP、NLP等)的测评结果,其用于评测的基准问题库来源于工业界经典的实际问题。Mittelmann教授的测评得到了求解器业界的一致认可,也被认为是判断求解器性能的事实标准。
图为Mittelmann线性规划单纯形法的测评结果,数字“1”意味着MindOpt拥有最快的求解速度并作为基准时间,数字“40”意味着 MindOpt成功求解了全部40个线性规划算例。可以看到MindOpt的求解速度快于第二名Gurobi 10%。尽管除Gurobi之外的另外两大商业求解软件CPLEX和Xpress早已退出测评,但不难推断MindOpt应当是求解大规模线性规划问题当之无愧的世界第一。
据悉,这款表现优异的优化求解器已应用于阿里集团多项业务,包括云计算资源调度、金融资金分配、新零售智能营销等,每年可为阿里云节约数亿元成本 [5]。达摩院也提供了该软件的试用,根据官网(https://solver.damo.alibaba.com)填写申请材料即可获得试用。MindOpt目前支持命令行和C语言API调用,可在Windows,MacOS和Linux系统下使用。
参考文献
[1]http://plato.asu.edu/ftp/lpsimp.html
[2]https://solver.damo.alibaba.com/htmlpages/page#/
[3]https://tech.china.com/article/20200818/20200818582257.html
[4]https://zhuanlan.zhihu.com/p/54150389
[5]https://cloud.ofweek.com/news/2020-08/ART-178803-8100-30453277.html
本文责编