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

數(shù)學(xué)規(guī)劃，簡而言之就是將復(fù)雜的現(xiàn)實(shí)問題建模成數(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)隊(duì)屈指可數(shù)。

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

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

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

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