8月18日消息,阿里巴巴達摩院研發的數學規劃求解器參加國際權威榜單測評,在單純形法測評中排名第一,打破世界紀錄。這款擁有自主智慧財產權的求解器MindOpt現已用於阿里集團多個業務場景,包括雲計算資源調度、金融資金分配、新零售智能營銷等。
數學規劃,簡而言之就是將複雜的現實問題建模成數學問題,並用數學方法進行求解的過程。小到商鋪選址、倉庫調貨,大到物流網絡車輛調度和路徑規劃、金融行業的信貸風控和資產配置,都可建成數學規劃模型,求取最優解。人們常說的智能決策,其「智能」引擎之一就是數學規劃。
求解器是求解數學規劃問題的軟體,技術壁壘高、研發難度大,國內具備研發能力的團隊屈指可數。
圖為Mittelmann榜單公布的測評成績,「40」是指MindOpt成功求解了全部40個線性規劃問題,同時MindOpt求解速度最快,其求解時間作為基準時間「1」
達摩院決策智能實驗室推出的MindOpt是一款具備線性規劃等多種功能的求解器,其中單純形法模塊首先發布,並參加了求解器領域最權威的國際第三方測評--美國亞利桑那州立大學Hans Mittelmann教授維護的榜單。MindOpt以快於第二名10%的速度優勢,成功求解出了測評榜單中的全部40個線性規劃問題。
中科院數學與系統科學研究院研究員戴彧虹評價,高性能科學計算軟體的開發,一直是工業界和學術界關心的問題,MindOpt登上國際第三方測評的單純形求解算法榜首,是中國企業近些年來在優化計算軟體領域取得的重要成功之一。
據悉,MindOpt已應用於雲計算等多項阿里業務,通過對彈性計算資源的調度優化,每年可為阿里雲節約數億元成本。達摩院求解器技術即將通過阿里雲對外輸出,達摩院團隊正在研發更多種類的數學規劃求解器,為社會提供穩定快速的智能決策求解能力。
(文章來源:C114通信網)