【bzoj1067】【SCOI2007】【降雨量】【线段树+分类讨论】

Description

　　我们常常会说这样的话：“X年是自Y年以来降雨量最多的”。它的含义是X年的降雨量不超过Y年，且对于任意
Y＜Z＜X，Z年的降雨量严格小于X年。例如2002，2003，2004和2005年的降雨量分别为4920，5901，2832和3890，
则可以说“2005年是自2003年以来最多的”，但不能说“2005年是自2002年以来最多的”由于有些年份的降雨量未
知，有的说法是可能正确也可以不正确的。

Input

　　输入仅一行包含一个正整数n，为已知的数据。以下n行每行两个整数yi和ri，为年份和降雨量，按照年份从小
到大排列，即yi＜yi+1。下一行包含一个正整数m，为询问的次数。以下m行每行包含两个数Y和X，即询问“X年是
自Y年以来降雨量最多的。”这句话是必真、必假还是“有可能”。

Output

　　对于每一个询问，输出true，false或者maybe。

Sample Input

6
2002 4920
2003 5901
2004 2832
2005 3890
2007 5609
2008 3024
5
2002 2005
2003 2005
2002 2007
2003 2007
2005 2008

Sample Output

false
true
false
maybe
false

HINT

100%的数据满足：1<=n<=50000, 1<=m<=10000, -10^9<=yi<=10^9, 1<=ri<=10^9

题解：

           首先离散年份,注意年份不一定是连续的,所以在两个相隔大于1的年份之间要手动加一个年份.

           未知年份可以把降雨量赋成负无穷,这样比较好处理.判断一个年份是否未知可以用map.

           然后就是复杂的分类讨论+线段树基本操作了。

           讨论的时候可以先把一些特殊情况判掉,然后再分y未知和y已知,接着分x已知x未知.

代码:

#include<iostream>
#include<cstdio>
#include<cstring>
#include<map>
#include<algorithm>
#define N 50010
#define INF 2100000000
using namespace std;
int n,m,x,y,tot,st[N<<2],cnt,a[N<<2],num,h[N<<2];
struct use{int x,y;}q[N],p[N];
struct seg{int mx,mn;}t[N<<3];
map<int,int>mp;
int read(){
  int x(0),f(1);
  char ch=getchar();
  while (ch<'0'||ch>'9') {if (ch=='-') f=-1;ch=getchar();}
  while (ch>='0'&&ch<='9') x=x*10+ch-'0',ch=getchar();
  return x*f;
}
int find(int x){
  int l=1,r=cnt;
  while (l<=r){
    int mid=(l+r)>>1;
    if (x<=h[mid]) r=mid-1;
    else l=mid+1;
  }
  return l;
}
seg update(seg a,seg b){
  seg c;
  c.mx=max(a.mx,b.mx);
  c.mn=min(a.mn,b.mn);
  return c;
}
seg query(int k,int l,int r,int ll,int rr){
  int mid=(l+r)>>1;
  if (l==ll&&r==rr){return t[k];}
  if (rr<=mid) return query(k<<1,l,mid,ll,rr);
  else if (mid<ll) return query(k<<1|1,mid+1,r,ll,rr);
  else return update(query(k<<1,l,mid,ll,mid),query(k<<1|1,mid+1,r,mid+1,rr)); 
}
void build(int k,int l,int r){
   int mid=(l+r)>>1;
   if (l==r) {t[k].mx=t[k].mn=a[l];return;}
   build(k<<1,l,mid);
   build(k<<1|1,mid+1,r);
   t[k]=update(t[k<<1],t[k<<1|1]); 
}
int main(){
  n=read();
  for (int i=1;i<=n;i++){
  	p[i].x=read();p[i].y=read();
    st[++tot]=p[i].x;mp[p[i].x]=1;
  }	
  m=read();
  for (int i=1;i<=m;i++){
    q[i].x=read();q[i].y=read();
    st[++tot]=q[i].x;st[++tot]=q[i].y;
  }
  sort(st+1,st+tot+1);
  for (int i=1;i<=tot;i++) if (st[i]!=st[i-1]) st[++num]=st[i];
  for (int i=1;i<=num;i++){
    h[++cnt]=st[i];
	if (st[i]+1<st[i+1]) h[++cnt]=st[i]+1; 
  }
  for (int i=1;i<=cnt;i++) a[i]=-INF;
  for (int i=1;i<=n;i++) a[find(p[i].x)]=p[i].y;
  build(1,1,cnt);
  for (int i=1;i<=m;i++){
    int x=find(q[i].x),y=find(q[i].y);
    if (y<x){printf("false\n");continue;}
    if (a[x]<a[y]&&a[x]!=-INF){printf("false\n");continue;}
    if (y-x==1){
      if (a[y]==-INF||a[x]==-INF){printf("maybe\n");continue;}
	  if (a[y]<=a[x]){printf("true\n");continue;}
	}
    seg tt=query(1,1,cnt,x+1,y-1);
    if (!mp[q[i].y]){
      if (!mp[q[i].x]){printf("maybe\n");continue;}
      if (tt.mx>=a[x]){printf("false\n");continue;}
      printf("maybe\n");
    } 
    else{
      if (tt.mx>=a[y]){printf("false\n");continue;}
	  if (!mp[q[i].x]){printf("maybe\n");continue;}
	  if (tt.mn==-INF){printf("maybe\n");continue;}
	  printf("true\n");	
    }
  }
}