2025年4月30日水曜日

DPSのincremental化 NSP未解決問題の解決に向けて

https://www.nurse-scheduling-software.com/japanese/publications/lecture_notes_for_basic_modeling.pdf#page=2

で一応アナウンスはしました。が、問題は全然解決していません。



kissatがincrementalになるのを待っているのですが、中々incrementalになってくれません。

これによれば、今年も望み薄なので、実装することにしました。

More incrementality features? · Issue #3 · arminbiere/kissat

その後に、DPSに組み込みを行います。これが、Alogrithm1の後継Algorithm5になります。

その他に、LPソルバの改善、メモリ消費改善、数理ソルバとの融合を経て、ようやく収束速度改善に至ります。



今年末までにNSP未解決問題を解決する工程を策定しました。今年末には、さらにパワーアップしたスケジュールナースをリリース出来ると思います。また長年温めていた数理ソルバが実用域に入ってくると思います。これにより厳密解を提示できるチャンスが格段に増えると期待されます。
2017年に発した一つの疑問に対する答えの提示になっているとよいのですが。

来るべきイノベーションに向けてキャッチを考えました。

「(あなたのソルバは)物理限界まで最適化できますか?

0 件のコメント:

コメントを投稿