0x3B Georgia and Bob （Nim游戏）

这道题上来硬想肯定什么都想不出来。

我们只能通过由浅入深的推理才能做出这道题。

首先我们考虑必败状态的定义：

对于某两个棋子，如果他们两个靠在了一起，那么它们对应的状态就是一个必败状态。

这一点很显然，如果两个棋子贴在一起，先手只能移动前面的棋子，而后手可以通过紧跟先手来继续使先手拿到必败状态。

那么这样，命题得证，这两个紧贴的石子就是一个必败状态了。

那么我们考虑它是从哪里转移而来的：两个棋子如果没有距离了，那么它肯定是从一开始有距离的游戏状态转移过来的.

那么我们可以得到一些式子：

$sg$(距离为1)$=mex$($sg$(距离为0))=1,

$sg$(距离为2)$=mex$($sg$(距离为0),$sg$(距离为1))=2,

$sg$(距离为3)=$mex(sg$(距离为0),$sg$(距离为1),$sg$(距离为2))=3…

这就是一个$nim$游戏的变种

因此，我们把2个棋子看做1组，之间的空位数看做一堆石子，最后按照$nim$游戏计算即可。

#include <map>
#include <set>
#include <ctime>
#include <queue>
#include <stack>
#include <cmath>
#include <vector>
#include <bitset>
#include <cstdio>
#include <cctype>
#include <string>
#include <numeric>
#include <cstring>
#include <cassert>
#include <climits>
#include <cstdlib>
#include <iostream>
#include <algorithm>
#include <functional>
using namespace std ;
#define rep(i, a, b) for (int i = (a); i <= (b); i++)
#define per(i, a, b) for (int i = (a); i >= (b); i--)
#define loop(s, v, it) for (s::iterator it = v.begin(); it != v.end(); it++)
#define cont(i, x) for (int i = head[x]; i; i = e[i].nxt)
#define clr(a) memset(a, 0, sizeof(a))
#define ass(a, sum) memset(a, sum, sizeof(a))
#define lowbit(x) (x & -x)
#define all(x) x.begin(), x.end()
#define mp make_pair
#define pb push_back
#define fi first
#define se second
#define iv inline void
#define enter cout << endl
#define siz(x) ((int)x.size())
#define file(s) freopen(s".in", "r", stdin), freopen(s."out", "w", stdout)
typedef long long ll ;
typedef unsigned long long ull ;
typedef pair <int, int> pii ;
typedef vector <int> vi ;
typedef vector <pii> vii ;
typedef queue <int> qi ;
typedef set <int> si ;
typedef map <int, int> mii ;
typedef map <string, int> msi ;
const int N = 100010 ;
const int INF = 0x3f3f3f3f ;
const int iinf = 1 << 30 ;
const ll linf = 2e18 ;
const int MOD = 1000000007 ;
const double eps = 1e-7 ;
void print(int x) { cout << x << endl ; exit(0) ; }
void PRINT(string x) { cout << x << endl ; exit(0) ; }
void douout(double x){ printf("%lf\n", x + 0.0000000001) ; }

int T, n ;
int a[N] ;

signed main(){
	scanf("%d", &T) ;
	while (T--) {
		scanf("%d", &n) ;
		rep(i, 1, n) scanf("%d", &a[i]) ;
		sort(a + 1, a + n + 1) ;
		int tmp = 0, head = 1 ;
		if (n % 2 == 1) tmp = a[1] - 1, head++ ;
		for (int i = head; i <= n; i += 2) {
			tmp ^= (a[i + 1] - a[i] - 1) ;
		}
		if (tmp) puts("Georgia will win") ;
		else puts("Bob will win") ;
	}
	return 0 ;
}

/*
写代码时请注意：
	1.ll？数组大小，边界？数据范围？
	2.精度？
	3.特判？
	4.至少做一些
思考提醒：
	1.最大值最小->二分？
	2.可以贪心么？不行dp可以么
	3.可以优化么
	4.维护区间用什么数据结构？
	5.统计方案是用dp？模了么？
	6.逆向思维？
*/