欧州では前述した分枝限定法、切除平面法、(前者2つをミックスした) 分枝カット法といった厳密解法を用いることが多く、アメリカ合衆国では遺伝的アルゴリズム、タブ探索といった近似解法を用いることが多い。すごい偏見な気が…。
筑波では楽しい日々を。八森さんとの研究も継続していく方向で。
イラストロジックは定式化を変えたら20x20も解けた。素晴しい。
明日明後日と九大。
Wikipediaのソート・アルゴリズムの項目。
なかなか面白い。
明日明後日と筑波。
最近、あんまり分野の最新動向をここに書いていないことに気付いた。
サーベイ力が落ちてきてる。
力が落ちてきてるというよりは、そのための時間を取れていないんだと思う。
ちゃんと研究できてない証拠だと思う。よくない。
イラストロジックをIPで定式化してみたけど、glpkでは15x15の問題も解けなかった。
10x10は余裕で解けるけど。
ICALPのレジストレーションでかなり手こずっている。