杉數求解器COPT 7.0亮點
①混合整數規劃求解器取得突破性提升,性能全面領先CPLEX。
②在多個領域實際應用中,MIP求解器進步顯著,相較去年5.0版本,求解速度提升十至百倍。
③二階錐規劃求解器性能大幅提升,趕超Mosek,ASU測評榜排名世界第一。
④新增在線許可(Web License)授權方式,支持云端部署。
杉數求解器最新版本COPT 7.0正式發布。此次升級的COPT 7.0版本大幅提升了混合整數規劃和二階錐規劃求解器的性能,進一步提高了線性規劃等求解模塊的速度和穩定性,并在第三方數學優化軟件測評平臺ASU測評榜上,取得了6項第一、4項第二的成績。其中線性規劃的最優數值解和最優頂點解兩個榜單均排名世界第一,SOCP榜單排名世界第一,MIP榜單排名世界第二。
與此同時,COPT 7.0新增在線許可(Web License)授權方式,拓寬了COPT的部署方式,為企業生產等云端使用場景提供靈活、快捷的選擇。
歡迎新用戶前往杉數官網 申請試用COPT最新版本,老用戶需重新安裝COPT并更新license文件。作為對廣大用戶的回饋,針對學術用戶,重新申請后將再次獲得365天免費試用權限。
混合整數規劃(MIP)求解器性能再獲突破,全面領先CPLEX
混合整數規劃求解器實際應用廣泛,開發難度也遠高于線性規劃等其他模塊,因此MIP求解性能也是業界最為關注的、評估優化軟件水平的重要標準。COPT自從發布以來,一直致力于該模塊的研發,終于取得了突破性的提升。據近期“數據魔術師”發布的測評結果,COPT最新推出的7.0版本,求解性能已大幅領先歐美廠商CPLEX最新版22.1,不但可求解的問題數量更多,并且相對求解時間也快出33%之多,這也是國產求解器發展具有里程碑意義的成果。
下圖為MIPLIB測評集上,COPT各迭代版本的性能測評結果,未解出問題數量逐漸減少,加速比逐漸提升。杉數求解器團隊也將持續努力取得更多進步,歡迎大家保持關注!
注:
1. 數據來源:Benchmarks for Optimization Software by Prof. Hans Mittlemann. (https://plato.asu.edu/bench.html)
2. “未解出數量”表示在MIPLIB 2017算例集(240個算例)中,COPT每次更新版本未能解出的問題數量;
3. “加速比”表示相較于V2.0版本,COPT每次更新版本的相對求解速度。
杉數求解器功能的不斷完善以及求解性能的持續提升,得益于在客戶項目中的落地實踐、經驗積累以及參數的不斷優化。除公開測評榜單之外,在多個領域的實際應用中,COPT最新版本7.0的性能表現也有著顯著進步,相比于去年發布的COPT 5.0版本,實現十倍至百倍的提升。以下是在真實MIP算例上,COPT各版本測試的求解時間對比:
SOCP求解器性能大幅提升,ASU測評榜排名世界第一
ASU測評榜是由美國亞利桑那州立大學Hans Mittelmann教授維護的維護的第三方國際權威數學優化軟件測評平臺,其中選取工業界有代表性的實際問題作為算例,其測評得到求解器業界的一致認可。COPT 7.0在ASU測評榜上排名領先,取得了6項世界第一、4項世界第二的成績。值得一提的是,針對在金融領域有著重要且廣泛應用場景的二階錐規劃(SOCP)問題,COPT 7.0版本求解性能大幅提升,超過多年來專攻此項的丹麥廠商Mosek,達到世界第一水平。這是繼6.5版本的MIQP模塊超過Gurobi取得第一后,COPT在非線性模塊取得的又一突破。以下將對該榜單上,COPT所有求解模塊的測評結果展開介紹:
1.線性規劃模塊保持領先,最優頂點解和最優數值解兩個榜單均排名世界第一
LP-最優頂點解榜單和LP-最優數值解榜單:COPT 7.0均排名第一
2.MIP模塊大幅提升,與第一名差距進一步縮小
COPT 7.0版本的MIP求解性能取得了突破性的大幅提升,在MIP測評榜的3個榜單中均排名世界第二,綜合求解性能和第一名差距進一步縮小。
COPT 7.0混合整數規劃(MIP)模塊測評結果
3.非線性規劃模塊新增SOCP世界第一
在非線性規劃求解模塊中,COPT 7.0的測評結果獲得4項世界第一,1項世界第二。其中,二階錐規劃模塊超過Mosek,斬獲測試榜單第一。
COPT 7.0 二階錐規劃(SOCP)求解模塊測評結果
COPT 7.0支持求解的問題類型及最新性能測評結果匯總如下表所示:
注:上表數據來源于美國亞利桑那州立大學Hans Mittelmann 教授維護的國際權威數學優化軟件測評平臺 http://plato.asu.edu/bench.html 2023年10月17日的測評結果。
新增在線許可授權方式,支持云端部署
COPT 的在線許可(Web License)授權為用戶提供遠程授權服務,無論客戶端是位于云端還是容器內,只要能通過 HTTPS 協議訪問 Internet,就可以從 COPT 的 Web License 授權服務端獲取 Token 來運行 COPT,無需綁定任何硬件信息,支持跨版本使用。 相比于已有的傳統授權方式,在線許可不受限于固定硬件環境,為企業和高校云端生產環境中進行服務的遷移、切換和擴容等使用場景提供快捷、靈活的支持。
同時,對應于傳統的授權方式,在線許可也包括:在線服務器許可(Web License-Server)、在線浮動許可(Web License-Floating)和在線集群許可(Web License-Cluster)這三個子類別。
1. 在線服務器許可 (Web License-Server)
面向個人試用及商業用戶:支持在云端部署運行 COPT 的服務器(無需綁定任何機器的硬件信息),服務器上可以同時進行多個建模和求解任務。
2. 在線浮動許可 (Web License-Floating)
面向商業用戶:支持在云端部署浮動令牌服務器作為服務端(該臺服務器需連接互聯網,通過在線許可獲取遠程授權),為局域網內的其他機器(客戶端)進行授權運行 COPT。
3. 在線集群許可 (Web License-Cluster)
面向商業用戶:支持在云端設置一臺或多臺計算集群服務器,可以在局域網內的本地機器(客戶端)上進行建模,在遠程集群服務器(服務端)求解,以高效利用服務器強大的計算資源。
我們提供了Web License用戶端使用網頁 https://copt.shanshu.ai/license 。注冊登陸后,即可在網頁直接申請獲取上述三種類型的在線許可,獲取授權配置文件,并對token占用、機器使用情況等進行管理。
Web License網頁端界面
此外,為了給用戶提供更加友好的使用體驗,我們也籌備了COPT的在線資源頁,將匯集使用指南、常見問題、示例代碼、下載動態等,以模塊化的內容清晰呈現,方便用戶隨時查閱以及獲取產品最新動態,即將于近期在杉數官網上線,敬請期待!
杉數求解器COPT簡介
COPT 7.0可用于高效、穩定地求解線性規劃、混合整數規劃、(混合整數)二階錐規劃、半定規劃、(混合整數)凸二次規劃和(混合整數)凸二次約束規劃問題。此外,COPT還提供豐富友好的用戶輔助功能,主要包括:
1. 針對不可行問題的分析功能:計算不可行模型的最小沖突集(Irreducible Inconsistent Subsystem,簡稱IIS),計算可行化松弛(Feasibility Relaxation,簡稱FeasRelax);
2. 針對MIP問題的高級控制功能:設置MIP初始解、Callbacks功能;
3. 針對優化參數的自動調優工具:COPT Tuner;
4. COPT Python接口支持矩陣建模方式和廣義約束等, 支持通過pip安裝和更新coptpy,提供的coptpy-stubs支持type hints。
COPT支持所有主流操作系統,如Windows、MacOS、Linux (包括龍芯架構、蘋果自研芯片和arm64芯片)。用戶可以從多種編程語言及建模工具中使用COPT,包括基于數據的C語言接口,面向對象的Python、C++、C#、Java接口,以及Julia、AIMMS、AMPL、GAMS、Pyomo、PuLP、CVXPY等第三方建模工具接口;同時也支持Matlab和Matlab-Yalmip接口。
此外,COPT支持多種部署方式。除了個人電腦、服務器之外,我們還提供在線許可、浮動許可和計算集群等高級部署方式,方便學校實驗室和公司生產環境等場景的使用。歡迎通過 杉數官網申請免費的個人試用版本;如需試用浮動授權、集群授權等版本,請通過杉數官網與我們取得聯系。
關鍵詞:
X 關閉
X 關閉
- 15G資費不大降!三大運營商誰提供的5G網速最快?中國信通院給出答案
- 2聯想拯救者Y70發布最新預告:售價2970元起 迄今最便宜的驍龍8+旗艦
- 3亞馬遜開始大規模推廣掌紋支付技術 顧客可使用“揮手付”結賬
- 4現代和起亞上半年出口20萬輛新能源汽車同比增長30.6%
- 5如何讓居民5分鐘使用到各種設施?沙特“線性城市”來了
- 6AMD實現連續8個季度的增長 季度營收首次突破60億美元利潤更是翻倍
- 7轉轉集團發布2022年二季度手機行情報告:二手市場“飄香”
- 8充電寶100Wh等于多少毫安?鐵路旅客禁止、限制攜帶和托運物品目錄
- 9好消息!京東與騰訊續簽三年戰略合作協議 加強技術創新與供應鏈服務
- 10名創優品擬通過香港IPO全球發售4100萬股 全球發售所得款項有什么用處?