题目描述
有三堆石子,它们的石子个数分别为$x,y,z$。
$A$和$B$正在博弈,由$A$先手,双方轮流操作。
每次操作是指,选择若干堆($1-3$堆)石子,从中各取出相同数量的石子(不能$1$个都不取)。不能操作的人失败。
请判定是否先手必胜。
输入格式
第一行一个整数$T$,表示数据组数。
接下来$T$行,每行三个整数$x,y,z(1\leqslant x,y,z\leqslant 300)$,描述一组数据。
输出格式
每组数据输出一行:
$\bullet$若先手必胜,输出$Yes$,否则输出$No$
样例
样例输入:
2
1 1 1
1 2 3
样例输出:
Yes
Yes
数据范围与提示
样例解释:
第一组数据,先手可以一次把所有石子取完。
第二组数据,先手第一步可以取完第三堆石子,得到$(1,2,0)$是一个先手必败的局面,从而刚开始的先手必胜。
数据范围:
对$100\%$的数据,$T\leqslant 500$,记$M=max(x,y,z)$。
$\bullet$子任务$1$($10$分):保证$M\leqslant 7$。
$\bullet$子任务$2$($30$分):保证$M\leqslant 50$。
$\bullet$子任务$3$($30$分):保证$\min(x,y,z)=0$。
$\bullet$子任务$4$($30$分):保证$M\leqslant 300$。
题解
这是一个$DP$……
首先,设$dp[i][j][k]$表示第一堆有$i$个,第二堆有$j$个,第三堆有$k$个是否必胜。
根据博弈论思想,如果一个局面可以转移为一个必败局面,那么这个局面必胜;注意反之则不然,因为我们可以不转移向必胜的局面。
初始时将所有局面都置为负,然后从小到大枚举$i,j,k$,如果当前局面没有标记胜,则一定为负,然后将所有能转移到它的局面置为胜即可。
看似时间复杂度是$\Theta(n^4)$的,但是注意只有在负的情况下我们才枚举所有能转移到它的局面,而负的局面只有$64972$,所以还是能很快的跑过去的。
时间复杂度:$\Theta(n^3+64972\times n+T)$。
期望得分:$100$分。
实际得分:$100$分。
代码时刻
#include<bits/stdc++.h>
using namespace std;
char ans[301][301][301];
void pre_work()
{
int res;
for(int i=0;i<=300;i++)
for(int j=0;j<=300;j++)
for(int k=0;k<=300;k++)
{
if(ans[i][j][k])continue;
for(int l=i+1;l<=300;l++)ans[l][j][k]=1;
for(int l=j+1;l<=300;l++)ans[i][l][k]=1;
for(int l=k+1;l<=300;l++)ans[i][j][l]=1;
res=300-max(i,j);
for(int l=1;l<=res;l++)ans[i+l][j+l][k]=1;
res=300-max(i,k);
for(int l=1;l<=res;l++)ans[i+l][j][k+l]=1;
res=300-max(j,k);
for(int l=1;l<=res;l++)ans[i][j+l][k+l]=1;
res=300-max(i,max(j,k));
for(int l=1;l<=res;l++)ans[i+l][j+l][k+l]=1;
}
}
int main()
{
pre_work();
int T;scanf("%d",&T);
while(T--)
{
int x,y,z;
scanf("%d%d%d",&x,&y,&z);
puts(ans[x][y][z]?"Yes":"No");
}
return 0;
}
rp++