問題を解く方法の見つけ方

問題を解く方法の見つけ方(meta-algorithm)として、最近思っていること。

順番を決める

要素に順序を入れて、一意な並べ方に正規化する。つまり、順列を組み合わせにできないか。

DAGだとトポロジカルソートして順番を入れることができる。これが有効だったりするらしい。

分割する

グラフだったら、連結成分ごとに考えるとか、強連結成分分解してから考えるとか。