poj1733 Parity game

$题目传送门poj1733$

---

题目描述

有一个长度为$N$的01串，给定$M$个信息。信息$l, r, p$表示$sum[l..r]\equiv p (mod 2)$。求出一个最小的$k$，使得第$k+1$句话一定是谎话。

---

题解

这道题目与$luogu2024$相似。
我们知道$sum[l..r]=sum[1..r]-sum[1..l-1]$。
这样就可以把每个前缀和$sum$拆成两个节点：同类$x$，异类$x+n$。
接下来的操作详见$luogu2024$算法题解。
这道题目也与$luogu1196$相似。
博主懒癌晚期没写。

---

总结

这道题目两种方法：
“边带权”并查集：$luogu1196$
“扩展域”并查集：$luogu2024$
这类问题可以采用。

---

标程

#include <cmath>
#include <cstdio>
#include <cstring>
#include <iostream>
#include <algorithm>
using namespace std;
const int N = 5050;
int fa[N << 1];
int find(int x)
{
    return x == fa[x] ? x : fa[x] = find(fa[x]);
}
void merge(int x, int y)
{
    fa[find(x)] = find(y);
}
int main()
{
    int n, m = 0; scanf("%*d%d", &n);
    static int a[N], b[N], d[N << 1];
    static bool c[N];
    for (int i = 1; i <= n; i++)
    {
        char opt[10];
        scanf("%d%d%s", a + i, b + i, opt);
        a[i]--; c[i] = opt[0] == 'o';
        d[++m] = a[i]; d[++m] = b[i];
    }
    sort(d + 1, d + m + 1);
    m = unique(d + 1, d + m + 1) - d - 1;
    for (int i = 1; i <= n; i++)
    {
        a[i] = lower_bound(d + 1, d + m + 1, a[i]) - d;
        b[i] = lower_bound(d + 1, d + m + 1, b[i]) - d;
    }
    for (int i = 1; i <= m * 2; i++)
        fa[i] = i;
    int ans = n + 1;
    for (int i = 1; i <= n; i++)
    {
        if (c[i])
        {
            if (find(a[i]) == find(b[i]))
            {
                ans = i;
                break;
            }
            merge(a[i], b[i] + m);
            merge(a[i] + m, b[i]);
        }
        else
        {
            if (find(a[i]) == find(b[i] + m))
            {
                ans = i;
                break;
            }
            merge(a[i], b[i]);
            merge(a[i] + m, b[i] + m);
        }
    }
    printf("%d\n", ans - 1);
    return 0;
}

---