8 月 18 日消息,阿里巴巴達摩院研發(fā)的數學規(guī)劃求解器參加國際權威榜單測評,在單純形法測評中排名第一,打破世界紀錄。這款擁有自主知識產權的求解器 MindOpt 現已用于阿里集團多個業(yè)務場景,包括云計算資源調度、金融資金分配、新零售智能營銷等。
數學規(guī)劃,簡而言之就是將復雜的現實問題建模成數學問題,并用數學方法進行求解的過程。小到商鋪選址、倉庫調貨,大到物流網絡車輛調度和路徑規(guī)劃、金融行業(yè)的信貸風控和資產配置,都可建成數學規(guī)劃模型,求取最優(yōu)解。人們常說的智能決策,其 “智能”引擎之一就是數學規(guī)劃。
求解器是求解數學規(guī)劃問題的軟件,技術壁壘高、研發(fā)難度大,國內具備研發(fā)能力的團隊屈指可數。
圖為 Mittelmann 榜單公布的測評成績,“40”是指 MindOpt 成功求解了全部 40 個線性規(guī)劃問題,同時 MindOpt 求解速度最快,其求解時間作為基準時間 “1”
達摩院決策智能實驗室推出的 MindOpt 是一款具備線性規(guī)劃等多種功能的求解器,其中單純形法模塊首先發(fā)布,并參加了求解器領域最權威的國際第三方測評 -- 美國亞利桑那州立大學 Hans Mittelmann 教授維護的榜單。MindOpt 以快于第二名 10% 的速度優(yōu)勢,成功求解出了測評榜單中的全部 40 個線性規(guī)劃問題。