SCIP の話を聴く

今日は午後に SCIP の話を聞いてきた。
SCIP は constraint program のためのソフトウェアで、 ZIB で開発が進められている。
やはり、contraint program なので、いろいろな手法が取り込まれており、SDPA と比較しても複雑になっている印象である。
いずれにしても、branch-and-bound などは全ての問題に対して同じ方法で効率をあげようとすると無理が生じるので、そのあたりを複数の手法でいかにカバーするかが重要である。


あと、SDP で楕円の計算の example を作ってみているが、aritificail ではなく、シンプルでかつ効果的なもの、となると、意外と難しいことに気がつく。
こちらは、アイデアを練り直す必要がある。

今日の作業内容：
15:55-16:15 [ok] 事務処理
16:15-16:45 [ng] Matlab の乱数のところ
16:50-17:20 [ok] Matlab の乱数のところ
17:00-17:30 [ng] SDP での定式化
17:00-17:30 [ng] SDP での定式化
17:40-18:10 [ng] SDP での定式化
18:10-18:30 [ng] もう一度アイデア練り直し

今日のBGM: everywhere [1-2]
今日のランチ：じょじょえん カルビクッパうどん
明日の予測作業時間：4h