8 月 18 日消息,阿里巴巴達(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)銷(xiāo)等。
數(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ò)車(chē)輛調(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)題。