HYSBZ - 1067(降雨量)

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

 

分析：RMQ查询，不算难，但需要细心。设查询的年份为 L 和 R （R>L），现在分析为true的情况，则

①：L，R降雨量已知；

②：R 的降雨量小于等于 L ;

③：L，R之间的年份的降雨量全部已知；

④：L，R之间已知的年份的降雨量都严格小于 L 和 R；

同时满足上述4个条件才是true，

而maybe的情况分别是：

1）满足①，②，④，但是不满足③，即L和R之间年份不全部知道，但是知道的都满足条件；

2）L 和 R 都未知；

3）L 未知，但是满足L，R之间已知的年份的降雨量都严格小于R；

4）R 未知，但是满足L，R之间已知的年份的降雨量都严格小于L；

那剩下的情况都只能是false了。

 

代码：

#include<cstdio>
#include<cstring>
#include<iostream>
#include<algorithm>
#include<functional>
using namespace std;

const int N = 5*1e4+10;

int s[N],n,q;
int rmq[N][20];
int year[N];
void init()
{
    memset(rmq,0,sizeof(rmq));
    for(int i=0;i<n;i++) rmq[i][0]=s[i];
    for(int k=1;(1<<k)<=n;k++)
    for(int i=0;i+(1<<k)-1<=n;i++)
    {
        rmq[i][k]=max(rmq[i][k-1],rmq[i+(1<<(k-1))][k-1]);
    }
}

int query(int l,int r)
{
    if(l>r) return -1;
    int k=0;
    while((1<<k)<=r-l+1) k++;
    k--;
    int ans=max(rmq[l][k],rmq[r-(1<<k)+1][k]);
    return ans;
}

int main()
{
    scanf("%d",&n);
    for(int i=0;i<n;i++)  scanf("%d%d",&year[i],&s[i]);
    init();
    scanf("%d",&q);
    while(q--)
    {
        int l,r;
        scanf("%d%d",&l,&r);
        int L=lower_bound(year,year+n,l)-year;
        int R=lower_bound(year,year+n,r)-year;

        if(year[L]==l&&year[R]==r&&r-l==R-L&&s[L]>=s[R])  //所有条件已知
        {
            int st=query(L+1,R-1);
            if(st<s[R]) puts("true");
            else puts("false");
        }
        else if(year[L]==l&&year[R]==r&&r-l!=R-L&&s[L]>=s[R])
        {
            int st=query(L+1,R-1);
            if(st<s[R]) puts("maybe");
            else puts("false");
        }
        else if(year[L]!=l&&year[R]==r)  //左端点未知
        {
            int st=query(L,R-1);
            if(st<s[R]) puts("maybe");
            else puts("false");
        }
        else if(year[L]==l&&year[R]!=r)  //右端点未知
        {
            int st=query(L+1,R-1);
            if(st<s[L]) puts("maybe");
            else puts("false");
        }
        else if(year[L]!=l&&year[R]!=r) puts("maybe");
        else puts("false");
    }
}