bitdp, srm, topcoder, グラフ, トポロジカル順序, 動的計画法, 数え上げ