CAI教授のLocalMIP

 An Efficient Local Search Solver for Mixed Integer Programming

を見ると、これは凄いなと思ってやってみました。

しかし、スケジュールナースと比べるべくもありませんでした。

確かにこの発想は、今までになかったものです。Gurobiが速いのは、Heuristicsが速いからだ、という噂もある位で、有効なUB解を早く見つけるのは、MIP解法においても有効です。Feasibleな解を早く見つけるのには、有効ですが、厳密解に近いところを見つけるのは、苦手のようです。MIPはリニアソルバが鍵となっており、そこと絡めないと厳密解に近いところは、原理的に難しいのでは？と思います。リニアソルバと平面削除法は、長い長い歴史の積み重ねがあるので、ここに立ち向かうのは勇気があります。ニッチの分野になるかもしれませんが、知見を積み重ねて改善されることを期待したいと思います。