阿裡巴巴-達摩院-決策智能實驗室研發的「MindOpt優化求解器」 釋出了新版本:V0.15.0,增加了網絡流求解子產品,在類似水管網、電網、公路網的排程和設計場景中可豐富應用,優化資源的使用。10月4号MindOpt首次參加了Mittelmann教授維護的業界權威求解器軟體榜單的 Large Network-LP Benchmark 評測,超越Gurobi和國内競品,獲得了第一。
網絡流 Large Network-LP 是什麼呢?MindOpt的新功能有什麼作用呢?
網絡是由節點和連線構成的圖。網絡流是一種類比于水流或者電流的通用數學模組化方法,可用于設計和排程水管網、電網、公路網。此外,還能幫我們找到最短的旅行路徑、最便捷的物流、最小延遲的通訊方式,甚至還能用于提高排班排産排程的效率和提升資源配置設定的公平性。是以,網絡流方法是交通、能源、通信、物流等多個領域的一個基礎優化工具。
數學上,網絡流是指圖中每條邊上流量,須介于上下界之間,除了指定的輸入輸出節點之外,其餘節點的流量必須守恒。通過對流量“收費”并找到最便宜的流量,我們能夠找到最短路徑,最大流/最小割,最小代價最大流,最小生成樹等特殊解,并能夠解決資源配置設定問題。如果,費用是線性的,網絡流便屬于一種特殊的線性規劃問題。這個性規劃的限制矩陣中,每一列隻有兩個非零元素:“1”和“-1”。這種結構帶來了許多優勢,比如,如果解存在,則多項式時間可獲得一個整數解(無需添加整數限制)!此外,普通計算機使用專用的網絡流算法,就能求解極其大規模的網絡流問題,并且速度比普通線性規劃要快得多。Simplex Method或者Interior-Point Method雖然依舊可用,但并不是網絡流問題的最好選擇。
阿裡巴巴旗下的菜鳥網絡早已實作了用于物流優化的網絡流方法。這次達摩院-決策智能實驗室釋出的是通用網絡流線性規劃求解器。不但遠快于Google的OR-Tools 和 LEMON開源求解器,更能媲美目前最好的商業求解器。經過Mittelmann教授的權威測試,MindOpt網絡流線性規劃已經達到世界領先水準,在包括有過萬節點數和過千萬邊的問題的測評集上,獲得第一,平均速度超過第二名37%。
榜單成績截圖:

重點!重點!重點!這個V0.15.0 新版本将上線在阿裡雲産品平台,而且依然是免費!免費!免費! 繼元旦MindOpt團隊在天池平台免費開放C/S後,收到了很多使用者回報需要單機運作版,MindOpt團隊同學就将此版本釋出到阿裡雲的産品平台,讓廣大開發者們可以自助下載下傳求解器SDK包和擷取授權碼 。自助下載下傳的MindOpt SDK更新了API,除了之前的C\C++\Python版本外,增加支援Java版本,并且在前兩個版本還增加支援了模組化工具 AMPL、Pyomo、PuLP。目前供下載下傳的是V0.14.0核心,這個最新的V0.15.0版本在完成最後的評測和整理後也馬上可以公開下載下傳啦~
下載下傳方式: 在阿裡雲上搜尋“優化求解器”,或直通車位址:
https://www.aliyun.com/product/ai/opt同時,本次在阿裡雲的産品平台上,MindOpt優化求解器還釋出了「黑盒優化」和「線上優化」算法,目前已支援線下輸出,有需要的朋友們根據産品頁面的“聯系我們”了解和擷取喲!