“浪潮杯”第九届山东省ACM大学生程序设计竞赛重现赛 G-Games

题意：Nim游戏 : n堆石子，在每个回合中，玩家可以从某一堆中移除一些石头（数量必须是正数，而不大于桩中剩余石头的数量）。一个玩家获胜，如果他或她移除最后的石头，所有的堆都是空的。Alice先手，但是Bob鲍伯可以选择不大于d堆的石子，并在游戏开始之前将它们全部移除。求有多少种移方法可以让Bob必胜。

ans = 有多少种方法使得移除石子后  先手必败 (Nim游戏 每堆石子数一起的异或和为0则先手必败)

等价 ： 给a1,a2,..an的数 去除少于 d个数 后使得剩下的数异或和为0.

dp[k][i][j] 表示 把前 a1,a2..ai 去除k个数后 异或和为j 有多少种方法。

#include<iostream>
#include<stdio.h>
#include<algorithm>
#include<string.h>
using namespace std;
typedef long long int ll;
const int maxn = 1000;
const int mod = (1e9+7);
int n,a[maxn+5],L;
int d[11][2][maxn*2+5];
int main()
{
    int T;
    scanf("%d",&T);
    while(T--)
    {
        scanf("%d %d",&n,&L);
        int mx = -1;
        for(int i=1;i<=n;i++) scanf("%d",&a[i]), mx = max(mx,a[i]);
        int fr = 0, to = 1;
        d[0][0][0] = 1;
        for(int i=0;i<2;i++)
        {
            for(int k=0;k<=L;k++)
                for(int j=0;j<=mx*2;j++) d[k][i][j] = 0;
        }
        d[0][0][0] = 1;
        for(int i=1;i<=n;i++)
        {
            for(int k=0;k<=L;k++)
            {
                for(int j=0;j<=mx*2;j++) d[k][to][j] = 0;
                for(int j=0;j<=mx*2;j++)
                {
                    d[k][to][j^a[i]] = (d[k][fr][j] + d[k][to][j^a[i]])%mod;
                    if(k>0) d[k][to][j] = (d[k-1][fr][j] + d[k][to][j])%mod;
                }
            }
            fr^=1,to^=1;
        }
        int ans = 0;
        for(int i=0;i<=L;i++) ans = (ans+d[i][fr][0])%mod;
        printf("%d\n",ans);
    }
    return 0;
}

附加一个2018年8月26日0.39的线段树：

 
void build(int l, int r, int n)
{
    s[n].l = l;
    s[n].r = r;
    s[n].maxx = 0;
    s[n].minn = N;
    if(l == r)
    {
        s[n].maxx = s[n].minn = a[l];
        return;
    }
    int mid = (l + r) >> 1;
    build(l, mid, n<<1);
    build(mid + 1, r, n<<1|1);
    s[n].maxx = max(s[n<<1].maxx, s[n<<1|1].maxx);
    s[n].minn = min(s[n<<1].minn, s[n<<1|1].minn);
}
void query(int l, int r, int n)
{
    if(s[n].l == l && s[n].r == r)
    {
        ans_x = max(ans_x, s[n].maxx);
        ans_y = min(ans_y, s[n].minn);
        return;
    }
    int mid = (s[n].l + s[n].r) >> 1;
    if(r <= mid)
        query(l, r, n<<1);
    else if(l > mid)
        query(l, r, n<<1|1);
    else
    {
        query(l, mid, n<<1);
        query(mid+1, r, n<<1|1);
    }
}