目標仕様

 今回、考えたアルゴリズム１の実装は以下の通りです。

１）多数スレッドによるメタヒューリスティクス　

２）多数スレッドによるSAT

３）DPS

究極的な目標は、

Ａ）ICU　70人で2分を切る

Ｂ）INSCⅡでの記録更新

Ｃ）Scheduling　Benchmark での記録更新

です。2)3)が当初の目標だったのですが、どうせなら、実用的な成果も得たいという壮大な計画の基にアルゴリズム１の改善に取り組むことにしました。Ａが出来るとＢ）Ｃ)でも組み込むことが出来、有利に働きます。

条件は、高機能CPUで64GB/32threadsで実現するものとします。

メタヒューリスティクスは、従来使っていませんでしたが、探索初期段階では有効なことが分かっています。問題は、局所解からの脱出ですが、単純な解決策は、多数スレッドで解く、というものです。イメージ的には、徒競走です。どの子が速いからは分かりません。が、多数を走らせれば、中には速い子もいるでしょう。

２）は、障害物競争です。１）の子のバトンを受けて、障害物に挑みますが、障害の大きさは、不明なため、必ずしも１）のトップが２）のトップになるとは限りません。

３）は、玉入れ競争のイメージです。２）のトップのバトンを受けて皆でスタートします。１）２）は、個人競技ですが、３）は団体で挑みます。皆の総合力で解を得ます。

解を決定的にしつつ、高速かつ安定に動作させます。上記の枠組みを作成し、作業を進めていきます。