link：http://acm.hdu.edu.cn/showproblem.php?pid=4701

DP真美 ！  (亝 ? 亝)

dp[pos][a][b][0/1]：第pos件商品即将被购买，Alice有a元， Bob有b元，轮到谁行动(0:Alice 1:Bob)。

打训练赛时，设计出来了这样一个状态。然后发现了pos和a能表示出b呀！于是，省掉了一维，然后就不会

了。之后尝试着贪心，效果不佳。

先来个小小的降维~

dp[pos][x]：第pos件商品即将被购买，面临着这个局面的人有x元。能否获胜呢？

看来，求索未得啊！空间复杂度还是爆炸。然而dp[pos][x]仅仅表达0/1的话是不是有点浪费呢？这样来试试

dp[pos]：第pos件商品即将被购买，面临此局面的人至少需要多少元才可获胜？

nice！这个状态设计的挺令人满意的！

然后就可施展我们的博弈思想。若想胜，则需一个GG的后继.

即将行动的人的钱：dp[pos]

对手的钱：a+b - dp[pos] - sum[pos-1] 

为了找到这么一个后继，则存在nxt>pos满足这样两个条件：

dp[pos] >=  a + b - sum[pos-1] - dp[nxt] + 1  

dp[pos] >=  sum[nxt-1] - sum[pos-1]

令a + b - sum[pos-1] - dp[nxt] + 1 = Ans1, sum[nxt-1] - sum[pos-1] = Ans2

dp[pos] = min{ max(Ans1, Ans2) }

然后从后往前，一遍计算dp[i]，一遍维护max(Ans1, Ans2)最小值。O(n)

#include <iostream>
using namespace std;
typedef long long LL;
const int NICO = 1000002;
LL n, a, b, x;
LL sum[NICO];
int main()
{
    while(~scanf("%lld %lld %lld", &n, &a, &b))
    {
        for(int i=1;i<=n;i++)
        {
            scanf("%lld", &x);
            sum[i] = sum[i-1] + x;
        }   
        LL pre = sum[n], now = 0;
        for(int i=n;i>=1;i--)
        {
            now = pre - sum[i-1];
            //cout << i << " : " << now << endl;
            pre = min(pre, max(sum[i-1], a+b-now+1));
        }
        printf("%s\n", now>a?"BOB":"ALICE");
    }
}

HDU 4701 Game