数理最適化セミナーのご案内

2.8 シンセシスソルバー(synthesis)における出力

 シンセシスソルバー(synthesis)を用いた場合,[Progress]で始まるセクションでの実行経過の出力は次のようになり,求解の進行状況を確認できます.

#sol         upper         lower   gap(%)  time(s)  list  mem(MiB)
#1     2.18393e+07          -inf     +inf      0.5     0       196  sol: wls 
#2     2.18389e+07          -inf     +inf      0.5     0       196  sol: wls 
...
#68    1.58901e+07   1.44136e+07    9.292     17.4  1151       324  sol: wls 
#69    1.58794e+07   1.44139e+07    9.229     17.8  1472       324  sol: wls 
#70    1.58141e+07   1.44143e+07    8.852     19.0  1634       388  sol: cros 
#71    1.58007e+07   1.44143e+07    8.774     19.0  1634       388  sol: cros 

 sol:wls は,重み付き局所探索法によって実行可能解が発見されたことを表します.

 その他の出力項目は,分枝限定法と同様です.詳細は 2.6 分枝限定法における出力をご覧ください.


 

 

上に戻る