srm, topcoder, 動的計画法, 条件付き確率, 確率