01 Game (博弈论)

SillyGGG

已于 2023-07-25 18:49:23 修改

阅读量96

点赞数

分类专栏：博弈论文章标签： c语言 c++ 算法

于 2022-11-13 01:26:36 首次发布

本文链接：https://blog.csdn.net/qq_41426451/article/details/127827798

版权

游戏策略算法分析数轴填充必胜策略异或运算

关键词由CSDN通过智能技术生成

博弈论专栏收录该内容

3 篇文章 0 订阅

订阅专栏

题意

长为n的数轴,有m个已经填的01,相邻不能相同,每次操作写一个0或者1,不能操作者败.

思路

分类讨论

没有固定01时,n为偶数时,后手可以通过对称操作必胜,n为奇数时,先手可以转前一种状态必胜.
1____1的区间,注意没空格必败,除此之外sg值都为1, $sg[n]=mex_{1\leq i\leq n-1}\{sg[i]\oplus sg[n-i-1]\}$ ,可以归纳法发现全为1.
1____0的区间必败,先枚举一下小数目的空,然后先手无论放哪,都会产生一个更小的必败区间和一个必胜区间,所以异或起来必败.
左右端点, $s g [n] = n$ ,比如 _ _ _ _ 1,先手在第i个位置插个0就能转移到 $sg[i]\oplus0=sg[i]$ .

代码

#include<bits/stdc++.h>
using namespace std;
#define pow2(X) (1ll<<(X))
#define SIZE(A) ((int)A.size())
#define LENGTH(A) ((int)A.length())
#define ALL(A) A.begin(),A.end()
#define F(i,a,b) for(ll i=a;i<=(b);++i)
#define dF(i,a,b) for(ll i=a;i>=(b);--i)
#define GETPOS(c,x) (lower_bound(ALL(c),x)-c.begin())
#define inf 0x3f3f3f3f
#define infll 0x3f3f3f3f3f3f3f3f
#define pb push_back
#define pr pair<int,int>
#define mkp make_pair
#define fi first
#define se second
#define eps 1e-6
#define PI acos(-1.0)
#define lb lower_bound
#define ub upper_bound
#define bs binary_search
#define FO(x) {freopen(#x".in","r",stdin);freopen(#x".out","w",stdout);}
#define Edg int M=0,fst[SZ],vb[SZ],nxt[SZ];void ad_de(int a,int b){++M;nxt[M]=fst[a];fst[a]=M;vb[M]=b;}void adde(int a,int b){ad_de(a,b);ad_de(b,a);}
#define Edgc int M=0,fst[SZ],vb[SZ],nxt[SZ],vc[SZ];void ad_de(int a,int b,int c){++M;nxt[M]=fst[a];fst[a]=M;vb[M]=b;vc[M]=c;}void adde(int a,int b,int c){ad_de(a,b,c);ad_de(b,a,c);}
#define es(x,e) (int e=fst[x];e;e=nxt[e])
#define esb(x,e,b) (int e=fst[x],b=vb[e];e;e=nxt[e],b=vb[e])
#define SZ 666666
typedef unsigned int uint;
typedef long long ll;
typedef unsigned long long ull;
typedef pair<int,int> ipair;
typedef vector<int> VI;
typedef vector<long long> VLL;
typedef vector<vector<long long > > VVLL;
typedef vector<vector<int> > VVI;
typedef vector<double> VD;
typedef vector<string> VS;
const int mods = 998244353;
//const int mods = 1e9+7;
const int maxn = 2e5+10;
const int N = 5e5+10;
const int E = 1e4+10;
const int lim = 1e6+10;
ll qpow(ll a,ll b) {ll res=1;a%=mods; assert(b>=0); for(;b;b>>=1){if(b&1)res=res*a%mods;a=a*a%mods;}return res;}
ll lcm(ll a, ll b) {return a / __gcd(a, b) * b;}
int 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;}

/***********************************
learning time
***********************************/

ll n,m;
ll x[maxn],y[maxn];

int main(){
	//freopen("C:\\Users\\Gao\\Desktop\\test.txt","r",stdin);
	// freopen("C:\\Users\\Gao\\Desktop\\validation_input\\output.txt","w",stdout);
	ios_base::sync_with_stdio(0);
    int T;
    //cin>>T; 
	T = 1;
	F(turn,1,T){
		cin>>n>>m;
		F(i,1,m){
			cin>>x[i]>>y[i];
		}
		if(!m){
			cout<<(n%2==1?"Takahashi":"Aoki")<<endl;
			break;
		}
		int ans = 0;
		F(i,1,m-1){
			if(y[i]==y[i+1]){
				ll d = x[i+1]-x[i]-1;
				if(d==0) continue;
				else ans^=1;
			}
		}
		ans^=(x[1]-1);
		ans^=(n-x[m]);
		cout<<(ans?"Takahashi":"Aoki")<<endl;
	}
}
 
/*
*/

/*
*/