活動丨漲知識!優化軟體CPLEX, BARON, SCIP 中還有這些小心機!

活動丨漲知識!優化軟件CPLEX, BARON, SCIP 中還有這些小心機!

運籌學愛好者快點看過來在這裡一定會有你所感興趣的話題,讓你茅塞頓開。

這裡還有大牛經典語錄以及學界、業界前沿動態☝️定會讓你滿載而歸。

『運籌OR帷幄』建立的微信學術群共計10個,共計3500+人,群成員為全球華人Operations Research, Optimization, O.M., I.E., SCM,Data Science,Machine Learning, Computer Vision等方向的researchers,包括常青藤教授,各大Top互聯網公司大佬,世界各地知名大學OR相關的碩博,加群方式詳見文章底部。

【活動】版塊急需一至兩名志願者,如果你對微信號運營有興趣,或者想加入我們增長相關經驗,歡迎加入我們。具體可以在微信公眾號後臺回覆:“志願者”關鍵詞獲取詳細信息,申請時請註明【活動】版塊

   我們將開通OR/AI下面更細分領域的學術群,鼓勵相近領域的運籌學愛好者深度交流。上期文章我們進行了新開微信群的投票活動,下面讓我們一起來看一下投票結果吧!

活動丨漲知識!優化軟件CPLEX, BARON, SCIP 中還有這些小心機!

根據投票結果,我們將增加開通數據科學|挖掘和混合整數規劃的微信學術群,如果你是運籌學|人工智能碩博或在讀,請在公眾號後臺留言:“加微信群”。系統會進一步提示,邀請您進全球運籌或AI學者群(群內學界、業界大佬雲集)。

同時,也歡迎大家繼續在文末留言,說出你最想開設的領域的微信群~

溫馨提示:我們還有有【運籌|優化】【供應鏈|物流】【人工智能】【數據科學|分析】等運籌學|人工智能愛好者千人QQ群,請關注公眾號點擊“加入社區”按鈕,獲得入群傳送門。

下面就來看看我們第六期是整理了哪些話題吧.

2018年8月22日 Baron求解過大規模非線性問題誤差

(出自微信群: 【3】Global O.R./OM/IE Community)

北-敬一-計算機系統生物學:請問有誰用過Baron解過大規模非線性問題?我發現Baron得出來的解的誤差明顯大於設定的約束容差(feasibility tolerance),我的是一個混合整數雙線性問題,兩三萬個連續變量,十幾個整數變量,十幾個非線性約束。MATLAB/Baron界面,Baron版本均為最新。

留-海德堡-組合優化AI:tolerance指的是MIP Gap,還是某個約束的tolerance呢。Baron沒用過,向您學習一下。

北-敬一-計算機系統生物學:不是,我指的是對於一個約束的容差,就是你把解代入一個約束,得出來的值和約束的lhs,rhs(約束不等式兩邊的常數)的差值。

活動丨漲知識!優化軟件CPLEX, BARON, SCIP 中還有這些小心機!

北-敬一-計算機系統生物學:其實我將這個問題問過Baron的開發者,但他也不知道為什麼會這樣。

留-海德堡-組合優化AI:試著改改這個tolerance,再跑跑。另外可以再試試其他minlp solver,比如Couenne。

北-敬一-計算機系統生物學:Tolerance 為10e-7或10e-6,有些約束的誤差可以達到高於10e2,

目前只有Baron能求全局最優吧,還能怎麼改容差差,我本來設定的容差就不高,對於非線性問題好像只有Baron能全局最優吧。

留-海德堡-組合優化AI:大家多讀gurobi或者cplex關於分佈式算法的文檔吧,裡面寫的很清晰。minlp只是試圖全局最優吧?nonconvex的時候,u never know。

2018年8月27日    海德堡大學Panda

(出自微信群: Global O.R.optim PhD Community)

王-東北大學-動態優化:Panda 是 Porta 的新版本 有用過Porta或者 Panda的小夥伴可以交流一下。

