ペア制約の検討を開始

 多くのベンチマークでは、厳密解が得られているのに、多くの実務インスタンスで厳密解が得られない理由の主原因はペア制約にあると考えられます。

そこで、ペア制約で厳密解が得られやすいオペレータを追加することを考えています。モデリング方法の変更を意味しますが、等価なモデリングであれば、問題なかろう、と考えています。

具体的な検討作業はこれからであり、上手くいくかどうかも判りません。ナーススケジューリング問題に取り組んで10年、ほぼ完成形に近づいたとおもいますが、そのなかでも最大のやり残した仕事だと思います。

インスタンスの提供をまたお願いするかもしれませんがその際は、よろしくお願いします。