题目

小 A 和小 B 在玩一个游戏。

首先，小 A 写了一个由 0 和 1 组成的序列 S，长度为 N。

然后，小 B 向小 A 提出了 M 个问题。

在每个问题中，小 B 指定两个数 l 和 r，小 A 回答 S[l∼r] 中有奇数个 1 还是偶数个 1。

机智的小 B 发现小 A 有可能在撒谎。

例如，小 A 曾经回答过 S[1∼3] 中有奇数个 1，S[4∼6] 中有偶数个 1，现在又回答 S[1∼6] 中有偶数个 1，显然这是自相矛盾的。

请你帮助小 B 检查这 M 个答案，并指出在至少多少个回答之后可以确定小 A 一定在撒谎。

即求出一个最小的 k，使得 01 序列 S 满足第 1∼k 个回答，但不满足第 1∼k+1 个回答。

输入格式

第一行包含一个整数 N，表示 0101 序列长度。

第二行包含一个整数 M，表示问题数量。

接下来 M 行，每行包含一组问答：两个整数 l 和 r，以及回答 even 或 odd，用以描述 S[l∼r] 中有偶数个 1 还是奇数个 1。

输出格式

输出一个整数 k，表示 01 序列满足第 1∼k 个回答，但不满足第 1∼k+1 个回答，如果 01 序列满足所有回答，则输出问题总数量。

数据范围

N≤10^9,M≤5000

思路

这道题与银河英雄传说思路是相似的。

我们可以想象为L到R的距离是奇数还是偶数（R为根节点）。

两个集合合并的时候，使得其中一个集合S1的祖先节点排到另一个集合S2的末尾，S1中所有的点到根节点的距离加上S1祖先节点到S2祖先节点的距离%2。

代码

#include<bits/stdc++.h>
using namespace std;
const int N = 20010;
int n,m;
int p[N],d[N];
unordered_map<int,int> S;int get(int x)
{if(S.count(x) == 0) S[x] = ++n;return S[x];
}int find(int x)
{if(p[x] != x){int root = find(p[x]);d[x] ^= d[p[x]];p[x] = root;}return p[x];
}int main()
{cin >> n >> m;n = 0;for(int i = 0; i < N; i ++) p[i] = i;int res = m;for(int i = 1; i <= m; i ++){int a,b;string type;cin >> a >> b >> type;a = get(a - 1), b = get(b);int t = 0;if(type == "odd") t = 1;int pa = find(a),pb = find(b);if(pa == pb){if((d[a] ^ d[b] != t)){res = i - 1;break;}}else{p[pa] = pb;d[pa] = d[a] ^ d[b] ^ t;}}cout << res << endl;return 0;
}