BZOJ1067 [SCOI2007]降雨量

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

题解

这一题比较坑的地方就算要询问一些每给的点，所以我们有很多情况要讨论。
显然，我们要离散化，然后再不不连续的年份之间插入一个未知点。
对于未知点的询问，能用lower_bound找到其应该存在的位置。

对于一个询问，

如果起点与终点是已知点，那么如果
起点的值小于终点或者开区间的最大值比终点大，就是false
否则如果区间存在未知点，就是maybe
否则为true。

如果起点已知，终点未知
如果起点到终点的最大值比起点大，则为false
否则为maybe

如果起点未知，终点已知
如果起点到终点的最大值比终点大，则为false
否则为maybe

如果起点终点均未知，为maybe
如果起点等于终点均未知，true

用线段树维护区间最大与是否有未知点，讨论一下就行。