8 月 18 日消息,阿里巴巴达摩院研发的数学规划求解器参加国际权威榜单测评,在单纯形法测评中排名第一,打破世界纪录。这款拥有自主知识产权的求解器 MindOpt 现已用于阿里集团多个业务场景,包括云计算资源调度、金融资金分配、新零售智能营销等。
数学规划,简而言之就是将复杂的现实问题建模成数学问题,并用数学方法进行求解的过程。小到商铺选址、仓库调货,大到物流网络车辆调度和路径规划、金融行业的信贷风控和资产配置,都可建成数学规划模型,求取最优解。人们常说的智能决策,其 “智能”引擎之一就是数学规划。
求解器是求解数学规划问题的软件,技术壁垒高、研发难度大,国内具备研发能力的团队屈指可数。
图为 Mittelmann 榜单公布的测评成绩,“40”是指 MindOpt 成功求解了全部 40 个线性规划问题,同时 MindOpt 求解速度最快,其求解时间作为基准时间 “1”
达摩院决策智能实验室推出的 MindOpt 是一款具备线性规划等多种功能的求解器,其中单纯形法模块首先发布,并参加了求解器领域最权威的国际第三方测评 -- 美国亚利桑那州立大学 Hans Mittelmann 教授维护的榜单。MindOpt 以快于第二名 10% 的速度优势,成功求解出了测评榜单中的全部 40 个线性规划问题。