作者unisun (:))
看板NTUGIEE_EDA
标题Re: [心得] glpk
时间Sun Oct 19 16:01:38 2008
※ 引述《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
1F：推 yellowfishie:scip 是 non-commercial 最快的!? 10/19 18:55
2F：推 yellowfishie:不过现在的问题是 memory = =+ 10/19 19:01
3F：→ unisun:scip的网页上面说的~~ 10/19 21:57
4F：推 aknow:开大 swap 可以解决吗？ 10/20 11:38