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

 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を解くことの方が大事です。別途、開発スケジューリングの見直しを行うこととします。

新しいアーキテクチャは、ソルバ群の連携を前提にしたものです。個々の部品としても機能しますが、それよりは、各ソルバとの連携により新たな価値を生むことを前提に設計しています。こうした発想は、以前はありませんでした。同一問題を色々なアプローチから取り組み、互いの強みを生かして、相互連携により解けなかった問題を解けるようにすることを目的にしています。MaxSATソルバもそのための一部品という位置づけになります。ポートフォリオと言うよりは、複数の全く別のアプローチにより一つの目標を達成するアーキテクチャです。

解けなかったことが、逆に、新しいアーキテクチャを促し新しいソルバを生み出す原動力になっているので、解けなかったことに、むしろ感謝しなくてはいけない、と今は、思っています。