帰着と変形

Mikio Kubo
理論家のための証明ツールである「帰着」と「変形」が，実際問題を短時間で簡単に解決するための重要なテクニックだということを話しています．
#帰着 #変形 #最適化

この記事が気に入ったらサポートをしてみませんか？