http://m.007sbw.cn 2023-10-19 16:01 來源:杉數(shù)科技
杉數(shù)求解器COPT 7.0亮點(diǎn)
①混合整數(shù)規(guī)劃求解器取得突破性提升,性能全面領(lǐng)先CPLEX。
②在多個(gè)領(lǐng)域?qū)嶋H應(yīng)用中,MIP求解器進(jìn)步顯著,相較去年5.0版本,求解速度提升十至百倍。
③二階錐規(guī)劃求解器性能大幅提升,趕超Mosek,ASU測(cè)評(píng)榜排名世界第一。
④新增在線許可(Web License)授權(quán)方式,支持云端部署。
杉數(shù)求解器最新版本COPT 7.0正式發(fā)布。此次升級(jí)的COPT 7.0版本大幅提升了混合整數(shù)規(guī)劃和二階錐規(guī)劃求解器的性能,進(jìn)一步提高了線性規(guī)劃等求解模塊的速度和穩(wěn)定性,并在第三方數(shù)學(xué)優(yōu)化軟件測(cè)評(píng)平臺(tái)ASU測(cè)評(píng)榜上,取得了6項(xiàng)第一、4項(xiàng)第二的成績。其中線性規(guī)劃的最優(yōu)數(shù)值解和最優(yōu)頂點(diǎn)解兩個(gè)榜單均排名世界第一,SOCP榜單排名世界第一,MIP榜單排名世界第二。
與此同時(shí),COPT 7.0新增在線許可(Web License)授權(quán)方式,拓寬了COPT的部署方式,為企業(yè)生產(chǎn)等云端使用場(chǎng)景提供靈活、快捷的選擇。
歡迎新用戶前往杉數(shù)官網(wǎng) 申請(qǐng)?jiān)囉肅OPT最新版本,老用戶需重新安裝COPT并更新license文件。作為對(duì)廣大用戶的回饋,針對(duì)學(xué)術(shù)用戶,重新申請(qǐng)后將再次獲得365天免費(fèi)試用權(quán)限。
混合整數(shù)規(guī)劃(MIP)求解器性能再獲突破,全面領(lǐng)先CPLEX
混合整數(shù)規(guī)劃求解器實(shí)際應(yīng)用廣泛,開發(fā)難度也遠(yuǎn)高于線性規(guī)劃等其他模塊,因此MIP求解性能也是業(yè)界最為關(guān)注的、評(píng)估優(yōu)化軟件水平的重要標(biāo)準(zhǔn)。COPT自從發(fā)布以來,一直致力于該模塊的研發(fā),終于取得了突破性的提升。據(jù)近期“數(shù)據(jù)魔術(shù)師”發(fā)布的測(cè)評(píng)結(jié)果,COPT最新推出的7.0版本,求解性能已大幅領(lǐng)先歐美廠商CPLEX最新版22.1,不但可求解的問題數(shù)量更多,并且相對(duì)求解時(shí)間也快出33%之多,這也是國產(chǎn)求解器發(fā)展具有里程碑意義的成果。
下圖為MIPLIB測(cè)評(píng)集上,COPT各迭代版本的性能測(cè)評(píng)結(jié)果,未解出問題數(shù)量逐漸減少,加速比逐漸提升。杉數(shù)求解器團(tuán)隊(duì)也將持續(xù)努力取得更多進(jìn)步,歡迎大家保持關(guān)注!
注:
1. 數(shù)據(jù)來源:Benchmarks for Optimization Software by Prof. Hans Mittlemann. (https://plato.asu.edu/bench.html)
2. “未解出數(shù)量”表示在MIPLIB 2017算例集(240個(gè)算例)中,COPT每次更新版本未能解出的問題數(shù)量;
3. “加速比”表示相較于V2.0版本,COPT每次更新版本的相對(duì)求解速度。
杉數(shù)求解器功能的不斷完善以及求解性能的持續(xù)提升,得益于在客戶項(xiàng)目中的落地實(shí)踐、經(jīng)驗(yàn)積累以及參數(shù)的不斷優(yōu)化。除公開測(cè)評(píng)榜單之外,在多個(gè)領(lǐng)域的實(shí)際應(yīng)用中,COPT最新版本7.0的性能表現(xiàn)也有著顯著進(jìn)步,相比于去年發(fā)布的COPT 5.0版本,實(shí)現(xiàn)十倍至百倍的提升。以下是在真實(shí)MIP算例上,COPT各版本測(cè)試的求解時(shí)間對(duì)比:
SOCP求解器性能大幅提升,ASU測(cè)評(píng)榜排名世界第一
ASU測(cè)評(píng)榜是由美國亞利桑那州立大學(xué)Hans Mittelmann教授維護(hù)的維護(hù)的第三方國際權(quán)威數(shù)學(xué)優(yōu)化軟件測(cè)評(píng)平臺(tái),其中選取工業(yè)界有代表性的實(shí)際問題作為算例,其測(cè)評(píng)得到求解器業(yè)界的一致認(rèn)可。COPT 7.0在ASU測(cè)評(píng)榜上排名領(lǐng)先,取得了6項(xiàng)世界第一、4項(xiàng)世界第二的成績。值得一提的是,針對(duì)在金融領(lǐng)域有著重要且廣泛應(yīng)用場(chǎng)景的二階錐規(guī)劃(SOCP)問題,COPT 7.0版本求解性能大幅提升,超過多年來專攻此項(xiàng)的丹麥廠商Mosek,達(dá)到世界第一水平。這是繼6.5版本的MIQP模塊超過Gurobi取得第一后,COPT在非線性模塊取得的又一突破。以下將對(duì)該榜單上,COPT所有求解模塊的測(cè)評(píng)結(jié)果展開介紹:
1.線性規(guī)劃模塊保持領(lǐng)先,最優(yōu)頂點(diǎn)解和最優(yōu)數(shù)值解兩個(gè)榜單均排名世界第一
LP-最優(yōu)頂點(diǎn)解榜單和LP-最優(yōu)數(shù)值解榜單:COPT 7.0均排名第一
2.MIP模塊大幅提升,與第一名差距進(jìn)一步縮小
COPT 7.0版本的MIP求解性能取得了突破性的大幅提升,在MIP測(cè)評(píng)榜的3個(gè)榜單中均排名世界第二,綜合求解性能和第一名差距進(jìn)一步縮小。
COPT 7.0混合整數(shù)規(guī)劃(MIP)模塊測(cè)評(píng)結(jié)果
3.非線性規(guī)劃模塊新增SOCP世界第一
在非線性規(guī)劃求解模塊中,COPT 7.0的測(cè)評(píng)結(jié)果獲得4項(xiàng)世界第一,1項(xiàng)世界第二。其中,二階錐規(guī)劃模塊超過Mosek,斬獲測(cè)試榜單第一。
COPT 7.0 二階錐規(guī)劃(SOCP)求解模塊測(cè)評(píng)結(jié)果
COPT 7.0支持求解的問題類型及最新性能測(cè)評(píng)結(jié)果匯總?cè)缦卤硭荆?/p>
注:上表數(shù)據(jù)來源于美國亞利桑那州立大學(xué)Hans Mittelmann 教授維護(hù)的國際權(quán)威數(shù)學(xué)優(yōu)化軟件測(cè)評(píng)平臺(tái) http://plato.asu.edu/bench.html 2023年10月17日的測(cè)評(píng)結(jié)果。
新增在線許可授權(quán)方式,支持云端部署
COPT 的在線許可(Web License)授權(quán)為用戶提供遠(yuǎn)程授權(quán)服務(wù),無論客戶端是位于云端還是容器內(nèi),只要能通過 HTTPS 協(xié)議訪問 Internet,就可以從 COPT 的 Web License 授權(quán)服務(wù)端獲取 Token 來運(yùn)行 COPT,無需綁定任何硬件信息,支持跨版本使用。 相比于已有的傳統(tǒng)授權(quán)方式,在線許可不受限于固定硬件環(huán)境,為企業(yè)和高校云端生產(chǎn)環(huán)境中進(jìn)行服務(wù)的遷移、切換和擴(kuò)容等使用場(chǎng)景提供快捷、靈活的支持。
同時(shí),對(duì)應(yīng)于傳統(tǒng)的授權(quán)方式,在線許可也包括:在線服務(wù)器許可(Web License-Server)、在線浮動(dòng)許可(Web License-Floating)和在線集群許可(Web License-Cluster)這三個(gè)子類別。
1. 在線服務(wù)器許可 (Web License-Server)
面向個(gè)人試用及商業(yè)用戶:支持在云端部署運(yùn)行 COPT 的服務(wù)器(無需綁定任何機(jī)器的硬件信息),服務(wù)器上可以同時(shí)進(jìn)行多個(gè)建模和求解任務(wù)。
2. 在線浮動(dòng)許可 (Web License-Floating)
面向商業(yè)用戶:支持在云端部署浮動(dòng)令牌服務(wù)器作為服務(wù)端(該臺(tái)服務(wù)器需連接互聯(lián)網(wǎng),通過在線許可獲取遠(yuǎn)程授權(quán)),為局域網(wǎng)內(nèi)的其他機(jī)器(客戶端)進(jìn)行授權(quán)運(yùn)行 COPT。
3. 在線集群許可 (Web License-Cluster)
面向商業(yè)用戶:支持在云端設(shè)置一臺(tái)或多臺(tái)計(jì)算集群服務(wù)器,可以在局域網(wǎng)內(nèi)的本地機(jī)器(客戶端)上進(jìn)行建模,在遠(yuǎn)程集群服務(wù)器(服務(wù)端)求解,以高效利用服務(wù)器強(qiáng)大的計(jì)算資源。
我們提供了Web License用戶端使用網(wǎng)頁 https://copt.shanshu.ai/license 。注冊(cè)登陸后,即可在網(wǎng)頁直接申請(qǐng)獲取上述三種類型的在線許可,獲取授權(quán)配置文件,并對(duì)token占用、機(jī)器使用情況等進(jìn)行管理。
Web License網(wǎng)頁端界面
此外,為了給用戶提供更加友好的使用體驗(yàn),我們也籌備了COPT的在線資源頁,將匯集使用指南、常見問題、示例代碼、下載動(dòng)態(tài)等,以模塊化的內(nèi)容清晰呈現(xiàn),方便用戶隨時(shí)查閱以及獲取產(chǎn)品最新動(dòng)態(tài),即將于近期在杉數(shù)官網(wǎng)上線,敬請(qǐng)期待!
杉數(shù)求解器COPT簡介
COPT 7.0可用于高效、穩(wěn)定地求解線性規(guī)劃、混合整數(shù)規(guī)劃、(混合整數(shù))二階錐規(guī)劃、半定規(guī)劃、(混合整數(shù))凸二次規(guī)劃和(混合整數(shù))凸二次約束規(guī)劃問題。此外,COPT還提供豐富友好的用戶輔助功能,主要包括:
1. 針對(duì)不可行問題的分析功能:計(jì)算不可行模型的最小沖突集(Irreducible Inconsistent Subsystem,簡稱IIS),計(jì)算可行化松弛(Feasibility Relaxation,簡稱FeasRelax);
2. 針對(duì)MIP問題的高級(jí)控制功能:設(shè)置MIP初始解、Callbacks功能;
3. 針對(duì)優(yōu)化參數(shù)的自動(dòng)調(diào)優(yōu)工具:COPT Tuner;
4. COPT Python接口支持矩陣建模方式和廣義約束等, 支持通過pip安裝和更新coptpy,提供的coptpy-stubs支持type hints。
COPT支持所有主流操作系統(tǒng),如Windows、MacOS、Linux (包括龍芯架構(gòu)、蘋果自研芯片和arm64芯片)。用戶可以從多種編程語言及建模工具中使用COPT,包括基于數(shù)據(jù)的C語言接口,面向?qū)ο蟮腜ython、C++、C#、Java接口,以及Julia、AIMMS、AMPL、GAMS、Pyomo、PuLP、CVXPY等第三方建模工具接口;同時(shí)也支持Matlab和Matlab-Yalmip接口。
此外,COPT支持多種部署方式。除了個(gè)人電腦、服務(wù)器之外,我們還提供在線許可、浮動(dòng)許可和計(jì)算集群等高級(jí)部署方式,方便學(xué)校實(shí)驗(yàn)室和公司生產(chǎn)環(huán)境等場(chǎng)景的使用。歡迎通過 杉數(shù)官網(wǎng)申請(qǐng)免費(fèi)的個(gè)人試用版本;如需試用浮動(dòng)授權(quán)、集群授權(quán)等版本,請(qǐng)通過杉數(shù)官網(wǎng)與我們?nèi)〉寐?lián)系。