【考题详解】 4月DP练习赛题解

跑步[Neal Wu, 2007]

奶牛们打算通过锻炼来培养自己的运动细胞，作为其中的一员，贝茜选择的运动方式是每天进行N(1 <= N <= 10,000)分钟的晨跑。在每分钟的开始，贝茜会选择下一分钟是用来跑步还是休息。贝茜的体力限制了她跑步的距离。更具体地，如果贝茜选择在第i分钟内跑步，她可以在这一分钟内跑D_i(1 <= D_i <= 1,000)米，并且她的疲劳度会增加1。不过，无论何时贝茜的疲劳度都不能超过M(1 <= M <= 500)。如果贝茜选择休息，那么她的疲劳度就会每分钟减少1，但她必须休息到疲劳度恢复到0为止。在疲劳度为0时休息的话，疲劳度不会再变动。晨跑开始时，贝茜的疲劳度为0。还有，在N分钟的锻炼结束时，贝茜的疲劳度也必须恢复到0，否则她将没有足够的精力来对付这一整天中剩下的事情。
请你计算一下，贝茜最多能跑多少米。
程序名: cowrun
【输入格式】
第1行: 2个用空格隔开的整数：N 和 M
第2..N+1行: 第i+1为1个整数：D_i
【输入样例】 (cowrun.in)
5 2
5
3
4
2
10
【输出格式】
第1行: 输出1个整数，表示在满足所有限制条件的情况下，贝茜能跑的最大距离
【输出样例】 (cowrun.out)
9
【输出说明】
贝茜在第1分钟内选择跑步（跑了5米），在第2分钟内休息，在第3分钟内跑步（跑了4米），剩余的时间都用来休息。因为在晨跑结束时贝茜的疲劳度必须为0，所以她不能在第5分钟内选择跑步。

这是一道动态规划的题目，有两个状态：时间和疲劳值。因此我们就可以设F[i][j]为前i分钟疲劳值为j的最大跑步距离。但是这道题目有一点特殊，因为有3种情况。
1.若当前休息且疲劳值为0，有可能是由上一秒疲劳值为0转移过来的。
2.若当前跑完步后准备休息，那么直接休息到底，即直接转移到休息完的状态
3.这一秒跑步且上一秒也跑步，直接转移

基于上述三种情况，我们可以得到3个状态转移方程
1.$F[i][0]=max(F[i][0],F[i-1][0])$
2. F[i+j][0]=ma