Poj 3657 Haybale Guessing（二分+并查集）

题目:https://vjudge.net/problem/POJ-3657
参考:http://m.blog.csdn.net/wang2147483647/article/details/60142150

【分析】数轴上有n个点，没个点上的值都不同。然后给你Q次询问和答案，输入l,r,x，表示在区间[l,r]最小值为x，然后问你最早在哪个地方出现矛盾。
 区间染色问题，可以用并查集来做。先二分出现矛盾的地方p，然后将1~p的询问值按大到小排序，若对于最小值相同的区间中出现不相交的两个区间，那么矛盾出现。
 那么合法的情况就是这些最小值相同的区间必然是两两相交的，那么记录最小的左端点L和最大的右端点R，然后将[L,R]与L-1合并。所以在判断的时候还有判一下
 当前最小值相同的区间的交集是否之前出现过，若出现过，则矛盾。

#include<cstdio>
#include<cstring>
#include<iostream>
#include<algorithm>
using namespace std;
const int maxn=1e6+50;
const int maxq=25000+50;
struct Node
{
    int l,r,num;
};
int n,q;
int fa[maxn];
Node a[maxq];
Node tmp[maxq];
int Find(int x)
{
    int r=x;
    while(r!=fa[r]) r=fa[r];
    int i=x,j;
    while(i!=r)
    {
        j=fa[i];
        fa[i]=r;
        i=j;
    }
    return r;
}
int cmp(Node a,Node b)
{
    return a.num>b.num;
}
int check(int tot)
{
    for(int i=1; i<=n; i++) fa[i]=i;
    for(int i=1; i<=tot; i++) tmp[i]=a[i];
    sort(tmp+1,tmp+tot+1,cmp);
    for(int i=1,j; i<=tot; i=j+1)
    {
        j=i;
        int l=tmp[i].l,r=tmp[i].r;
        int L=tmp[i].l,R=tmp[i].r;
        while(j<tot&&tmp[j].num==tmp[j+1].num)
        {
            j++;
            l=max(l,tmp[j].l),r=min(r,tmp[j].r);    //取交集
            L=min(L,tmp[j].l),R=max(R,tmp[j].r);    //取并集
        }
        if(l>r||l>Find(r)) return 0;    //为空或无未染色点
        while(L<=R)
        {
            if(Find(R)==R)
            {
                fa[R]=Find(L-1);     //染色
                R--;
            }
            else R=fa[R];     //直接跳转到其父节点
        }
    }
    return 1;
}
int main()
{
    scanf("%d%d",&n,&q);
    for(int i=1; i<=q; i++)
        scanf("%d%d%d",&a[i].l,&a[i].r,&a[i].num);
    int l=1,r=q,ans=0;
    while(l<=r)
    {
        int mid=(l+r)>>1;
        if(check(mid)) l=mid+1;
        else
        {
            ans=mid;
            r=mid-1;
        }
    }
    printf("%d\n",ans);
    return 0;
}