CF919F A Game With Numbers

题目：（luogu翻译错的很多）

Alice和Bob玩游戏，每人有8张牌，牌的值为0~4。每一轮当前玩家选择自己的牌A和对手的牌B，然后将A的值变为( A + B )%5，其中A和B都不是0。

当一个人手牌全为0时他就赢了。

T（T<=1e5）组询问，求最后谁赢了，如果都没赢输出Deal。（两个人都是最优方案）

题解：

博弈搜索。

只不过本题有无解情况，因此dfs会卡（应该是我太弱了）。所以考虑用bfs，相当于dfs中直接回溯。

代码：

#include<queue>
#include<cstdio>
#include<cstring>
#include<algorithm>
using namespace std;
int num[][][][],cnt;
int T;
int dp[],ind[];//first:second
void init()
{
    for(int a=;a<=;a++)
        for(int b=;a+b<=;b++)
            for(int c=;a+b+c<=;c++)
                for(int d=;a+b+c+d<=;d++)
                    num[a][b][c][d]=++cnt;
}
int tn(int a,int b)
{
    return (a-)*cnt+b-;
}
int cg(int a[],int b[])
{
    return tn(num[a[]][a[]][a[]][a[]],num[b[]][b[]][b[]][b[]]);
}
int gt(int a[])
{
    int ret = ;
    for(int i=;i<=;i++)ret+=(a[i]!=);
    return ret;
}
struct node
{
    int a[],b[];
    int aa(){return num[a[]][a[]][a[]][a[]];}
    int bb(){return num[b[]][b[]][b[]][b[]];}
    int cc(){return tn(aa(),bb());}
    node df()
    {
        node ret;
        for(int i=;i<=;i++)ret.a[i]=b[i],ret.b[i]=a[i];
        return ret;
    }
}tmp;
queue<node>q;
int a0[],b0[];
void dfsb(int dep,int sum)
{
    if(dep==)
    {
        int c = cg(a0,b0),ga=gt(a0),gb=gt(b0);
        ind[c] = ga*gb;
        if(!(ga*gb))
        {
            if(!ga)dp[c]=;
            else dp[c]=;
            tmp.a[]=-a0[]-a0[]-a0[]-a0[],tmp.a[]=a0[],tmp.a[]=a0[],tmp.a[]=a0[],tmp.a[]=a0[];
            tmp.b[]=-b0[]-b0[]-b0[]-b0[],tmp.b[]=b0[],tmp.b[]=b0[],tmp.b[]=b0[],tmp.b[]=b0[];
            q.push(tmp);
        }
        return ;
    }
    for(b0[dep]=;b0[dep]+sum<=;b0[dep]++)
        dfsb(dep+,sum+b0[dep]);
}
void dfsa(int dep,int sum)
{
    if(dep==){dfsb(,);return ;}
    for(a0[dep]=;a0[dep]+sum<=;a0[dep]++)
        dfsa(dep+,sum+a0[dep]);
}
void bfs()
{
    while(!q.empty())
    {
        tmp = q.front();
        q.pop();
        node v = tmp.df();
        for(int j=;j<=;j++)
        {
            if(!v.b[j])continue;
            for(int i=;i<=;i++)
            {
                if(!v.a[i]||(i-j+)%==)continue;
                v.a[i]--;
                v.a[(i-j+)%]++;
                int c = v.cc(),c0 = tmp.cc();
                if(!ind[c])
                {
                    v.a[i]++;
                    v.a[(i-j+)%]--;
                    continue;
                }
                if(dp[c0]==)
                {
                    dp[c]=;
                    ind[c]=;
                    q.push(v);
                    v.a[i]++;
                    v.a[(i-j+)%]--;
                    continue;
                }else if(!dp[c0])
                {
                    dp[c]=;
                }
                ind[c]--;
                v.a[i]++;
                v.a[(i-j+)%]--;
                if(ind[c])continue;
                if(!dp[c])dp[c]=;
                else dp[c]=;
                v.a[i]--;
                v.a[(i-j+)%]++;
                q.push(v);
                v.a[i]++;
                v.a[(i-j+)%]--;
            }
        }
    }
}
int typ;
int main()
{
    init();
    dfsa(,);
    bfs();
    scanf("%d",&T);
    while(T--)
    {
        memset(a0,,sizeof(a0));
        memset(b0,,sizeof(b0));
        scanf("%d",&typ);
        for(int x,i=;i<=;i++)
        {
            scanf("%d",&x);
            a0[x]++;
        }
        for(int x,i=;i<=;i++)
        {
            scanf("%d",&x);
            b0[x]++;
        }
        int c = typ?cg(b0,a0):cg(a0,b0);
        int ans = dp[c];
        if(!ans)
        {
            printf("Deal\n");
        }else
        {
            if((ans-)^typ)
            {
                printf("Bob\n");
            }else
            {
                printf("Alice\n");
            }
        }
    }
    return ;
}