[POJ2311]Cutting Game

最新推荐文章于 2020-03-01 10:28:09 发布

OneInDark

最新推荐文章于 2020-03-01 10:28:09 发布

阅读量146

点赞数

分类专栏： C++ 博弈

本文链接：https://blog.csdn.net/qq_42101694/article/details/104492506

版权

C++ 同时被 2 个专栏收录

547 篇文章 3 订阅

订阅专栏

博弈

27 篇文章 0 订阅

订阅专栏

题目

传送门 to POJ

传送门 to VJ

思路

切割一次之后，明显是相似的子问题。

如果能够将其转变成为 $s g$ 函数，问题就迎刃而解。

$s g$ 函数的基本要求是，当前是必败，当且仅当所有的子问题都必败。

如果用 $1\times 1$ 作为先手必败的话，似乎并不满足这一性质。因为，只要拿到一个 $1\times 1$ 就已经输了（如果，现在轮到你操作，并且场面上有一个 $1\times 1$ 纸条，那么你就输了）。

我们可以变一下。谁会傻乎乎的拿出一个 $1\times 1$ 呢？既然如此，我们用这种 有弹性的震慑局面 来作为结尾。显然， $2\times 2$ 的情况是先手必败的。但是，拿到它的时候，没有立刻输掉！——必须要在外面，也全部都是“有弹性的震慑局面”，我才会不得已操作其。

总结一下：如果每一个子问题都是 $2\times 2$ 等没有立即输掉、一操作就会输的局面，那么原问题才会输掉。

所以，我们在枚举第一次切割的时候，避免出现 $1\times n$ 的纸条（不然就是送死）。

然后就变成了 $s g$ 函数的板题了。图方便，我使用了 $s e t$ ，这是错误的行为，请勿模仿。

代码

#include <cstdio>
#include <iostream>
#include <vector>
#include <algorithm>
#include <set>
using namespace std;
inline int readint(){
	int a = 0, f = 1; char c = getchar();
	for(; c<'0'||c>'9'; c=getchar())
		if(c == '-') f = -f;
	for(; '0'<=c&&c<='9'; c=getchar())
		a = (a<<3)+(a<<1)+(c^48);
	return a*f;
}
inline void writeint(long long x){
	if(x < 0) putchar('-'), x = -x;
	if(x > 9) writeint(x/10);
	putchar((x%10)^48);
}

# define MB template < typename T >
MB void getMax(T &a,const T &b){ if(a < b) a = b; }
MB void getMin(T &a,const T &b){ if(b < a) a = b; }

const int MaxN = 201, infty = (1<<30)-1;
int n, m, sg[MaxN][MaxN]; set<int> s;

int main(){
	sg[2][2] = 0; // 事实上，(2,2)没有后继，无需特殊赋值
	for(int i=2; i<MaxN; ++i)
		for(int j=2; j<MaxN; ++j){
			s.clear(), s.insert(infty);
			for(int k=2; i-k>=2; ++k)
				s.insert(sg[k][j]^sg[i-k][j]);
			for(int k=2; j-k>=2; ++k)
				s.insert(sg[i][k]^sg[i][j-k]);
			int last = -1;
			for(set<int>::iterator k=s.begin(); k!=s.end(); ++k)
				if(last+1 < *k){ // 没有 C++11 的坑爹 POJ
					sg[i][j] = last+1; break;
				}else last = *k;
		}
	while(scanf("%d %d",&n,&m) != EOF)
		puts(sg[n][m] > 0 ? "WIN" : "LOSE");
	return 0;
}