hdu3032 Nim or not Nim?

恩比德爱上大帝

于 2021-01-24 17:23:40 发布

阅读量132

点赞数

分类专栏：博弈

本文链接：https://blog.csdn.net/weixin_43466755/article/details/113093166

版权

博弈专栏收录该内容

3 篇文章 0 订阅

订阅专栏

这篇博客探讨了一种名为Lasker's Nim的博弈问题，玩家Alice和Bob轮流从多堆石子中操作。通过计算每堆石子的SG函数并异或所有结果来确定获胜者。当异或结果为0时，Bob获胜，否则Alice获胜。博主给出了 SG 函数的计算规律，并提供了O(n)复杂度的解决方案。

摘要由CSDN通过智能技术生成

题目：

给定 $n$ 堆石子，第 $i$ 堆有 $a_i$ 个石子，Alice和Bob两个人轮流操作，每次可以从任意一堆中取走若干或将1堆石子拆成两个非空石子堆，两个人采取最优策略，Alice先手，问谁赢。
$\le n \le 10^6,1 \le a_i < 2^{31})$

题解：

这种博弈叫 $L a s k e r^{'} s N i m$ 。
首先每个石堆都是独立的，所以我们可以算出单堆的 $S G$ 函数，然后套用 $S G$ 的和。将一堆中还剩的石子数作为游戏的状态， $S G ([0]) = 0, S G ([1]) = 1$ ， $[k]$ 的后继状态可以为 $\le i \le k-1)$ 。求出 $0 - n$ 的 $S G$ 的复杂度为 $O(n^2)$ ，但这道题石子的值域很大，无法直接求 $S G$ ，考虑小范围进行 $S G$ 打表，找规律。可得规律为：当 $n\%4=1$ 或 $n\%4=2$ 时 $S G ([n]) = n$ ；当 $\% 4=3$ 时 $S G ([n]) = n + 1$ ；当 $\% 4=0$ 时 $S G ([n]) = n - 1$ 。因为有 $n$ 堆，所以将 $n$ 堆的 $S G$ 异或一下，如果为0，Bob赢，否则Alice赢。

复杂度： $O (n)$

代码：

内附打表程序

#include<cstdio>
#include<iostream>
#include<algorithm>
#include<cstring>
#include<cmath>
#include<vector>
#include<queue>
#include<stack>
#include<map>
#include<set>
#include<string>
#include<bitset>
#include<sstream>
#include<ctime>
//#include<chrono>
//#include<random>
//#include<unordered_map>
using namespace std;

#define ll long long
#define ls o<<1
#define rs o<<1|1
#define pii pair<int,int>
#define fi first
#define se second
#define pb push_back
#define mp make_pair
#define sz(x) (int)(x).size()
#define all(x) (x).begin(),(x).end()
const double pi=acos(-1.0);
const double eps=1e-6;
const int mod=1e9+7;
const int INF=0x3f3f3f3f;
const int maxn=1e5+5;
ll read(){
	ll x=0,f=1;
	char ch=getchar();
	while(ch<'0'||ch>'9'){if(ch=='-')f=-1;ch=getchar();}
	while(ch>='0'&&ch<='9'){x=x*10+ch-'0';ch=getchar();}
	return x*f;
}
//打表
int sg[maxn],vis[1005];
void sg_table(int n){
	sg[0]=0;sg[1]=1;
	for(int i=2;i<=n;i++){
		memset(vis,0,sizeof(vis));
		for(int j=0;j<=i-1;j++)vis[sg[j]]=1;
		for(int j=1;j<=i-1;j++){
			vis[sg[j]^sg[i-j]]=1;
		}
		for(int j=0;;j++){
			if(!vis[j]){
				sg[i]=j;
				break;
			}
		}
	}
	for(int i=0;i<=n;i++){
		printf("%d %d\n",i,sg[i]);
	}
}
//==========================================
int T,n;
int a[maxn];
int main(void){
	//freopen("in.txt","r",stdin);
	// sg_table(50);
	scanf("%d",&T);
	while(T--){
		scanf("%d",&n);
		int ans=0;
		for(int i=1;i<=n;i++){
			scanf("%d",&a[i]);
			int cur;
			if(a[i]%4==1||a[i]%4==2)cur=a[i];
			else if(a[i]%4==3)cur=a[i]+1;
			else cur=a[i]-1;
			ans^=cur;
		}
		if(ans==0){
			puts("Bob");
		}
		else{
			puts("Alice");
		}
	}
	return 0;
}