奇偶游戏（边带权/扩展域并查集）

描述

有一个长度为n的01序列，m次回答，每次会给你 l 与 r，告知 l ~ r 之间有奇数个1还是偶数个1。求一个最小的k满足1~k之间的回答存在一个01序列满足，但是1 ~ k + 1的回答不存在。

链接

---

分析

用sum[i]表示 1 ~ i 之间1个的个数。

1. l ~ r 有偶数个1，等价于 sum[l-1] 与 sum[r] 的奇偶性相同
2. l ~ r 有奇数个1，等价于 sum[l-1] 与 sum[r] 的奇偶性不同

因此，这题与“程序自动分析”很相似------给定若干变量和关系，判断这些关系可满足性的问题，但本题的传递关系不止一种。

n是$10^9$，m是$10^4$所以还要离散化。

做法1：边带权

记录每个点到根节点距离奇偶性。
先检查 x 和 y 是否在同一集合（奇偶关系是否已知）。get(x)、get(y)执行后，d[x] xor d[y] 就是 x 和 y 的奇偶关系。若 d[x] xor d[y] != z (z是给出的两点奇偶性) 则到该回答就不满足了。
若 x 与 y 不在一个集合，get(x)、get(y)后，由 d[x] ^ ? ^ d[y] = z，解出 ? = d[x] ^ d[y] ^ z，即 x根 接到 y根 后 x 根节点设置的距离。

代码

#include <bits/stdc++.h>
using namespace std;
#define fi first
#define se second
#define pii pair<int,int>
#define pll pair<ll,ll>
#define pli pair<ll,int>
#define Min(a,b,c)  min(a,min(b,c))
#define Max(a,b,c)  max(a,max(b,c))

typedef long long ll;
typedef unsigned long long ull;

const double pi = 3.141592653589793;
const double eps = 1e-8;
const int INF = 0x3f3f3f3f;

const int M = 10010;

int fa[M << 1], d[M << 1];
unordered_map<int, int> mp;

int get(int x)
{
    if (fa[x] == x) return x;
    int r = get(fa[x]);
    d[x] ^= d[fa[x]];
    return fa[x] = r;
}

int main()
{
    int n, m;
    scanf("%d%d", &n, &m);
    for (int i = 1; i < (M << 1); i++) fa[i] = i, d[i] = 0;
    n = 0;
    int res = m;
    for (int i = 1; i <= m; i++)
    {
        int x, y, z;
        char s[6];
        scanf("%d%d%s", &x, &y, s);
        if (mp.find(x - 1) == mp.end()) mp[x - 1] = ++n; x = mp[x - 1]; // 无序离散化
        if (mp.find(y) == mp.end()) mp[y] = ++n; y = mp[y];
        z = s[0] == 'e' ? 0 : 1;
        int rx = get(x), ry = get(y);
        if (rx == ry)
        {
            if ((d[x] ^ d[y]) != z) 
            {
                res = i - 1;
                break;
            }
        }
        else
        {
            d[rx] = d[x] ^ d[y] ^ z;
            fa[rx] = ry;
        }
    }
    printf("%d\n", res);
    return 0;
}

做法2：扩展域

每个变量x拆成两个节点 x_odd 与 x_even。
若z=0，则合并x_odd，y_odd 和 x_even，y_even，表示他们可以互相推出，是等价的信息。
若z=1，则合并x_odd，y_even 和 x_even，y_odd，表示他们可以互相推出，是等价的信息。
在处理每个回答之前，还是要先检查矛盾，若x_odd与y_odd在同一集合，则表示x与y奇偶性相同，若x_odd与y_even在同一集合，则表示x与y奇偶性不同。

代码

#include <bits/stdc++.h>
using namespace std;
#define fi first
#define se second
#define pii pair<int,int>
#define pll pair<ll,ll>
#define pli pair<ll,int>
#define Min(a,b,c)  min(a,min(b,c))
#define Max(a,b,c)  max(a,max(b,c))

typedef long long ll;
typedef unsigned long long ull;

const double pi = 3.141592653589793;
const double eps = 1e-8;
const int INF = 0x3f3f3f3f;

const int M = 20010;

int fa[M << 1];
unordered_map<int, int> mp;

int get(int x)
{
    if (fa[x] == x) return x;
    return fa[x] = get(fa[x]);
}

int main()
{
    int n, m;
    scanf("%d%d", &n, &m);
    for (int i = 1; i < (M << 1); i++) fa[i] = i;
    n = 0;
    int res = m;
    for (int i = 1; i <= m; i++)
    {
        int x, y, z;
        char s[6];
        scanf("%d%d%s", &x, &y, s);
        if (mp.find(x - 1) == mp.end()) mp[x - 1] = ++n; x = mp[x - 1]; // 无序离散化
        if (mp.find(y) == mp.end()) mp[y] = ++n; y = mp[y];
        int x_odd = x, x_even = x + M;
        int y_odd = y, y_even = y + M;
        z = s[0] == 'e' ? 0 : 1;
        if (!z)
        {
            if (get(x_even) == get(y_odd))
            {
                res = i - 1;
                break;
            }
            fa[get(x_odd)] = get(y_odd);
            fa[get(x_even)] = get(y_even);
        }
        else
        {
            if (get(x_odd) == get(y_odd))
            {
                res = i - 1;
                break;
            }
            fa[get(x_odd)] = get(y_even);
            fa[get(x_even)] = get(y_odd);
        }
    }
    printf("%d\n", res);
    return 0;
}