新しいアークテクチャに方針変更

 instance24が解けない

https://schedule-nurse.blogspot.com/2026/01/instance24.html

ので、

１）ローカルソルバ検討

https://schedule-nurse.blogspot.com/2026/01/blog-post_28.html

２）時間制約の検討

https://schedule-nurse.blogspot.com/2026/02/instance24timeencode.html

３）MDDの検討

https://schedule-nurse.blogspot.com/2026/02/pb-bdd.html

https://schedule-nurse.blogspot.com/2026/02/mdd_14.html

と検討を行ってきました。

当初、軽いローカルソルバを目指していましたが、この壁に立ち向かうには、最高性能のMAXSATソルバをスクラッチからデザインし直すのが最も早道との考えに改めました。10年間続いた基幹アルゴリズムを変更することは、勇気が要りますが、それよりもinstance24を解くことの方が大事です。再度、開発スケジューリングを行うこととします。

新しいアーキテクチャは、ソルバ群の連携を担うために必要です。

解けなかったことが、逆に、新しいアーキテクチャを促し新しいソルバを生み出す原動力になっています。