結果が得られないときには【GLPK】

<--目次へ

すぐに止まってしまう

PROBLEM HAS NO PRIMAL FEASIBLE SOLUTION
とメッセージが出て停止した時には、条件を満たす答えがないということです。まず制約条件を外して試してください。どこかに全ての制約条件を満たさない条件があるです。

結果が収束しない

minisatが使えるとき

--minisatをオプションで指定すると早く収束することがあります。
GLPKのプログラムをMiniSatで動かす
を参考に

結果が収束しないとき

+ 31902: mip =     not found yet >=  -8.812395258e-15        (449; 28)
+ 36342: mip =     not found yet >=  -8.812395258e-15        (497; 29)
+ 40006: >>>>>   3.840489845e+01 >=  -8.812395258e-15 100.0% (603; 29)
+ 42602: mip =   3.840489845e+01 >=  -8.812395258e-15 100.0% (637; 38)
+ 45360: mip =   3.840489845e+01 >=  -8.812395258e-15 100.0% (674; 40)

のように上限がnot found yetではなく、 3.840489845e+01のように数字が表示されるようになるのであれば、--tmlim 120のように実行時間の上限をoptionで設定することで、途中で打ち切って許容解を返してくれます。