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