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

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

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

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

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

中科院數(shù)學(xué)與系統(tǒng)科學(xué)研究院研究員戴虹評(píng)價(jià)，高性能科學(xué)計(jì)算軟件的開(kāi)發(fā)，一直是工業(yè)界和學(xué)術(shù)界關(guān)心的問(wèn)題，MindOpt登上國(guó)際第三方測(cè)評(píng)的單純形求解算法榜首，是中國(guó)企業(yè)近些年來(lái)在優(yōu)化計(jì)算軟件領(lǐng)域取得的重要成功之一。

據(jù)悉，MindOpt已應(yīng)用于云計(jì)算等多項(xiàng)阿里業(yè)務(wù)，通過(guò)對(duì)彈性計(jì)算資源的調(diào)度優(yōu)化，每年可為阿里云節(jié)約數(shù)億元成本。達(dá)摩院求解器技術(shù)即將通過(guò)阿里云對(duì)外輸出，達(dá)摩院團(tuán)隊(duì)正在研發(fā)更多種類的數(shù)學(xué)規(guī)劃求解器，為社會(huì)提供穩(wěn)定快速的智能決策求解能力。