留-海德堡-組合優化AI:我在美國做碩士論文求convex hull所有facets的時候還用過Porta,去了海德堡才意識到原來是這裡出品的。

王-東北大學-動態優化:最近有一篇論文 可以找到0-1混合整數規劃凸包的一般描述,需要藉助Porta軟件來實現。不過貌似Porta的算法是暴力計算,決策變量維數超過30,計算時間就超長。所以我在考慮它的新版本Panda。

留-海德堡-組合優化AI:類似的還有polymake,還有一個Magdeburg大學出品的軟件,忘了名字了。

ZHOU-Univ of kentucky:其他的軟件還有parma polyhedra library, cddlib, lrslib, 以及新出的Normaliz。

華-統計-交通優化:panda是python的庫?

Yin-SMU-Power Engineering Phd:這倆不是一個東西,py的庫叫pandas。

2018年8月28日IBM CPLEX 求解binary變量做post processing

(出自微信群: 【2】Global O.R./OM/IE Community)

Zelene-大連理工-優化:求教各位前輩,我在用IBM ILOG CPLEX IDE求解一個混合整數規劃模型時,把其中的一個二維決策變量定義為 float+ 類型,但在最後求得的結果裡,該變量還是出現了負數值,請問這是為什麼呢?如何可以修正?

留-海德堡-組合優化AI:決策變量不應該是binary麼

Zelene-大連理工-優化:我求解的是一個混合整數規劃模型,裡面有部分變量是連續型的,其中有一個要求是大於零的實數,所以我按照opl建模語言教程把它定義為float+。但不知為何求出來還是有小於零的值。

李-南航大-機場交通優化:那是近似解,有Gap,小於0的值應該很小,接近於0.binary是0-1變量類型的決策變量,但好多VRP問題會有binary類型變量和float+類變量。

留-海德堡-組合優化AI:科學計算都有numerical error。可以做一下post processing~例如binary變量,解出來很有可能是+-0.0000000001,需要做一下post processing,加個判斷語句,把這些變成0。

2018年8月29日  優化軟件 CPLEX & GUROBI &SCIP

(出自微信群: Global O.R./OM/IE Community)

李-西南交大-運輸優化系統:想問下我在用yalmip求解的時候,cplex和gurobi都能找到,可是為啥scip一直都是Solver not found,明明這三個軟件我都裝了~

小千-東普-數據分析:試試重新安裝一下,可能是註冊表信息損壞。

李-西南交大-運輸優化系統:嗯嗯,就是重新裝了兩遍~,還把原來舊的5.0.1卸載了,裝了新的6.0.0。然後我用path在matlab裡面搜,確實沒看到scip的path,cplex和gurobi的path都有,難道是scip沒寫matlab的接口?我確實在scip的安裝文件夾裡沒找到跟matlab相關的,裝完具體的solver軟件還需要在matlab裡面添加路徑嗎,我有點忘記了我之前裝cplex和gurobi時候的了~

活動丨漲知識!優化軟件CPLEX, BARON, SCIP 中還有這些小心機!

楊-西南交大-運籌優化:需要添加路徑。

李-西南交大-運輸優化系統:可是SCIP安裝文件夾裡面沒有m文件。

楊-西南交大-運籌優化:用yalmiptest 命令看看對應的solver是否起作用。

李-西南交大-運輸優化系統:添加了一堆空文件夾,yalmiptest查過了,SCIP就是 solver not found。

活動丨漲知識!優化軟件CPLEX, BARON, SCIP 中還有這些小心機!

楊-西南交大-運籌優化:沒用過scip,之前折騰過沒成功。

李-西南交大-運輸優化系統:那yalmip官網上都是騙人的,說可以支持scip,我之前折騰scip也沒成功,現在又要用還是不行~我去看看SCIP主頁上有沒有說相關情況。

楊-西南交大-運籌優化:可以發郵件問問Johan。

李-西南交大-運輸優化系統:哈哈,有道理!~可以試試,說不定下個release他就修復這個bug了

楊-西南交大-運籌優化:Scip對mip模型的效率沒有gurobi和cplex高。

