ソルバはアルゴリズムの集合体

 04_toukei01.dvi (ism.ac.jp)を読むと、MIPソルバは、極めて大規模なソフトウェアであることが分かります。

”Gurobi は設計の当初から並列実行を前提に設計された”　なるほど。

Algorithm3も、当初からマルチコアを前提に設計されています。コア数が多くなればなるほど、高速になるように設計しています。

”商用ソルバで解けないインスタンスを商用ソルバより先に解いたケースは.."については、NSPの場合、沢山あります。

加えて、NSPの場合、長くても数分内に解が欲しいのですが、その時間で判定してしまうと本来Feasibleのはずが、MIPソルバだと、Infeasibleになってしまう例が、沢山あります。

NSPならば、安定的に、一分以内にFeasible解、2-3分内に実用的な解(Near Optimal)、数十分内にOptimality　Provenな解を示すことが目標です。こういった指標で、スケジュールナースⅢが世界のトップであることは疑いないと思っています。