Luogu P2471
啊啊啊啊这真是一道史上最毒瘤的题目！！！！！
题意就是给出n个年份的降雨量
询问：“自从\(y\)年以来\(x\)年的降雨量最大”的正确性。
显然有多种情况需要考虑，那么就需要通过分类讨论理清程序的逻辑了。
对于“自从\(y\)年以来\(x\)年的降雨量最大”这样一句话，可以转化成如下条件：
\(rain[x]<=rain[y]且\forall a \in [y+1,x-1]有rain[a]<rain[x]\)

经过这样的转化，我们就可以对各种情况进行分类讨论了。
定义：\(query(x,y)\)等于\(rain[x...y]\)的最大值
\[ ①rain[y]未知，rain[x]已知的情况：若此时query(y+1,x-1)>=rain[x]则导出false，反之则导出maybe\\ ②rain[x]未知，rain[y]已知：若此时query(y+1,x-1)>=rain[y]则导出false,反之则导出maybe\\ ③rain[x]、rain[y]均未知：则导出maybe\\ ④两者皆已知：rain[x]>rain[y]导出false；query(y+1,x-1)>=rain[x]导出false\\ 若以上两个条件均不符合，则不可能再导出false\\ 此时再判断：若\exists a \in [y+1,x-1] 有rain[a]未知，则导出maybe\\ 以上所有情况皆不符合则导出true \]

那么剩下的事情就是把这个东西写成代码了。
Query函数可以用线段树或者st表实现。
如果使用线段树，请记住开4倍空间。
否则将像我一样疯狂WA50。（血的教训）

#include<cstdio>
#include<algorithm>
#define lson root<<1
#define rson root<<1|1
#define mid ((l+r)>>1)
using namespace std;
int tree[4*50005],rain[50005],year[50005],n,m,x,y;
void push_up(int root)
{
    tree[root]=max(tree[lson],tree[rson]);
}
void build(int root,int l,int r)
{
    if (l==r)
    {
        tree[root]=rain[l];
        return ;
    }
    build(lson,l,mid);
    build(rson,mid+1,r);
    push_up(root);
}
int query_max(int root,int l,int r,int al,int ar)
{
    if (al<=l&&r<=ar) return tree[root];
    if (l>ar||al>r) return 0;
    int ret=0;
    ret=max(ret,query_max(lson,l,mid,al,ar));
    ret=max(ret,query_max(rson,mid+1,r,al,ar));
    return ret;
}
int main()
{
    scanf("%d",&n);
    for (int i=1;i<=n;i++) scanf("%d%d",&year[i],&rain[i]);
    build(1,1,n);
    scanf("%d",&m);
    for (int i=1;i<=m;i++)
    {
        scanf("%d%d",&y,&x);
        if (x<=y) 
        {
            printf("false\n");
            continue;
        }
        int locx=lower_bound(year+1,year+n+1,x)-year;
        int locy=lower_bound(year+1,year+n+1,y)-year;
        if (x==y+1)//其实不需要特判，只要在query函数中加一个判断，如果区间不合法则返回0即可。
        {
            if (year[locx]!=x) printf("maybe\n");
            else if (year[locy]!=y) printf("maybe\n");
            else if (rain[locx]<=rain[locy]) printf("true\n");
            else printf("false\n");
            continue;
        } 
        else
        {
            int lx=year[locx],ly=year[locy];
            if (lx==x&&ly!=y)
            {
                if (query_max(1,1,n,locy,locx-1)>=rain[locx]) printf("false\n");
                else printf("maybe\n");
            }
            if (lx!=x&&ly==y)
            {
                if (query_max(1,1,n,locy+1,locx-1)>=rain[locy]) printf("false\n");
                else printf("maybe\n"); 
            }
            if (lx!=x&&ly!=y) printf("maybe\n");
            if (lx==x&&ly==y)
            {
                if (rain[locx]<=rain[locy])
                {
                    if (query_max(1,1,n,locy+1,locx-1)<rain[locx])
                    {
                        if (locx-locy==x-y) printf("true\n");
                        else printf("maybe\n");
                    }
                    else printf("false\n");
                }
                else printf("false\n");
            }
        }
    }
    return 0;
}