李-西南交大-運輸優化系統:我主要看重SCIP能解nonlinea。但其實我感覺應該SCIP的問題,它安裝文件裡沒寫個m文件接入matlab,我看gurobi和cplex都有。

楊-西南交大-運籌優化:我用這兩個都沒問題。

李-西南交大-運輸優化系統:嗯嗯,我也是,cplex和gurobi都沒問題,但是這倆好像解不了nonlinear。

王-巴黎六大-運籌:有接口告訴我哈 我兩年前試過 沒找到接口

楊-西南交大-運籌優化:我之前scip沒弄成功啊。

伍-杉數科技:https://www.inverseproblem.co.nz/OPTI/這個的學術版提供了來布接口。

李-西南交大-運輸優化系統:

活動丨漲知識!優化軟件CPLEX, BARON, SCIP 中還有這些小心機!

伍-杉數科技:yalmip應該是依賴這個工具包。

李-西南交大-運輸優化系統:我好像看到了SCIP官網上說接口要自己整,附了code。

伍-杉數科技:

活動丨漲知識!優化軟件CPLEX, BARON, SCIP 中還有這些小心機!

王-巴黎六大-運籌:這個只能windows用,其他平臺不能用的 小心哈。

伍-杉數科技:我不用來布,opti的作者應該是提供了接口的源。

李-西南交大-運輸優化系統:我先看看SCIP的官網的,它好像附了code

伍-杉數科技:可以自行調整編譯,確實是依賴這個庫。

活動丨漲知識!優化軟件CPLEX, BARON, SCIP 中還有這些小心機!

王-巴黎六大-運籌:Opti是windows接口 其他都不能用。

伍-杉數科技:https://github.com/jonathancurrie/OPTI/tree/master/Solvers/Source/scip,這是接口源碼,我想有源碼可以調整調整,自己編譯一下,不是什麼難事

李-西南交大-運輸優化系統:恩,我就是在windows的~謝謝,我瞅瞅~SCIP官方在GitHub上的代碼已經放棄matlab了。。。

伍-杉數科技:這是opti的作者寫的。

李-西南交大-運輸優化系統:沒放matlab的,SCIP Interfaces · GitHub,https://github.com/SCIP-Interfaces。

活動丨漲知識!優化軟件CPLEX, BARON, SCIP 中還有這些小心機!

王-巴黎六大-運籌:沒必要scip 好多替代的solver啊。

李-西南交大-運輸優化系統:我剛剛看的scip官方的,除了lingo,其他解nonlinear的求解器我感覺我都用不了。scip是唯一開源的了。

王-巴黎六大-運籌:Ipopt

李-西南交大-運輸優化系統:我的是minlp,就這幾個裡面選,Baron下來應該就到scip了。

活動丨漲知識!優化軟件CPLEX, BARON, SCIP 中還有這些小心機!

伍-杉數科技:couenne目前只有ampl接口,opti也支持,當然也可以pyomo調用。

王-巴黎六大-運籌:Jump不支持嗎?

伍-杉數科技:支持,也是hook的nl那套。以ampl接口為原型。

李-西南交大-運輸優化系統:不過你說yalmip也用的OPTI Toolbox,為啥yalmip識別不出SCIP。

活動丨漲知識!優化軟件CPLEX, BARON, SCIP 中還有這些小心機!

伍-杉數科技:不用來布,不用yalmip。

李-西南交大-運輸優化系統:果然是要用它的code,不過不知道為什麼只能識別linear,卻識別不了nonlinear,應該還是它的bug,更新過一次patch的,

活動丨漲知識!優化軟件CPLEX, BARON, SCIP 中還有這些小心機!


原文鏈接:https://mp.weixin.qq.com/s/OmYUQO0RodcvPQdYAtkjng

版權說明:本文由『運籌OR帷幄』編譯整理,不作為商業用途,如有內容侵權,我們將隨時刪除。

歡迎查看原文,獲取更多訊息!


分享到:


相關文章: