CF919F
题意:
Alice和Bob玩游戏,每人各有8张牌,牌的大小在0~4之间
每次操作,先手可以选择自己一张牌和对方一张牌求和后%5,将新的牌替代自己拿出的那张牌,以此类推,直到有一个人手中的牌全部是0,则这个人获胜
但选牌时不能选择已经为0的牌进行操作
现给定初始状态下两人的手牌以及先后手,求是否存在有人必胜
分析:
很显然是个博弈问题,对这种问题搜索是非常好用的。
我们只需考虑一下设计状态
很显然,一个人手牌的顺序对结果是没有任何影响的,所以状态数其实并不多
那么我们不妨把所有状态设成手牌大小单调不降的。
然后用排列组合计算一下,得一个人手牌总方案数为495(这个有很多算法,网上常见的算法比较简单(隔板法),但如果不熟悉隔板法(比如我),就使用了诡异的组合法:
(分类讨论:
①:假设8张手牌的值相等,那么只会有C(5,1)种方案
②:假设8张手牌种出现了两种值,那么首先有C(5,2)种方法,同时考虑每种值出现的次数,发现有7种组合(1+7,2+6,3+5,4+4,5+3,6+2,7+1),所以这里的贡献是7*C(5,2)
③:假设8张手牌出现了3种值,那么首先有C(5,3)种方法,那么假设将这三个值放在前三位,剩下5个位置可以递归成①,②和③来处理...
以此类推,最后将方案数累加,可以得出结果是495
(天知道为什么我要用这么复杂的方法))
那么,两个人的所有状态就是495^2,也是可以接受的
接下来,两个状态之间会有相互的转移关系(先手的操作会把一种状态转变成另一种状态),那么我们对所有状态重新编号(这里我使用hash+map来实现),然后枚举所有的转移方案
如果状态i可以转移至状态j,那么由J向I建一条边!(反向建边)
然后,我们枚举所有状态,一定有一些状态是还没开始就结束(即一定先手必胜或先手必败的),那这些状态就是初始状态,直接推进队列里然后bfs,处理出剩下状态的情况,这也是反向建边的目的
博弈搜索的原则:如果一个状态的后继状态中存在先手必败的状态,则这个状态为先手必胜,但如果所有后继状态都是先手必胜,那么这个状态就是先手必败的,但如果这个状态无法入队,则这个状态就是平局
这样就完事了,预处理出所有状态的胜负手,然后直接输出答案即可
#include <cstdio> #include <cmath> #include <cstring> #include <cstdlib> #include <iostream> #include <algorithm> #include <queue> #include <stack> #include <map> #define seed 13131 #define ull unsigned long long using namespace std; struct Edge { int next; int to; }edge[250005*64]; struct node { int a[9]; int b[9]; ull hh; int typ; }sit[250005]; int x[9]; int temp[9]; int temp2[9]; int tempsit[250005][9]; int head[250005]; int ta[9],tb[9]; int inr[250005]; int cnt=1; int tot=0; int cct=0; map <ull,int> M,nnum,used[250005]; queue <int> Q; void init() { memset(head,-1,sizeof(head)); cnt=1; } void add(int l,int r) { edge[cnt].next=head[l]; edge[cnt].to=r; head[l]=cnt++; } void dfs(int dep) { if(dep==9) { memcpy(temp,x,sizeof(x)); sort(temp+1,temp+dep); ull has=1; for(int i=1;i<=8;i++) { has=has*seed+temp[i]; } if(!M[has]) { M[has]=1; tot++; memcpy(tempsit[tot],temp,sizeof(temp)); } return; } for(int i=0;i<=4;i++) { x[dep]=i; dfs(dep+1); } } void judge() { for(int i=1;i<=tot*tot;i++) { bool flag=0; for(int j=1;j<=8;j++) { if(sit[i].a[j]!=0) { flag=1; break; } } if(!flag) { sit[i].typ=1; Q.push(i); continue; } flag=0; for(int j=1;j<=8;j++) { if(sit[i].b[j]!=0) { flag=1; break; } } if(!flag) { sit[i].typ=2; Q.push(i); continue; } } } void make_sit() { for(int i=1;i<=tot;i++) { for(int j=1;j<=tot;j++) { memcpy(sit[(i-1)*tot+j].b,tempsit[j],sizeof(sit[j].a)); memcpy(sit[(i-1)*tot+j].a,tempsit[i],sizeof(sit[i].a)); ull has=1; for(int k=1;k<=8;k++) { has=has*seed+sit[(i-1)*tot+j].a[k]; } for(int k=1;k<=8;k++) { has=has*seed+sit[(i-1)*tot+j].b[k]; } nnum[has]=(i-1)*tot+j; sit[(i-1)*tot+j].hh=has; } } } void add_edge() { for(int i=1;i<=tot*tot;i++) { for(int j=1;j<=8;j++) { if(sit[i].a[j]==0) { continue; } for(int k=1;k<=8;k++) { if(sit[i].b[k]==0) { continue; } int t=(sit[i].a[j]+sit[i].b[k])%5; memcpy(temp,sit[i].b,sizeof(temp)); memcpy(temp2,sit[i].a,sizeof(temp2)); temp2[j]=t; ull has=1; sort(temp+1,temp+9); sort(temp2+1,temp2+9); for(int p=1;p<=8;p++) { has=has*seed+temp[p]; } for(int p=1;p<=8;p++) { has=has*seed+temp2[p]; } if(used[i][has]) { continue; } used[i][has]=1; add(nnum[has],i); inr[i]++; } } } } void bfs() { while(!Q.empty()) { int u=Q.front(); Q.pop(); for(int i=head[u];i!=-1;i=edge[i].next) { int to=edge[i].to; if(!inr[to])continue; if(sit[u].typ==2) { sit[to].typ=1; inr[to]=0; Q.push(to); }else { inr[to]--; if(!inr[to]&&!sit[to].typ) { sit[to].typ=2; Q.push(to); } } } } } int main() { init(); dfs(1); make_sit(); judge(); add_edge(); bfs(); int T; scanf("%d",&T); while(T--) { int ty; scanf("%d",&ty); for(int i=1;i<=8;i++) { scanf("%d",&ta[i]); } for(int i=1;i<=8;i++) { scanf("%d",&tb[i]); } sort(ta+1,ta+9); sort(tb+1,tb+9); ull has=1; if(ty) { for(int i=1;i<=8;i++) { has=has*seed+tb[i]; } for(int i=1;i<=8;i++) { has=has*seed+ta[i]; } int t=nnum[has]; if(sit[t].typ==0) { printf("Deal\n"); continue; }else if(sit[t].typ==1) { printf("Bob\n"); continue; }else { printf("Alice\n"); continue; } }else { for(int i=1;i<=8;i++) { has=has*seed+ta[i]; } for(int i=1;i<=8;i++) { has=has*seed+tb[i]; } int t=nnum[has]; if(sit[t].typ==0) { printf("Deal\n"); continue; }else if(sit[t].typ==1) { printf("Alice\n"); continue; }else { printf("Bob\n"); continue; } } } return 0; }