数学期望动态规划

确定需要表示的状态

DP的本质是对搜索空间中各状态维度的有顺序决策性遍历
状态为点，决策为边，DP实际上是对DAG的拓扑序访问

tyvj1933 绿豆蛙的归宿

给出一个有向无环图，起点为1终点为N，每条边都有一个长度，并且从起点出发能够到达所有的点，所有的点也都能够到达终点。绿豆蛙从起点出发，走向终点。
到达每一个顶点时，如果有K条离开该点的道路，绿豆蛙可以选择任意一条道路离开该点，并且走向每条路的概率为 1/K 。
现在绿豆蛙想知道，从起点走到终点的所经过的路径总长度期望是多少？ 

路径总长度的期望值为每条路径的长度*走这条路径的概率所得值之和

不能以f[i]表示从点1到点i的路径总长度期望

假设经过计算得到某一点的f[i]。但是因为从1点开始，可能不是每一种情况都可以到达i，对于不能到达点i的路径对期望值的贡献是没有定义的。所以f[i]不能用于更新有向路径中的下一个点的期望值，求f[i]不是求f[n]的子问题。

一个错误但AC的做法…

以f[i]表示从点i到点n的路径总长度期望

由题目中叙述“所有的点都能够到达终点”可知，求f[i]实际上是和求f[1]本质一样的问题。假设点u到v之间有一条有向边，且经过计算得到确定的f[v]，那么f[v]对f[u]的贡献即为  从u到v的概率*f[v]。注意只有当f[v]的所有情况都被统计完成后即f[v]不会再发生改变的时候f[v]才能用于更新f[u]，这可以通过入度与已被访问次数的关系确定。