2020CCPC绵阳站 G-Game of Cards （规律推导 + 博弈）

题意：两个人玩游戏，现在有四种卡牌分别标号0，1，2 ，3然后玩家可以进行的操作是，每次选择两个标号和小于等于3的卡牌合并，把他们变成一张对应他们的和的标号的卡牌。最后无法进行合并操作的人输掉了游戏。

思路：合并操作就看为：
0 + 0 -> 0
0 + 1 -> 1
0 + 2 -> 2
0 + 3 -> 3
1 + 1 -> 2
1 + 2 -> 3
我们可以看到两个1可以产生一个2，然后一个1和一个2可以一起消耗掉，这样就消耗掉了3张1，很明显和3有离不开的关系，所以我们去考虑1牌的数量取余3会得到的结果。最后看0，1，2这三张牌之间的数量关系，当然有几个特殊情况需要用到3的张数。

**下面我们就开始细致的考虑几种情况：

一、1牌和2牌的数量均为0的时候。

1.3牌的数量为0
（1）0牌的数量为0，此时先手无法操作必败
（2）0牌的数量不为0，并且为奇数时，先手是必败的，因为没有牌给这一个0去消耗
2.3牌的数量不为0
	(1) 0牌的数量为0，先手必败
	(2) 0牌数量不为0，但是数量为偶数，先手必败

二、1牌和2牌存在

1.0牌的数量为偶数时，此时两个玩家都去拿零牌相等于0牌对游戏没有影响。
	(1) 若此时c1 % 3 == 0，则后手可以令先手为必败态。
	(2) 若此时c1 % 3 == 1，若此时2牌的数量为0，很明显先手无法去拿一个1，只能取消耗掉两个1，这样的话，先手就变为了必败态。否则2牌数量不为0，则先手就可以拿掉那个多出来的1，是后手变为取余3为0的必败态。
	(3)若此时c1 % 3 == 2，则此时先手一定可以拿走两张1牌，使得后手变为必败态。
	
2.0牌的数量为奇数，相当于我们现在只有一张0牌。
	(1)若此时c1 % 3 == 0，则上一种情况的先手必败态就转变为了必胜态。
	(2)若此时c1 % 3 == 1，若此时2的数量不为0，上一种情况对应的状态转化为先手必败态。
	(3)若此时c2 % 3 == 2，若此时2的数量小于2，可以拿5当做例子模拟一下会发现此时先手必败，如果2牌的数量大于等于2，先手就为必胜态。**

至此所有状态考虑完毕。
还是对于这种不好转化为对应博弈模型的题，从必胜态必败态的规律去考虑题目的解法，多练。

代码：

#include <bits/stdc++.h>

using namespace std;
typedef long long ll;
const int INF = 0x3f3f3f3f;
const int MAXN = 1e5 + 7;

bool solve(int a,int b,int c,int d){
	if(b == 0 && c == 0){//只有0牌和3牌的情况下
		if(d == 0){
			if(a == 0) return false;
			else if(a & 1) return false;
		}
		else{
			if(a == 0) return false;
			else if(a % 2 == 0) return false;  
		}
		return true;
	}
	if(a % 2 == 0){//0牌为偶数相当于不改变答案的统计顺序
		if(b % 3 == 0) return false;
		else if(b % 3 == 1 && c == 0) return false;//只能两张1一起拿
	}
	if(a % 2 == 1){
		if(b % 3 == 1 && c > 0) return false;
		else if(b % 3 == 2 && c < 2) return false;
	}
	return true;
}

int main(){
	int T,cas = 0;
	scanf("%d",&T);
	while(T--){
		int c0,c1,c2,c3;
		scanf("%d%d%d%d",&c0,&c1,&c2,&c3);
		printf("Case #%d: ",++cas);
		if(solve(c0,c1,c2,c3)) puts("Rabbit");
		else puts("Horse");
	}
	return 0;
}