[bzoj1067] [SCOI2007]降雨量

Description

　　我们常常会说这样的话：“X年是自Y年以来降雨量最多的”。它的含义是X年的降雨量不超过Y年，且对于任意Y＜Z＜X，Z年的降雨量严格小于X年。例如2002，2003，2004和2005年的降雨量分别为4920，5901，2832和890，则可以说“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

Solution

线段树求区间最小值，然后疯狂讨论。。

反正把它当成一个模拟题来做就好了。

新人求助，本机AC，提交RE

#include<bits/stdc++.h>
using namespace std;
 
void read(int &x) {
    x=0;int f=1;char ch=getchar();
    for(;!isdigit(ch);ch=getchar()) if(ch=='-') f=-f;
    for(;isdigit(ch);ch=getchar()) x=x*10+ch-'0';x*=f;
}
 
void print(int x) {
    if(x<0) putchar('-'),x=-x;
    if(!x) return ;print(x/10),putchar(x%10+48);
}
void write(int x) {if(!x) putchar('0');else print(x);putchar('\n');}

const int maxn = 2e5+10;

#define ls p<<1
#define rs p<<1|1
#define mid ((l+r)>>1)

int n,m,a[maxn];

struct Segment_Tree {
	int t[maxn];
	void update(int p) {t[p]=max(t[ls],t[rs]);}
	void build(int p,int l,int r) {
		if(l==r) return t[p]=a[l],void();
		build(ls,l,mid),build(rs,mid+1,r),update(p);
	}
	int query(int p,int l,int r,int x,int y) {
		if(x>y) return 0;
		if(x<=l&&r<=y) return t[p];
		int ans=0;
		if(x<=mid) ans=max(ans,query(ls,l,mid,x,y));
		if(y>mid) ans=max(ans,query(rs,mid+1,r,x,y));
		return ans;
	}
}T;

int y[maxn],l[maxn];

int main() {
	read(n);for(int i=1;i<=n;i++) read(y[i]),read(a[i]);
	T.build(1,1,n);
	for(int i=1;i<=n;i++) if(y[i]==y[i-1]+1) l[i]=l[i-1];else l[i]=i;
	read(m);
	for(int i=1,r,s;i<=m;i++) {
		read(r),read(s);
		int nr=lower_bound(y+1,y+n+1,r)-y,ns=lower_bound(y+1,y+n+1,s)-y,x,w;
		if(y[nr]!=r&&y[ns]!=s) {puts("maybe");continue;}
		if(y[ns]!=s) {
			x=a[nr];if(nr==ns-1) {puts("maybe");continue;}
			w=T.query(1,1,n,nr+1,ns-1);
			if(w>=x) puts("false");
			else puts("maybe");
		} else if(y[nr]!=r) {
			x=a[ns];if(nr==ns) {puts("maybe");continue;}
			w=T.query(1,1,n,nr,ns-1);
			if(w>=x) puts("false");
			else puts("maybe");
		} else {
			if(a[nr]<a[ns]) {puts("false");continue;}
			if(r==s-1) {puts("true");continue;}
			if(nr==ns||nr+1==ns) {puts("maybe");continue;}
			w=T.query(1,1,n,nr+1,ns-1);
			if(w>=a[ns]) puts("false");
			else if(l[ns]<=nr) puts("true");
			else puts("maybe");
		}
	}
	return 0;
}