北京时间2020年8月28日,杉数科技发布了数学规划求解器COPT的单纯形法模块的第三次更新,并在国际权威第三方测评Mittelmann的线性规划单纯形法榜单中重回排名第一。这也是COPT在2019年6月登榜即是第一的地位维持了一年半,两周前被超越之后,新版本迅速反超,继续维持榜首的技术优势。

美国亚利桑那州立大学Hans Mittelmann教授致力于数学优化求解器测评多年,其用于评测的基准问题库来源于工业界经典的实际问题。Mittelmann教授的测评得到了求解器业界的一致认可,也被认为是判断求解器性能的事实标准。图为Mittelmann线性规划单纯形法的测评结果,数字“1”意味着COPT拥有最快的求解速度并作为基准时间,数字“40”意味着COPT成功求解了全部40个线性规划算例。可以看到COPT的求解速度快于第二名MDOPT 14%。尽管除Gurobi之外的另外两大商业求解软件CPLEX和Xpress早已退出测评,但不难推断COPT应当是求解大规模线性规划问题当之无愧的世界第一。

COPT求解器包括了线性、混合线性整数规划、非线性优化等多个模块,过去两年,已经广泛部署于杉数的智慧供应链与工业4.0智能系统,服务了百威、好丽友、小米、商飞等多个知名企业的国内和国际业务,并因为其唯一全国产、多种问题类型都能解决的优势,已经在深空探索、民航、电网、石油、信息安全多个国家重大和敏感项目上做出了独特的贡献。

杉数科技联合创始人葛冬冬也谈到:“两周前阿里云MDOPT发布的时候,也提到了其刚应用于阿里集团多项业务,包括云计算资源调度、金融资金分配、新零售智能营销等,每年就可为阿里云节约数亿元成本。由此可见,求解器在国内市场的应用场景是非常广阔和巨大的,也是切实可以为企业带来巨大效益的。随着后边更多巨头的入场布局,竞争促进提高,相信优化理论与应用在国内可以得到更大的重视和发挥空间。”

杉数求解器(Cardinal Optimizer,COPT)是杉数科技自主研发的一款针对大规模优化问题的高效数学规划求解器套件。目前已经可以为客户提供线性规划问题、整数规划问题、非线性问题等多种数学规划求解方案。提供公共免费下载测试的COPT(https://www.shanshu.ai/copt)是杉数求解器的线性规划求解器部分。其高效地实现了单纯形算法,可用于快速求解线性规划问题。目前支持所有主流操作系统(均为64位系统),包括:Windows、Linux和MacOS,并提供以下接口:Python、PuLP、Pyomo、C、C++、C#、Java、AMPL和GAMS。并支持ARM64平台。