日前，上海杉数科技开发的线性规划求解器在知名第三方评价网站亚利桑那大学魅力大山教授的测试集中排名第一，这是我国第一个自主开发的商业水平求解器。
关于求解器，很多人不太清楚。 其实，求解器就像运筹学中的“芯片”，大部分复杂系统的决策问题都需要使用数学规划求解器来寻求优化解决方案。 例如，数百家便利店应该如何布局才能覆盖尽可能多的人口呢？ 数百个物流机器人的前进道路该如何设计，才能最有效率，最不冲突？ 由于问题解决的规模越大越依赖求解器，物流交通、电网、航空、金融等行业有很多核心算法高度依赖求解器，但目前的高精度求解器依赖进口。
如何在短短几年内进入世界一流的商业索尔？ 解放日报上观新闻日前采访了杉数科技的共同创始人、首席科学官扎实的枫叶。 他还有一个身份是上海财经大学交叉科学研究院院长。
帮助300多家永辉便利店覆盖上海半数人口
不久前，国家电网与杉数科技合作，达成了合作意向。 “美国电网从几十年前就结合数学模型和求解器解决了采购课题。 》坚定的枫叶告诉了解放日报上观新闻记者。
2009年，坚定的枫叶获得斯坦福大学运筹学博士学位回国。 他的导师魅力池教授是冯诺依曼奖迄今为止唯一的中国获奖者。 在一次谈话中，魅力池教授鼓励坚定的枫叶做中国人自己的求解器。 坚实的枫叶队在上海财经大学做了第一个开源求解器。 他们开发的求解器有一个很有意义的名字LEAVES (叶)，向bbdkj表示敬意，取叶的多个意思，有并行计算的意义。 LEVAES在小规模问题上表现出色，体系结构稳定，但性能无法与业务解决方案相比。 在研究开发过程中，扎实的枫叶觉得有必要借助资本力量来推进。 于是，杉数科技2016年成立后，以提供国产化求解器和运筹学解决方案为目标，4位联合创始人是斯坦福大学毕业的博士。
5G基站的信号能够动态、实时、高效、智能地覆盖用户，因此需要基于用户需求跟踪和预测进行实时调整，背后的算法涉及物理规律和复杂的不连续系统，是国际上的技术难点。 在杉数科技的帮助下，一家科技公司设计了自己的算法，大大提高了效率。
便利店该怎么选址呢？ 光看人群的热望是不够的。 杉数科技引进运筹学全球优化模型，以求解器为核心引擎进行计算，300多家永辉便利店覆盖了上海半数人口。
滴滴打车很早就实现了全空间的优化分装系统，随后系统升级，引入时间轴，与杉数科技合作，考虑到未来几个小时内的全球优化，提供了新的解决问题的逻辑和框架。 虽然分配给某个乘客的未必是最近的司机，但针对全城的出租车需求削峰填谷是更大的优化。
救护车的调度和航班计划可以转换为数学模型进行求解
今年5月，全球知名求解器测试平台吸引力大山测试页显示，上海杉数科技线性规划求解器以明显优势占据首位，其速度目前比第二名快了50%以上。 美国亚利桑那州立大学汉斯魅力大山教授维持的这个测试网站提供了多个商业和开源数学规划师的评价数据。 近年来，这一评价成为潜在客户了解和选择求解器的窗口，在求解器行业也成为软件性能排名的事实基准。
由于某种商业原因，英美3家知名商业soll于2018年底退出了此次测评，但根据历史数据，作为国内目前唯一致力于开发求解器的上海杉数科技，实力不容小觑，其测试速度已经是世界级商业sole的“海外研究求解器已经有30多年的历史，我们才刚刚开始，有信心能做得更好！ ’坚定的枫叶说。
关于求解器的应用场景，中国运输学会理事长豁达的画板研究员有这样的比喻。 求解器就像计算机的操作系统，解决不同问题的数学模型是一个一个的软件。 这表示一个求解器可以派生许多垂直的场景。 这些场景看起来大不相同，但本质上是相通的。 “救护车的调度、航班计划、库存优化、这些数据到决策的转换工作，都可以利用运筹学模型和机器学习将实际问题转换成数学模型来求解。 我们现在拥有30多件知识产权，预计一两年后达到100件”对于未来的前景，枫叶犹豫不决。
专栏主编：黄海华文字编辑：黄海华问题图源：视觉中国照片编辑： jddyx