于无声处听惊雷:杉数科技开发了中国人自己原生的第一个数学规划与优化算法求解器

2019/5/17,发生了一件在中国运筹学史上,值得铭记的事件。

在Mittelmann的求解器测试网页上,悄无声息的添加了COPT线性规划求解器(Simplex单纯形算法版本),两个网页显示,COPT求解器成功的占据了榜首的位置,以明显的优势将原来的CLP挤下了冠军宝座。

COPT是杉数科技开发的,中国人自己的原生第一个数学规划与优化算法求解器:Cardinal Optimizer。华人运筹与优化算法泰斗叶荫宇教授在线性规划的单纯形法和内点算法上都做出了重要的理论贡献,在他的带领下,开发团队默默耕耘,历时多年,其间的艰辛坎坷自不必说,终于达到了第一个里程碑。

线性规划的单纯形算法是运筹与优化算法历史上第一个重要算法,由线性规划之父George Dantzig发明,是二十世纪最有影响力的十大算法之一,至今仍在国计民生的多个重要领域发挥着重要作用。

7月,杉数科技将召开一个新闻发布会,届时会在此链接:

https://www.shanshu.ai/product/optimization

放出可下载的商用版本,也会坚持教育版本和学术版本免费的方针开放给公众。

下边两图为Mittelmann测试结果的截屏。

因为2018年底众所周知的原因,Gurobi,Xpress与CPLEX退出了测试榜单,非常遗憾没有机会可以同台竞技一较短长。根据推出之前最后一次的测试结果,大致可推算出,COPT应该以比较明显的优势领先于CPLEX,逊于Gurobi和Xpress。但基本大家处在了同一个水平线上,殊为不易。可以自豪地说,在求解器这个运筹学最具有代表性的竞技舞台上,我们代表中国,赢得了值得尊敬的一席之地。

下图左侧为2018年Mittelman榜单结果,右为我们内部测试结果。

接下来杉数还要继续致力于线性规划内点算法版本和混合整数规划的开发,这是一段更为艰辛的旅程,道阻且长,唯有更加努力。