bzoj1067——SCOI2007降雨量（线段树，细节题）

一眼看过去QwQ
这个题难道不是区间维护最大值，不就OK了吗？
一写，发现完美gg！！

进入正题：

首先我们发现年份是非常大的，所以需要将离散化，同时又方便我们统计有没有未知的年份\(maybe\)的

那么我们就从小到大依次将年份标号为\(1 - n\)，然后如果当前的年份比前一个年份大1以上，那么就将给他赋一个1的权值

那么我们统计两个年份之间有没有未知的年的时候，我们需要求一个区间和，就可以得知了

接下来是处理询问，首先我们要知道询问种给定的两个年份不一定是都知道的
那么我们应该怎么判断这个年份是不是知道的呢？

只需要开一个数组，记录所有出现的年份，然后\(lower_bound\)一下，看一下和它本身一不一样就行了

int getpos(int x)
{
   if (x<ss[1]) return ss[1];
   if (x>ss[n]) return ss[n];
   return ss[lower_bound(ss,ss+1+n,x)-ss];
}

所以需要分类讨论：

当$x!=getpos（x） 且 y!=getpos(y) \(的时候，一定是\)maybe$

当$x==getpos（x） 且 y!=getpos(y) $的时候，我们需要把y跳到第一个已知的年（就是比他小的最大的）

if (y>ss[n]) y=ss[n];
       else
         y=ss[lower_bound(ss,ss+1+n,y)-ss-1];

然后比较中间的数，是否都小于x，如果存在大于等于的x的年份，那一定是\(false\)否则就是\(maybe\)

当\(x!=getpos（x） 且 y==getpos(y)\)的时候，同理

当\(x==getpos（x） 且 y==getpos(y)\)的时候

我们就是要满足\(x\ge y>z 其中z\in[x+1,y-1]\)就可以，那么求一个中间区间的最大值，然后比较一下就可以
如果中间区间的query不等于区间长度，那就是maybe
我建议，就是先判断\(false\)接着判断\(true\)else就是\(maybe\)

一些细节之间看代码吧

上代码

#include<iostream>
#include<cstdio>
#include<algorithm>
#include<cstring>
#include<cmath>
#include<cstdlib>
#include<queue>
#include<map>
#include<vector>

using namespace std;

inline int read()
{
  int x=0,f=1;char ch=getchar();
  while (!isdigit(ch)) {if (ch==‘-‘) f=-1;ch=getchar();}
  while (isdigit(ch)) {x=(x<<1)+(x<<3)+ch-‘0‘;ch=getchar();}
  return x*f;
}

const int maxn = 300010;

struct Node{
    int mx,mn;
    int sum;
};

Node f[4*maxn];
int n,m;
int a[maxn];
int c[maxn];

void up(int root)
{
    f[root].mx=max(f[2*root].mx,f[2*root+1].mx);
    f[root].mn=min(f[2*root].mn,f[2*root+1].mn);
    f[root].sum=f[2*root].sum+f[2*root+1].sum;
}

void build(int root,int l,int r)    
{
    if (l==r)
    {
        f[root].mn=f[root].mx=a[l];
        f[root].sum=c[l];
        return;
    }
    int mid = (l+r) >> 1;
    build(2*root,l,mid);
    build(2*root+1,mid+1,r);
    up(root);
}

int querymax(int root,int l,int r,int x,int y)
{
    if (l>r || x>y) return -2e9;
    if (x<=l && r<=y)
    {
        return f[root].mx;
    }
    int mid = (l+r) >> 1;
    int ans = -2e9;
    if (x<=mid) ans=max(ans,querymax(2*root,l,mid,x,y));
    if (y>mid) ans=max(ans,querymax(2*root+1,mid+1,r,x,y));
    return ans;
}

int querysum(int root,int l,int r,int x,int y)
{
    if (l>r || x>y) return 0;
   if (x<=l && r<=y)
   {
     return f[root].sum;
   }
   int mid = (l+r) >> 1;
   int ans = 0;
   if (x<=mid) ans+=querysum(2*root,l,mid,x,y);
   if (y>mid) ans+=querysum(2*root+1,mid+1,r,x,y);
   return ans;
}

int front;
int ss[maxn];

int getpos(int x)
{
   if (x<ss[1]) return ss[1];
   if (x>ss[n]) return ss[n];
   return ss[lower_bound(ss,ss+1+n,x)-ss];
}

int get(int x)
{
    if (x<ss[1]) return 1;
    if (x>ss[n]) return n;
    return lower_bound(ss,ss+1+n,x)-ss;
}

int main()
{
  scanf("%d",&n);
  c[1]=1;
  for (int i=1;i<=n;i++)
  {
      int x,y;
      scanf("%d",&x);
      scanf("%d",&a[i]);
      if (i!=1 && x-front==1) c[i]=1;
      ss[i]=x;
      front=x;
  } 
  ss[++n]=2e9; ss[0]=-2e9;
  build(1,1,n);
 
 
  scanf("%d",&m);
 // cout<<querymax(1,1,n,2,4)<<endl;
  for (int i=1;i<=m;i++)
  {
     int x,y;
     x=read(),y=read();
     if (x!=getpos(x) && y!=getpos(y))
     {
        printf("maybe\n");
        continue;
     }
     if (x!=getpos(x))
     {
       x=getpos(x);
       int a1=querymax(1,1,n,get(x),get(y)-1);
       int cnt = a[get(y)];
       if (a1>=cnt) printf("false\n");
       else printf("maybe\n");
       continue;
    }
    if (y!=getpos(y))
     {
       if (y>ss[n]) y=ss[n];
       else
         y=ss[lower_bound(ss,ss+1+n,y)-ss-1];
       int a1=querymax(1,1,n,get(x)+1,lower_bound(ss,ss+1+n,y)-ss);
       //cout<<a1<<endl;
       int cnt = a[get(x)];
       if (a1>=cnt) printf("false\n");
       else printf("maybe\n");
       continue; 
    }
    int l=get(x)+1,r=get(y);
    int cnt = a[get(y)];
    int cnt1=a[get(x)]; 
    int a1=querymax(1,1,n,get(x)+1,get(y)-1);
    int a3=querysum(1,1,n,get(x)+1,get(y));
    if (a1>=cnt || cnt>cnt1) printf("false\n");
    else if (a1<cnt && r-l+1==a3 && cnt<=cnt1) printf("true\n");
    else printf("maybe\n");
  }
  return 0;
}