我国第一个自主研发的商业求解器,拿的这个“第一”意味着什么( 三 )

便利店该如何选址?仅仅看人群热力图是不够的。杉数科技引入了运筹学的全局优化模型,并用求解器作为核心引擎进行计算,助力300多家永辉便利店覆盖了上海大半数人口。

滴滴打车很早就做到了全空间的优化分单系统,后来系统升级,把时间轴拉进来,与杉数科技合作,考虑到未来几个小时内的全局优化,提供了新的解决问题逻辑和框架,虽然分配给某位乘客的不一定是距离最近的司机,但对于全城的打车需求做到了削峰填谷,是更大程度的优化。

救护车调度和航班规划,都可转化为数学模型求解

今年5月,世界知名求解器公测平台米特尔曼的测试网页显示,上海杉数科技的线性规划求解器以明显的优势占据了榜首的位置,其速度目前已经比第二名快了50%多。由美国亚利桑那州立大学汉斯·米特尔曼教授所维护的这一测试网站,提供了多个商业和开源的数学规划求解器的测评数据。近年来,这一测评成为了潜在客户了解和选择求解器的窗口,也被求解器业界奉为软件性能排名的事实标准。

尽管由于某种商业原因,英、美的三家知名商业求解器于2018年底退出了该测评,但根据历史数据推算,作为国内目前唯一一家致力于求解器研发的上海杉数科技,实力不容小觑,其测试速度已跻身世界顶尖商业求解器之列。“国外研究求解器已经有30多年历史,我们才刚刚起步,有信心做得更好!”葛冬冬说。

推荐阅读