数据结构专题 - 解题报告 - K

这题一开始我看到，反应的是用差分求关系，然后挨个推，但是发现这个做法有很多逻辑上的漏洞填不起来，虽然能过前7个点（捂脸笑），在这种错误的想法中做了各种优化的尝试，后来才意识到！原来是考并查集啊……
但是我原本的想法出发点其实没错，我们知道区间 [l, r] 的区间和为奇数或者偶数，用前缀和差分来考虑就是 sum[r] - sum[l-1] ，l-1和r间的差值为奇数或者偶数。我们可以这么想，如果差值为偶数的话，则sum[l-1]%2 == sum[r]%2 ，我们可以把他们称为“是同类的”。而如果是奇数的话则二者对2取模的结果情况就不一样了，我们称为他们“是异类的”。
有这样的关系：同类的异类是异类，同类的同类是同类，异类的同类是异类，异类的异类是异类。（自己理解一下）
这么想的话是不是就和洛谷中食物链那题蛮像？然后就是一样的写法，规定x+n+1和x是异类，注意不是x+n！因为l-1会存在0的情况，而0+n=n，重复了。然后对于每次询问后，如果没有冲突，就把同类合并到一个并查集里，并且异类之间也合并。询问冲突就很清晰了，经过之前的处理，不该在一个集子里的却在一起了，这就是冲突，打印第一次遇到冲突的循环-1的数字并结束。循环结束还没结束程序的话就ORZQHQH。

#include<bits/stdc++.h>
#define maxn 200005
#define maxm 1000005
#define FOR(a, b, c) for(int a=b; a<=c; a++)
#define hrdg 1000000007
#define inf 2147483647
#define llinf 9223372036854775807
#define ll long long
#define pi acos(-1.0)
#define ls p<<1
#define rs p<<1|1
using namespace std;

int n, m, x, y, t, cnt, enemy[maxm], f[maxm];
char type[5];

inline int read()
{
    char c=getchar();long long x=0,f=1;
    while(c<'0'||c>'9'){if(c=='-') f=-1; c=getchar();}
    while(c>='0'&&c<='9'){x=x*10+c-'0'; c=getchar();}
    return x*f;
}

int fa[maxm<<1];
inline int setfind(int x)
{
    return x == fa[x] ? x : fa[x]=setfind(fa[x]);
}
inline void setadd(int x,int y)//并
{
    x=setfind(fa[x]);
    y=setfind(fa[y]);
    fa[x]=y;
}
inline bool setcheck(int x,int y)//查
{
    x=setfind(x);
    y=setfind(y);
    if(x==y) return true;
    return false;
}

int main()
{
    n = read();
    m = read();
    FOR(i, 0, 2*n+1) fa[i] = i;			//并查集初始化
    FOR(i, 1, m)
    {
        x = read();
        y = read();
        cin>>type;
        if(!strcmp(type, "even"))
            t = 0;
        if(!strcmp(type, "odd"))
            t = 1;
        x--;			//把左端点处理成左端点-1
        if(t == 0)		//偶数
        {
            if(setcheck(x, y+n+1) || setcheck(x+n+1, y))		//因为x和y同类，如果x和y的异类在一起了或者x的异类和y在一起了，就说明可以结束了
            {
                printf("%d", i-1);
                exit(0);
            }
            setadd(x, y); setadd(x+n+1, y+n+1);		//x和y在一起，x的异类和y的异类在一起
        }
        if(t == 1)			//奇数
        {
            if(setcheck(x, y) || setcheck(x+n+1, y+n+1))		//x和y应当是异类，x的异类和y的异类也应当不在一起
            {
                printf("%d", i-1);
                exit(0);
            }
            setadd(x, y+n+1); setadd(x+n+1, y);			//x可以和y的异类在一起，x的异类可以和y在一起
        }
    }
    puts("ORZQHQH");
    return 0;
}