INRC1の結果についても、見て行きます。
Benchmarks | What is Schedule NurseⅢ (nurse-scheduling-software.com)
sprint 10秒、medium 10分、long 10時間の制限時間です。比較は、厳密解判定までの時間です。sprint_early,medium_early,long_earlyというような、early系では、Gurobi/Cplexが圧倒しています。しかし、late/hidden系になると、途端に求解時間がかかるインスタンスが増え、特にmedium以降のhidden系では、スケジュールナースⅢが圧倒するという結果となりました。early系との違いが何かは、把握していませんが、行制約の何かが影響していると考えています。小規模インスタンス(10人以下)では、MIPソルバーで厳密解が求められ速い、しかし、中規模・大規模で、厳密解を求めることが難しくなってくると、スケジュールナースⅢの方が勝ってくる、というような全体傾向ではないかと思います。INRC2では、さらに難しいインスタンスとなっており、この傾向を裏付ける結果となっています。
なお、MIPソルバーへのモデリングの影響はあり、モデリングでMIPソルバーの求解速度が変わってきます。たとえば、Santosさんの論文参照。ここでのモデリングは、ScheduleNurseが内部で、認識している問題構造をそのまま、LP/MPS化したということですのでご留意ください。
以上全体の結果について、見ていきました。
0 件のコメント:
コメントを投稿