POJ3657

题意：有N<=1,000,000个数，未知。给出Q<=25,000个定义——”第S1——第S2个数中最小的数是A”，问有木有矛盾，若有矛盾，从第几个定义开始有矛盾。注意所有数均互不相等。

思路：二分答案，判断是否有矛盾。关键在于判断，我的方法是对A排序，对每个A，求各个区间的交，若不存在交或交集已完全被某些A”>A的区间染色了，则存在矛盾，否则将A的各个区间并起来染色，继续下一个最大的A”

#include<cstdio>
#include<cstring>
#include<algorithm>
#include<iostream>
using namespace std;
const int INF=1000000000;
int fa[1100000];
int q1[25500],q2[25500],A[25500];
struct Node{
    int s,t,key;
}node[25500];
int cmp(const void *a,const void *b){
    return ((Node *)b)->key-((Node *)a)->key;
}
int ff(int n)
{
    if(n==fa[n])   return n;
    return fa[n]=ff(fa[n]);
}
bool is(int x,int y)
{
    for(int i=y;i>=x;i--)
    if(!fa[i])  return false;
    else i=ff(i);return true;
}
void update(int x,int y)
{
    for(int i=y;i>=x;i--)
    {
        if(!fa[i])   fa[i]=x;
        else{
            i=ff(i);
            if(i>x) fa[i]=x;
        }
    }
}
bool f(int n)
{
    int i,j,m1,m2,k;
    memset(fa,0,sizeof(fa));
    for(i=1;i<=n;i++)
        node[i]=(Node){q1[i],q2[i],A[i]};
    qsort(node+1,n,sizeof(Node),cmp);
    for(i=1;i<=n;i++)
    {
        for(j=i;j<=n&&node[j].key
        ==node[i].key;j++);     j--;
        for(m1=0,m2=INF,k=i;k<=j;k++)
        {
            m1=m1>node[k].s?m1:node[k].s;
            m2=m2<node[k].t?m2:node[k].t;
        }
        if(m1>m2||is(m1,m2))    return 0;
        for(k=i;k<=j;k++)
            update(node[k].s,node[k].t);    i=j;
    }return 1;
}
int Bsearch(int N)
{
    int l=1,r=N,mid;
    if(f(N)) return 0;
    while(l<r-1)
    {
        mid=(l+r)>>1;
        if(f(mid))  l=mid;
        else        r=mid;
    }
    if(!f(r-1))  return r-1;
    return r;
}
int main()
{
    int N,Q,i;
    scanf("%d%d",&N,&Q);
    for(i=1;i<=Q;i++)
        scanf("%d%d%d",&q1[i],&q2[i],&A[i]);
    printf("%d\n",Bsearch(Q));
}