達(dá)摩院求解器升級(jí)覆蓋黑盒優(yōu)化難題
10月21日,在杭州云棲大會(huì)上,阿里巴巴達(dá)摩院發(fā)布求解器MindOpt全新版本,在原有“線性規(guī)劃”基礎(chǔ)上新增“黑盒優(yōu)化”、“在線優(yōu)化”等重點(diǎn)功能,并開放單機(jī)版下載,為企業(yè)和科研人員提供免費(fèi)的優(yōu)化能力。
求解器是求解數(shù)學(xué)規(guī)劃問題的軟件,廣泛應(yīng)用于云計(jì)算、零售、金融、制造、交通、能源等領(lǐng)域,是深埋于智能決策場(chǎng)景底層的“終極利器”。求解器研發(fā)難度大,而黑盒優(yōu)化則是難中之難,它主要是針對(duì)優(yōu)化目標(biāo)和約束條件無直接描述的黑盒復(fù)雜系統(tǒng)。由于缺失函數(shù)的一階和二階導(dǎo)數(shù)信息,因此無法使用經(jīng)典優(yōu)化方法,只能通過試驗(yàn)或模擬仿真不斷獲取目標(biāo)和約束的估值,盡可能接近全局最優(yōu)解。一個(gè)典型案例就是工廠煉鋼投料配比的問題,要用最小的成本實(shí)現(xiàn)最佳產(chǎn)出,就需要引入黑盒優(yōu)化技術(shù)。
煉鋼投料配比問題
達(dá)摩院求解器MindOpt的黑盒模塊這次新增了ZORO和CobBO兩種高效的針對(duì)高維黑盒問題的算法,可以更快地得到可行解,且目標(biāo)值往往更優(yōu),在煉鋼投料配比中的表現(xiàn)比之前最佳算法提升兩倍多,能夠幫助企業(yè)降本增效。為了加速黑盒優(yōu)化的發(fā)展,達(dá)摩院聯(lián)合阿里云天池推出了黑盒優(yōu)化數(shù)據(jù)集和在線測(cè)評(píng)榜RABBO,提供來自實(shí)際應(yīng)用的黑盒問題及評(píng)測(cè)方案,幫助研究人員不斷打磨算法,以此推動(dòng)整個(gè)研究領(lǐng)域的進(jìn)步。
據(jù)了解,由于技術(shù)壁壘高,幾十年來,高性能商用求解器技術(shù)始終由少數(shù)歐美企業(yè)主導(dǎo)。達(dá)摩院自主研發(fā)出求解器MindOpt,首先用于阿里云計(jì)算資源調(diào)度優(yōu)化,一年節(jié)省成本數(shù)億元。去年12月底,達(dá)摩院求解器向社會(huì)免費(fèi)開放測(cè)試,是國內(nèi)首個(gè)免費(fèi)開放的商用求解器。當(dāng)前版本能夠用單純形法、網(wǎng)絡(luò)流法、內(nèi)點(diǎn)法來解決線性規(guī)劃問題,實(shí)力強(qiáng)勁,其中前兩項(xiàng)當(dāng)前名列國際權(quán)威的Mittelmann榜單第一名。