Haybale Guessing

Haybale Guessing

Time Limit: 1000MS		Memory Limit: 65536K

Description

The cows, who always have an inferiority complex about their intelligence, have a new guessing game to sharpen their brains.

A designated 'Hay Cow' hides behind the barn and creates N (1 ≤ N ≤ 1,000,000) uniquely-sized stacks (conveniently numbered 1..N) of hay bales, each with 1..1,000,000,000 bales of hay.

The other cows then ask the Hay Cow a series of Q (1 ≤ Q ≤ 25,000) questions about the the stacks, all having the same form:

What is the smallest number of bales of any stack in the range of stack numbers Q_l..Q_h (1 ≤ Q_l ≤ N; Q_l ≤ Q_h ≤ N)?

The Hay Cow answers each of these queries with a single integer A whose truthfulness is not guaranteed.

Help the other cows determine if the answers given by the Hay Cow are self-consistent or if certain answers contradict others.

Input

* Line 1: Two space-separated integers: N and Q
* Lines 2..Q+1: Each line contains three space-separated integers that represent a single query and its reply: Q_l, Q_h, and A

Output

*
Line 1: Print the single integer 0 if there are no inconsistencies
among the replies (i.e., if there exists a valid realization of the hay
stacks that agrees with all Q queries). Otherwise, print the index from
1..Q of the earliest query whose answer is inconsistent with the answers
to the queries before it.

Sample Input

20 4
1 10 7
5 19 7
3 12 8
11 15 12

Sample Output

3
分析：二分答案，然后按A从大到小遍历；
　　　对于相同的值A，判断区间交是否成立，然后覆盖区间并；
　　　覆盖的过程可以用线段树或并查集实现；
　　　注意离散化过程排除[a,b]!=[a,a]U[b,b](a>b+1);
　　　可以排序后再在相邻的差值>1的点之间插值；
代码：

#include <iostream>
#include <cstdio>
#include <cstdlib>
#include <cmath>
#include <algorithm>
#include <climits>
#include <cstring>
#include <string>
#include <set>
#include <bitset>
#include <map>
#include <queue>
#include <stack>
#include <vector>
#include <cassert>
#define rep(i,m,n) for(i=m;i<=n;i++)
#define mod 1000000007
#define inf 0x3f3f3f3f
#define vi vector<int>
#define pb push_back
#define mp make_pair
#define fi first
#define se second
#define ll long long
#define pi acos(-1.0)
#define pii pair<int,int>
#define sys system("pause")
const int maxn=1e6+;
const int N=2e5+;
using namespace std;
int id(int l,int r){return l+r|l!=r;}
ll gcd(ll p,ll q){return q==?p:gcd(q,p%q);}
ll qpow(ll p,ll q){ll f=;while(q){if(q&)f=f*p%mod;p=p*p%mod;q>>=;}return f;}
int n,m,k,t,mi[maxn<<],tag[maxn<<],q,ql[maxn],qr[maxn],qt[maxn],ip[maxn],cnt;
double a[maxn];
bool cmp(int x,int y){return qt[x]>qt[y];}
void pdw(int x,int y,int rt)
{
    int mid=x+y>>,ls=id(x,mid),rs=id(mid+,y);
    mi[ls]=mi[rs]=tag[rt];
    tag[ls]=tag[rs]=tag[rt];
    tag[rt]=;
}
void pup(int x,int y,int rt)
{
    int mid=x+y>>;
    mi[rt]=min(mi[id(x,mid)],mi[id(mid+,y)]);
}
void init(int l,int r,int rt)
{
    mi[rt]=;
    tag[rt]=;
    if(l==r)return;
    int mid=l+r>>;
    init(l,mid,id(l,mid));
    init(mid+,r,id(mid+,r));
}
void upd(int x,int y,int z,int l,int r,int rt)
{
    if(x==l&&y==r)
    {
        mi[rt]=z;
        tag[rt]=z;
        return;
    }
    int mid=l+r>>;
    if(tag[rt])pdw(l,r,rt);
    if(y<=mid)upd(x,y,z,l,mid,id(l,mid));
    else if(x>mid)upd(x,y,z,mid+,r,id(mid+,r));
    else upd(x,mid,z,l,mid,id(l,mid)),upd(mid+,y,z,mid+,r,id(mid+,r));
    pup(l,r,rt);
}
int gao(int x,int y,int l,int r,int rt)
{
    if(x==l&&y==r)return mi[rt];
    int mid=l+r>>;
    if(tag[rt])pdw(l,r,rt);
    if(y<=mid)return gao(x,y,l,mid,id(l,mid));
    else if(x>mid)return gao(x,y,mid+,r,id(mid+,r));
    else return min(gao(x,mid,l,mid,id(l,mid)),gao(mid+,y,mid+,r,id(mid+,r)));
}
bool ok(int x)
{
    int i,j;
    init(,cnt,id(,cnt));
    rep(i,,x)ip[i]=i;
    sort(ip+,ip+x+,cmp);
    for(i=;i<=x;)
    {
        int l=ql[ip[i]],r=qr[ip[i]],xl=l,xr=r;
        j=i;
        while(j+<=x&&qt[ip[j+]]==qt[ip[i]])l=max(l,ql[ip[j+]]),r=min(r,qr[ip[j+]]),xl=min(xl,ql[ip[j+]]),xr=max(xr,qr[ip[j+]]),j++;
        if(l>r)return false;
        if(gao(l,r,,cnt,id(,cnt))>qt[ip[i]])return false;
        upd(xl,xr,qt[ip[i]],,cnt,id(,cnt));
        i=j+;
    }
    return true;
}
int main()
{
    int i,j;
    scanf("%d%d",&n,&q);
    rep(i,,q)
    {
        scanf("%d%d%d",&ql[i],&qr[i],&qt[i]);
        if(ql[i]>qr[i])swap(ql[i],qr[i]);
        a[++cnt]=ql[i],a[++cnt]=qr[i];
    }
    sort(a+,a+cnt+);
    for(i=cnt;i>=;i--)if(a[i]>a[i-]+)a[++cnt]=a[i-]+;
    sort(a+,a+cnt+);
    cnt=unique(a+,a+cnt+)-a-;
    rep(i,,q)
    {
        ql[i]=lower_bound(a+,a+cnt+,ql[i])-a;
        qr[i]=lower_bound(a+,a+cnt+,qr[i])-a;
    }
    int l=,r=q,ret;
    while(l<=r)
    {
        int mid=l+r>>;
        if(ok(mid))ret=mid,l=mid+;
        else r=mid-;
    }
    assert(ret>=&&ret<=q);
    printf("%d\n",ret+<=q?ret+:);
    return ;
}