推 yellowfishie:scip 是 non-commercial 最快的!? 10/19 18:55
推 yellowfishie:不過現在的問題是 memory = =+ 10/19 19:01
→ unisun:scip的網頁上面說的~~ 10/19 21:57
推 aknow:開大 swap 可以解決嗎？ 10/20 11:38
※ 引述《yellowfishie (喵喵喵喵~~~)》之銘言：
: 請問有沒有辦法把一台 server 的 ram 加到 32GB?
: 我有 3 個 case glpk 跑不出來，因為 memory (16GB)不夠用。
: D. Z. Pan 的 paper 上寫他們有台
: Intel Core 3.GHz Linux machine with 32G RAM...
: ※ 引述《nextme (^^ 嘿嘿嘿)》之銘言：
: : 我也試過這個，不過......
: : 對我來說，這好像還是只能for small cases
: : 我記得GW那邊有個LP solver的競賽表
其他不錯的ILP solver
1. scip (http://scip.zib.de/)
"SCIP is currently one of the fastest non-commercial mixed integer programming
solver."
It also provides source code. Based on my experiences, it is faster than GLPK.
2. minisat+ (http://minisat.se/MiniSat+.html)
A solver first transfers an 0-1 ILP formulation to the equivalent CNF and a SAT
solver is used to solve the boolean satisficability problem.
Based on my experience, you can notice the speed-up if there are thousands of
variables compared with GLPK. Note that all coefficients must be integers.
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 118.165.175.198