种类并查集 + 离散化

//http://acm.timus.ru/problem.aspx?space=1&num=1003
//分析：树和递归最常用的思想是分治；并查集是一种合并树的数据结构；合并树或加入树节点时，我们只在意新建立的树边上相邻的两个树节点之间的关系，实际上树边只在意相邻两个树节点之间的关系
//思路：可以讲一段连续区间的奇偶性表示成两个前缀和的奇偶性；将出现的离散的点用map离散化一下；将数量减少的点做一次种类并查集

#include"iostream"
#include"cstdio"
#include"cstring"
#include"map"
using namespace std;
const int N = 5010;
int rt[N<<1],w[N<<1];   //带权（种类）并查集 begin，end
map<int,int> mp;    //离散化，begin
int tot;    //离散化，end
int n,m,l,r;    //输入，begin
char str[10];   //输入，end

void paco(int a)
{
    if(rt[a]==a) {  //分治终点
        return ;
    }
    paco(rt[a]);    //分治
    w[a] ^= w[rt[a]];   //回溯，begin 注：树根的w一定为0,我们只在意树边上的信息即可
    rt[a] = rt[rt[a]];     //回溯，end 注：我们只在意树边上的信息即可
}

bool unio(int a,int b,int cnd)  //路径压缩 + 条件判断（合法性判断+树的合并）
{
    paco(a);
    paco(b);
    int rt_a = rt[a],rt_b = rt[b];
    if(rt_a==rt_b) {
        return w[a]^w[b]^(!cnd);    //搞个卡诺图化简一下
    }
    else {
        rt[rt_a] = rt_b;
        w[rt_a] = (w[a]+w[b]+cnd)&1;    //搞个状态转换图推一下，因为树根的w为0，所以两根之间的关系就是新树边的w值 注：我们只在意树边上的信息即可
    }
    return true;
}

int main()
{
    int i,res;
    bool ok;
    while(scanf("%d",&n)!=EOF&&n!=-1) {
        scanf("%d",&m);
        for(i = 0; i<=m; ++i) {
            rt[i] = i;
        }
        memset(w,0,sizeof(int)*(m+1));
        mp.clear();
        tot = 1;
        res = 0;
        ok = 1;
        for(i = 1; i<=m; ++i) {
            scanf("%d%d%s",&l,&r,str);
            if(mp.find(l-1)==mp.end()) {    //离散化，begin
                mp[l-1] = tot++;
            }
            if(mp.find(r)==mp.end()) {
                mp[r] = tot++;
            }                               //离散化，end
            if(unio(mp[l-1],mp[r],str[0]=='o')) {
                if(ok) {
                    ++res;
                }
            }
            else {
                ok = 0;
            }
        }
        printf("%d
",res);
    }
    return 0;
}

//拓展：map具有对数搜索，去除和插入操作的复杂度，可以用hash做离散化优化一下