洛谷 P5937 [CEOI1999] Parity Game

合集 - 3.26~4.13 蓝桥杯省赛备赛(28)

1.P8687 [蓝桥杯 2019 省 A] 糖果2024-03-252.洛谷 P1115 最大子段和2024-03-253.写模板， 并查集。2024-03-254.洛谷 P1656 炸铁路2024-03-265.写模板，树状数组。2024-03-266.洛谷 P3374 【模板】树状数组 12024-03-267.洛谷 P3368 【模板】树状数组 22024-03-268.洛谷 P9237 [蓝桥杯 2023 省 A] 像素放置2024-03-26

9.洛谷 P5937 [CEOI1999] Parity Game2024-03-27

10.洛谷 P8306 【模板】字典树2024-03-2711.写模板，kmp。2024-03-2712.写模板， LCA。2024-03-2813.洛谷 P1967 [NOIP2013 提高组] 货车运输2024-03-2814.写模板，线段树2024-03-2815.蓝桥杯-百亿富翁2024-03-2916.洛谷 P3372 【模板】线段树 12024-03-2917.模拟比赛-14届研究生组C++省赛2024-04-0118.写模板， 线性筛2024-04-0119.写模板-质数的简单应用2024-04-0220.洛谷 P1196 [NOI2002] 银河英雄传说2024-04-0421.洛谷 P1004 [NOIP2000 提高组] 方格取数2024-04-0422.蓝桥杯 计算方程2024-04-0423.洛谷 P1006 [NOIP2008 提高组] 传纸条2024-04-0524.蓝桥杯-算法赛第9场强者：贝贝的2.02024-04-0825.P1002 [NOIP2002 普及组] 过河卒2024-04-0826.蓝桥杯，推导部分和2024-04-0827.牛客，小红不想做完全背包2024-04-0928.蓝桥杯-岛屿个数2024-04-10

收起

题意：区间长度为n，m个查询。每次查询给出区间与一个数值0或者1，代表区间内的1的个数。找出不矛盾的最后一个询问。

思路：首先用到区间压缩，排序后去重即可。使用带权dsu，如果是同一个root，那么xor运算看是否符合输入。如果不是同一个root，直接合并。这里合并区间的时候权重更新有点抽象，xx合并到yy，使用的是x->xx的权重和y->yy的权重以及设定的op。相较于路径权重是长度时，稍微难理解一点。

class DisjointSet{
public:
    DisjointSet(int sz) : sz_(sz){
        fa_.resize(sz_);
        iota(fa_.begin(), fa_.end(), 0);
        dist_.resize(sz_);
    }

    int findSet(int x){
        updateDist(x);
        return fa_[x];
    }

    bool unionSet(int x, int y, int value){
        int xx = findSet(x);
        int yy = findSet(y);
        if (xx == yy){ return false; }
        fa_[xx] = yy;
        dist_[xx] = dist_[x] ^ dist_[y] ^ value;
        return true;
    }

    int getDist(int x){ updateDist(x); return dist_[x]; }


private:
    vector<int> fa_;
    vector<int> dist_;
    int sz_;

    inline void updateDist(int x){
        if (fa_[x] == x) { return; }
        int parent = fa_[x];
        fa_[x] = findSet(parent);
        dist_[x] ^= dist_[parent];
        return;
    }
};

void solve(){
    int n, m;
    cin >> n >> m;

    set<int> sett;
    vector<pair<int, int>> a(m);
    vector<int> op(m);
    vector<int> b(2 * m, 0);
    for (int i = 0; i < m; ++i){
        cin >> a[i].first >> a[i].second;
        string s;
        cin >> s;
        op[i] = static_cast<int>(s[0] == 'o');
        b[i * 2] = a[i].first;
        b[i * 2 + 1] = a[i].second;
    }

    sort(b.begin(), b.end());
    b.erase(unique(b.begin(), b.end()), b.end());

    DisjointSet dsu(b.size() + 1);
    int index = 0;
    for (int i = 0; i < m; ++i){
        const auto& [x, y] = a[i];
        int l = lower_bound(b.begin(), b.end(), x - 1) - b.begin();
        int r = lower_bound(b.begin(), b.end(), y) - b.begin();
        if (dsu.unionSet(l, r, op[i])){
            continue;
        }
        else if ((dsu.getDist(l) ^ dsu.getDist(r)) != op[i]){
            cout << i << '\n';
            return;
        }
    }

    cout << m << endl;
}