POJ 2068 Nim（博弈论+dfs）

Description
有2n个人，两方各n个人，交叉坐，每个人可以取的石子有一个最大限制Mi，总共有S颗石子，哪一方取了最后一颗石子就输了，问先取石子的这一方是否有必胜策略
Input
多组用例，每组用例占一行，首先输入两个整数n和S表示一方人数以及总石子数，之后2*n个整数表示1~2*n这2*n个人每个人每次能拿的石子上限，以n=0结束输入
Output
如果先手有必胜策略则输出1，否则输出0
Sample Input
1 101 4 4
1 100 4 4
3 97 8 7 6 5 4 3
0
Sample Output
0
1
1
Solution
以DP[i][j]表示第i个人拿的时候还剩j个石子这个状态下先手是否有必胜策略，那么对于第i个人枚举其能拿的石子数，如果拿某一数量使得后继状态中出现必败态则dp[i][j]=1（dfs(i,j)返回值为dp[i][j]），如果所有后继态均为必胜态则dp[i][j]=0，初始化dp[i][0]=0，答案即为dp[1][S]
Code

#include<cstdio>
#include<iostream>
#include<algorithm>
#include<cstring>
using namespace std;
#define INF 0x3f3f3f3f
int n,s,m[22],dp[22][8888];
int dfs(int x,int s)
{
    if(~dp[x][s])return dp[x][s];//剪枝+搜索终止条件(dp[i][0]已经初始化为1) 
    for(int i=1;i<=m[x];i++)//枚举第x个人拿的石子数 
    {
        if(s<i)break;
        if(!dfs((x+1)%(2*n),s-i))return dp[x][s]=1;//存在一后继状态为必败态则此状态为必胜态 
    }
    return dp[x][s]=0;//所有的后继状态均为必胜态则此状态为必败态 
}
int main()
{
    while(scanf("%d",&n),n)
    {
        scanf("%d",&s);
        for(int i=0;i<2*n;i++)
            scanf("%d",&m[i]);
        memset(dp,-1,sizeof(dp));//初始化 
        for(int i=0;i<2*n;i++)
            dp[i][0]=1;//到第i个人拿石子时石子数为0说明对手拿了最后一个石子,第i个人所属一方赢 
        int ans=dfs(0,s);
        if(ans)printf("1\n");
        else printf("0\n");
    }
    return 0;
}