全部產品
Search
文件中心

Optimization Solver:常見問題FAQ

更新時間:Jun 30, 2024

最佳化求解器當前可以快速求解大規模線性規劃LP、混合整數線性規劃MILP、凸二次規劃QP問題,目前支援命令列和C、C++、Python、Java的API調用,可在Windows,macOS和Linux系統下使用。 有範例程式碼和案例分析講解如何使用,免費。運行產生異常請查看下面排查方法。

軟體支援功能

問:當前的MindOpt最佳化求解器具備什麼功能?

答:當前上線了數學規劃求解能力,其中線性規劃(Linear Programming,LP)效能世界前列,包含單純形法、內點法、並發法、大規模網路流等。新版本支援混合整數線性規劃MILP、凸二次規劃QP、半定規劃SDP問題求解。其中LP和SDP效能世界前列水平。

問:支援混合整數規劃(MIP)求解嗎?

答:整型變數的問題,如混合整數規劃(Mixed Integer Programming,MIP),已經在V0.20.x版本上線,去下載新版。當前開放部分邀測名額中,效能還在繼續調優中。

問:是否還有其他的求解功能?

答:最佳化求解器產品包含有數學規劃求解、黑盒最佳化、線上最佳化,當前數學規劃求解會不定期更新版本線上上,其他的能力僅支援線下提供,如有使用需求,歡迎聯絡我們

系統相容和程式設計語言

問:最佳化求解器的SDK程式設計語言支援什嗎?

答:目前已經上線支援了 C、C++、Python、Java。您需要的版本如果沒有上線,可把您的需求發給我們。

問:最佳化求解器的SDK支援什麼作業系統?國產作業系統能支援嗎?

答:目前支援Linux、Windows、macOS系統。國產作業系統也支援,如凝思等。如果使用過程中遇到系統不相容情況,可以聯絡我們

最佳化求解器的SDK是否支援ARM?

答:ARM已經在上線流程中,請耐心等待。

效能怎麼樣

問:最佳化求解器的求解精度如何?

答:MindOpt目前提供的線性規劃組件可以求解至精確解(誤差1e-10及更小),也可以根據您的需求自己設定求解精度(比如1e-6,1e-8等)。

問:最佳化求解器支援多大規模的問題求解?求解變數的規模?

答:目前可以支援到千萬層級規模的問題,變數數也可以達到幾百萬甚至更多。

教學材料

問:求解器是否有教學材料?它看起來太抽象,不好用。

答:

  • 我們2021年元旦有把同款求解器軟體上線了阿里雲-天池平台https://tianchi.aliyun.com/mindopt,線上會提供免費的雲端Linux機器,可線上免費使用求解器,同時我們提供了多個案例教程和原始碼,講解求解器可以解決的問題、數學建模和調用求解器的代碼。您可以線上根據教程來一步步操作。

  • 2022年起,我們上線了雲上建模求解平台https://opt.aliyun.com,可以運用建模語言來建模和調用求解器,使用更方便,並且同樣提供了案例供學習。

  • 也歡迎您幫忙多提些改善求解器入門教學的建議~

問:能否提供一些應用案例介紹?

答:雲上建模求解平台https://opt.aliyun.com的案例廣場和天池的頁面上有簡化了的應用案例介紹 https://tianchi.aliyun.com/mindopt

安裝問題

問:安裝好複雜,應該怎麼操作?

答:

  • 請根據求解器SDK下載和安裝來下載軟體和安裝,並根據指引的方式來配置鑒權檔案fl_client.ini。預設的安裝包安裝了的是C、C++的APIs,如果有Python需要再另外安裝,Java需增加Maven庫依賴。還可以參考視頻專區來操作。

  • 同時,MindOpt線上平台https://opt.aliyun.com)正在邀測中,無需安裝,瀏覽器訪問Notebook環境,支援Python編程和Terminal直接運行,有案例廣場一步步學習如何分析問題和建模,以及學習如何用代數建模語言定義問題和調用求解器,更易於上手。

問:各種環境變數的作用是什嗎?

答:Windows系統上在安裝和卸載時,會自動修改環境變數MINDOPT_HOMEPath,指向的是求解器的安裝目錄。MINDOPT_LICENSE_PATH 環境變數定義的是鑒權檔案儲存體的地址,需要使用者自行添加。

問:安裝提示應用無法運行?

答:請按照以下順序排查,

1. 檢查作業系統版本,需要64位x86;

2. 如果作業系統有提示“無法運行”、“未知應用”等資訊,請網路搜尋相應的解決方案,給本軟體運行許可權,不同系統處理方式不一樣。

3. 如果安裝完後提示無法定位動態連結程式庫等,請根據步驟重複安裝後重試,注意python是還需要多一個安裝步驟的。

如果重複安裝後還是提示如無法定位動態連結程式庫,可能是求解器依賴的庫與本機其他軟體依賴的版本不一致,可將求解器的環境變數上移,如在Windows系統中環境變數Path裡將求解器相關的上移。

4. 如果還未解決,請聯絡我們

求解時參數設定

問:當前開放哪幾種求解方案,請問有什麼區別呀?我需要選擇哪一個?

答:當前我們提供了Simplex(單純形法)、IPM(Interior Point Method,內點法)、Concurrent(並發最佳化)演算法。在求解時,預設的求解流程和這3種方法的不同的效果說明見求解時的參數設定。不同的演算法選擇對記憶體的使用量、求解速度會不同,如果您的計算資源緊張,可以指定某一種求解方法。

使用和異常處理方案

問:最佳化求解器之前也有個線上使用者文檔,我該看哪個?

答:如果您是從阿里雲平台下載的軟體包,建議您先從本文件庫查看軟體的下載、安裝、運行方式。由於求解器APIs數目很多,這部分介紹我們會外鏈原來的文檔,且求解器我們還在不斷更新開發中,迭代更新的APIs的介紹會更及時地更新在外鏈文檔上。

問:我的求解任務失敗了,如何查看是什麼原因?

答:請查看軟體返回的錯誤碼,參閱錯誤碼來查詢。

問:為什麼我求解的過程中軟體突然崩了?

答:請檢查是否是記憶體不夠,大規模的問題會耗費比較大的記憶體。如果不能解決,請聯絡我們

計費和收費方式

問:有沒有免費版本呢?

答:發行的所有版本都是免費使用的,阿里雲帳號去0元開通購買即可使用。當前支援線性規劃LP、混合整數線性規劃MILP、凸二次規劃QP問題的求解。如果本軟體不滿足您的需求,您可聯絡我們提出需求,或諮詢付費定製版本。

問:有沒有收費的版本?

答:發行的所有版本都是免費使用的,所有阿里雲使用者去0元開通購買即可使用。定製化調優的需求會收費,如果您有對應需求可聯絡我們幫您介紹線下專案業務員。