Instance22以上では、グラフ化は困難

 同時コンパイルのテクニックを駆使したとしても、Instance22以上では、完全なグラフ化は、困難であることが判明しました。SecondaryCardinalsの3個以上の組み合わせで、メモリ的に破綻してしまいことが、複数のグラフ化方法で確認しました。

そこで、完全なグラフ化を一旦諦めて、次の方針に切り替えることにしました。

１）グラフは、基数制約以外でコンパイルする

２）Rosterの最適値・準最適値は、１）グラフを用いて複数の求解により求める

Roster毎の最適値が求まれば、系全体の最適値も担保できますが、２）で常に最適解が求められる保証はありません。２）が準最適解の場合は、系全体の最適値も準最適解となってしまいます。しかも、それなりに時間がかかってしまうことが予想されます。

どのようにして、最適解を求めるかは、後ほど検討することにして、現時点での課題をまとめます。

１）任意中間ゲートの同時コンパイル化グラフの作成

２）基数制約以下のグラフ化と複数求解によるRoster毎の準最適解導出アルゴリズムの作成

やはり、最後の難関２問は半端ないです。