[ 博弈论 ] Codeforces919F A Game With Numbers

发现数字的位置是没有影响的，那么可以用隔板法求出状态数为 ${12\choose 4}^2=245025$ 。
然后不停用已确定的状态更新其他状态就好了。

#include<bits/stdc++.h>
using namespace std;
typedef unsigned long long ull;
const int N=300000;
struct Node{
    int a[5],b[5];
}c[N];
map<ull,int>M;
int cnt,x,d[N];
int k,n,m,T;
int a[2][5],l;
int f[N];
vector<int>g[N];
queue<int>q;
inline ull Hash(int a[5],int b[5]){
    ull rt=1,Ans=0;
    for(int i=0;i<5;i++)
        Ans+=rt*a[i],rt*=23333333333ll;
    for(int i=0;i<5;i++)
        Ans+=rt*b[i],rt*=23333333333ll;
    return Ans;
}
inline void Build(int x,int a[5],int b[5]){
    if(a[0]==8&&b[0]<8)f[x]=1,q.push(x);else
    if(b[0]==8&&a[0]<8)f[x]=0,q.push(x);
    for(int i=1;i<5;i++)
        if(a[i])
            for(int j=1;j<5;j++)
                if(b[j]){
                    a[i]--;
                    a[(i+j)%5]++;
                    int t=M[Hash(b,a)];
                    g[t].push_back(x);d[x]++;
                    a[i]++;
                    a[(i+j)%5]--;
                }
}
inline void Work(int a[5],int b[5]){
    Node tmp;
    memcpy(tmp.a,a,sizeof(a));
    memcpy(tmp.b,b,sizeof(b));
    for(int i=0;i<5;i++)tmp.a[i]=a[i],tmp.b[i]=b[i];
    c[++l]=tmp;f[l]=-1;M[Hash(a,b)]=l;
}
void Dfs(int x,int y,int z){
    if(x==2){
        Work(a[0],a[1]);
        return;
    }
    if(y==4){
        a[x][y]=z;Dfs(x+1,0,8);
        return;
    }
    for(int i=z;i>=0;i--)a[x][y]=i,Dfs(x,y+1,z-i);
}

inline void Solve(){
    while(!q.empty()){
        int x=q.front();q.pop();
        for(int i=0;i<g[x].size();i++){
            int v=g[x][i];
            if(f[v]==1)continue;
            if(!f[x])f[v]=1,q.push(v);else
            if(!(--d[v]))f[v]=0,q.push(v);
        }
    }
}
int main(){
    Dfs(0,0,8);
    for(int i=1;i<=l;i++)Build(i,c[i].a,c[i].b);
    Solve();
    scanf("%d",&T);
    while(T--){
        int fl;
        scanf("%d",&fl);
        memset(a,0,sizeof(a));
        for(int j=0;j<2;j++)
        for(int i=0;i<8;i++)scanf("%d",&x),a[j][x]++;
        int t=f[M[Hash(a[fl],a[fl^1])]];
        if(t==-1)puts("Deal");else if((fl^t))puts("Alice");else puts("Bob");
    }
    return 0;
}