【香蕉oi】Game（SAM，SG函数，假题）

题意

给出一个串$S$。

然后$n$对$l_i,r_i$，表示$S[l_i,r_i]$这个子串（下标从1开始）。

对于一组子串，玩两种游戏。两种游戏操作相同，就是选一个串，在他后面加上一个字符使他仍旧是$S$的子串。

第一种游戏最后不能操作的人输，第二种游戏最后不能操作的人赢。

对于每个$i\le n$，求前$i$个子串做两个游戏，分别是先手胜还是后手胜。

思路

首先把SAM建出来。发现问题变为了：在一个DAG上，从某个节点出发，走到不能再走为止，不能走的人赢/输。

显然使用SG函数，在SAM上DP。"不能走的输"套上NIM游戏结论，"不能走的赢"套上反NIM游戏结论，问题就解决了。虚假。根据现在已经可以公开的情报，anti-nim游戏并不是总是适用于anti-SG问题。搜索“anti-SG”便可以找到反例。

至于如何快速找到一个子串所在的节点，可以在parent树上倍增，找到深度最深的maxlen大于等于子串长度的节点，就是子串所在节点，一次询问$O(\log |S|)$。倍增的操作我比赛的时候并没有想到，可以说我是菜的不行了。

代码

#include<bits/stdc++.h>
using namespace std;
const int N = 1e6 + 10, M = 5e5 + 10, E = 25;
namespace SAM
{
	const int PN = N<<1, S = 26;
	int last, cnt, fa[PN][E], ch[PN][26], len[PN];
	void reset(){
		last = cnt = 1;
	}
	void Copy(int x, int y){
		for (int i = 0; i < S; ++ i){
			ch[y][i] = ch[x][i];
		}
		fa[y][0] = fa[x][0];
	}
	int insert(char c){
		c -= 'a';
		int p = last, np = ++cnt;
		last = np;
		len[np] = len[p]+1;
		while (p && !ch[p][c]){
			ch[p][c] = np, p = fa[p][0];
		}
		if (p == 0) fa[np][0] = 1;
		else{
			int q = ch[p][c];
			if (len[q] == len[p]+1) fa[np][0] = q;
			else{
				int nq = ++cnt;
				Copy(q, nq);
				len[nq] = len[p]+1;
				fa[q][0] = fa[np][0] = nq;
				while (p && ch[p][c] == q){
					ch[p][c] = nq, p = fa[p][0];
				}
			}
		}
		return np;
	}
}
using namespace SAM;
string s;
int sn, n, q[M][2], dp[PN], pos[N];
bool tmp[S+1];
int ton[N], id[PN];

void fake_sort()
{
	for (int i = 1; i <= cnt; ++ i) ton[len[i]]++;
	for (int i = 1; i <= sn; ++ i) ton[i] += ton[i-1];
	for (int i = cnt; i >= 1; -- i) id[ton[len[i]]--] = i;
}

void get_dp_and_fa()
{
	for (int ii = cnt; ii >= 1; -- ii){
		int i = id[ii];
		memset(tmp, 0, sizeof(tmp));
		for (int j = 0; j < S; ++ j)
			if (ch[i][j]){
				tmp[dp[ch[i][j]]] = 1;
			}
		for (int j = 0; j <= S; ++ j)
			if (tmp[j] == 0){
				dp[i] = j;
				break;
			}
	}
	for (int ii = 1; ii <= cnt; ++ ii){
		int i = id[ii];
		for (int j = 1; j < E; ++ j)
			fa[i][j] = fa[fa[i][j-1]][j-1];
	}
}

int get_u(int u, int _len)
{
	for (int i = E-1; i >= 0; -- i)
		if (len[fa[u][i]] >= _len)
			u = fa[u][i];
	return u;
}

void solve1()
{
	int ans = 0, maxx = 0, cnt = 0;
	for (int i = 1; i <= n; ++ i){
		int l = q[i][0]-1, r = q[i][1]-1;
		int u = get_u(pos[r], r-l+1);
		ans ^= dp[u];
		if (dp[u] == 1) ++ cnt;
		maxx = max(maxx, dp[u]);
		puts(ans ? "Fir" : "Sec");
		if (maxx <= 1 && cnt % 2 == 0) puts("Fir");
		else if (maxx > 1 && ans != 0) puts("Fir");
		else puts("Sec");
	}
}

int main()
{
	ios::sync_with_stdio(false);
	cin >> s >> n;
	sn = s.size();
	for (int i = 1; i <= n; ++ i)
		cin >> q[i][0] >> q[i][1];
	reset();
	for (int i = 0; i < sn; ++ i)
		pos[i] = insert(s[i]);
	fake_sort();
	get_dp_and_fa();
	solve1();
	return 0;
}