グラフ理論が苦手な気がしてきたのでさっと組み合わせ最適化をおさらいすることにした． 実はDinicとか強連結成分分解とか今まで1回も書いたことないのでそろそろ書いておいた方がいい気がしてきた． 2章 グラフ 定義がいっぱい 命題2.2 グラフG，X⊆V(G)に対…

有名パズルに対する解析の話． ルービックキューブはどんな盤面から初めても20手以内に解けるということが証明されたっぽいですね．普通にやると35年かかるものをグーグルのサーバーで計算して時間内にやったのだとか． http://www.cube20.org/ Every positi…