8 月 18 日消息，阿里巴巴達摩院研發(fā)的數(shù)學規(guī)劃求解器參加國際權(quán)威榜單測評，在單純形法測評中排名第一，打破世界紀錄。這款擁有自主知識產(chǎn)權(quán)的求解器 MindOpt 現(xiàn)已用于阿里集團多個業(yè)務場景，包括云計算資源調(diào)度、金融資金分配、新零售智能營銷等。

數(shù)學規(guī)劃，簡而言之就是將復雜的現(xiàn)實問題建模成數(shù)學問題，并用數(shù)學方法進行求解的過程。小到商鋪選址、倉庫調(diào)貨，大到物流網(wǎng)絡車輛調(diào)度和路徑規(guī)劃、金融行業(yè)的信貸風控和資產(chǎn)配置，都可建成數(shù)學規(guī)劃模型，求取最優(yōu)解。人們常說的智能決策，其 “智能”引擎之一就是數(shù)學規(guī)劃。

求解器是求解數(shù)學規(guī)劃問題的軟件，技術(shù)壁壘高、研發(fā)難度大，國內(nèi)具備研發(fā)能力的團隊屈指可數(shù)。

圖為 Mittelmann 榜單公布的測評成績，“40”是指 MindOpt 成功求解了全部 40 個線性規(guī)劃問題，同時 MindOpt 求解速度最快，其求解時間作為基準時間 “1”

達摩院決策智能實驗室推出的 MindOpt 是一款具備線性規(guī)劃等多種功能的求解器，其中單純形法模塊首先發(fā)布，并參加了求解器領域最權(quán)威的國際第三方測評 -- 美國亞利桑那州立大學 Hans Mittelmann 教授維護的榜單。MindOpt 以快于第二名 10% 的速度優(yōu)勢，成功求解出了測評榜單中的全部 40 個線性規(guī)劃問題。