DTOJ 2935:询问（bales）

DTOJ 2935:询问（bales）

【题目描述】

有一个长度为 $n$的正整数序列，序列中元素两两不同。

你不知道这个序列是什么。

现在有 $Q$个询问 $l,r$，每次询问序列中区间 $[l,r]$的最小值，有一个人回答了这 $Q$个问题。

但是他不太靠谱，回答可能会自相矛盾。

于是我们要求出一个最小的 $p$，回答第 $p$个询问后出现了答案自相矛盾的情况。如果所有 $Q$个答案是不互相矛盾的，就输出 $0$。

【输入】

第一行两个整数 $n,Q$。

接下来 $Q$行，第 $i$行三个整数 $l_i,r_i,an{s}_i$，表示第 $i$个询问 $[l_i,r_i]$，回答的答案为 $an{s}_i$。( $1\le an{s}_i\le {10}^9$)

【输出】

按照题目要求输出一行一个整数。

【样例输入】

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

【样例输出】

3

【分析】

   考虑二分答案，接下来判断前mid个询问是否矛盾。 把所有询问按照答案从大到小排序，把答案相同的那些询问放在一起，求出区间交及区间并，如果区间交为空说明序列中有重复数字，直接无解；否则我们看看区间交是否全被覆盖，如果全被覆盖显然之前的区间答案错误产生矛盾，如果没全被覆盖我们就把区间并（由于区间交不为空区间并显然是一段连续区间） 进行覆盖。用线段树维护即可。

【代码】

#include<bits/stdc++.h>
using namespace std;
struct question
{
    int l,r,ans;
    bool operator < ( const question &x ) const { return ans>x.ans; }
}qs[25002];
int n,q,L[25002],R[25002],Ans[25002];
bool t[5000005];
inline bool query ( int k,int l,int r,int x,int y )
{
    int m=(l+r)>>1;
    if ( t[k] ) t[k<<1]=t[k<<1|1]=t[k];
    if ( l==x && r==y ) return t[k];
    if ( y<=m ) return query(k<<1,l,m,x,y);
    if ( x>m ) return query(k<<1|1,m+1,r,x,y);
    return query(k<<1,l,m,x,m)&query(k<<1|1,m+1,r,m+1,y);
}
inline void change ( int k,int l,int r,int x,int y )
{
    int m=(l+r)>>1;
    if ( l==x && r==y ) t[k]=1;
    else if ( m>=y ) change(k<<1,l,m,x,y);
    else if ( m<x ) change(k<<1|1,m+1,r,x,y);
    else change(k<<1,l,m,x,m),change(k<<1|1,m+1,r,m+1,y);
    if ( !t[k] ) t[k]=t[k<<1]&t[k<<1|1];
}
inline bool check ( int m )
{
    memset(t,0,sizeof(t));int l=0,r=1e9,x=1e9,y=0;
    for ( int i=1;i<=m;i++ ) qs[i].l=L[i],qs[i].r=R[i],qs[i].ans=Ans[i];
    sort(qs+1,qs+m+1);qs[m+1].ans=0;
    for ( int i=1;i<=m;i++ )
    {
        l=max(l,qs[i].l),r=min(r,qs[i].r);x=min(x,qs[i].l),y=max(y,qs[i].r);
        if ( qs[i].ans!=qs[i+1].ans )
        {
            if ( l>r || query(1,1,n,l,r) ) return true;
            change(1,1,n,x,y);y=l=0,x=r=1e9;
        }
    }
    return false;
}
int main()
{
    scanf("%d%d",&n,&q);int l=1,r=q+1;
    for ( int i=1;i<=q;i++ ) scanf("%d%d%d",&L[i],&R[i],&Ans[i]);
    while ( l<r )
    {
        int m=(l+r)>>1;
        if ( check(m) ) r=m;
        else l=m+1;
    }
    return printf("%d\n",l%(q+1));
}