nowcoder19762 Princess Principal

链接

点击跳转

题解

分析得到两个性质：

• 如果一个右括号在原来的序列中就找不到配对的左括号，那么这个右括号再任何包含它的子区间中都找不到配对的左括号。
• 一个左括号匹配哪个右括号是一定的，不管是哪个子区间包含它，这个左括号都匹配同一个右括号。

做法：

• 维护每个左括号匹配的有括号的位置，每个右括号匹配的左括号的位置
• 如果一个左括号找不到和他匹配的右括号，则位置设为正无穷；同理，无法匹配的右括号设为负无穷。
• 每次查询的时候，看一下区间里所有左括号想要匹配的有括号的位置是不是不超出区间右端点，看一下区间里的所有右括号想要匹配的左括号的位置是不是超出区间左端点。

查最值可以用ST表

代码

#include <bits/stdc++.h>
#include <ext/pb_ds/assoc_container.hpp>
#include <ext/pb_ds/tree_policy.hpp>
#define iinf 0x3f3f3f3f
#define linf (1ll<<60)
#define eps 1e-8
#define maxn 1000010
#define maxe 1000010
#define cl(x) memset(x,0,sizeof(x))
#define rep(i,a,b) for(i=a;i<=b;i++)
#define drep(i,a,b) for(i=a;i>=b;i--)
#define em(x) emplace(x)
#define emb(x) emplace_back(x)
#define emf(x) emplace_front(x)
#define fi first
#define se second
#define de(x) cerr<<#x<<" = "<<x<<endl
using namespace std;
using namespace __gnu_pbds;
typedef long long ll;
typedef pair<int,int> pii;
typedef pair<ll,ll> pll;
ll read(ll x=0)
{
    ll c, f(1);
    for(c=getchar();!isdigit(c);c=getchar())if(c=='-')f=-f;
    for(;isdigit(c);c=getchar())x=x*10+c-0x30;
    return f*x;
}
struct ST
{
    vector<vector<ll>> st;
    ll (*cmp)(ll,ll);
    ST(vector<ll> v, ll (*Cmp)(ll,ll)=[](ll a, ll b){return min(a,b);})
    {
        ll i, k, N=v.size();
        cmp=Cmp;
        st.emb(v);
        for(k=1;(1<<k)<=N;k++)
        {
            st.emb( vector<ll>(N-(1<<k)+1) );
            rep(i,0,N-(1<<k))
            {
                st[k][i]=cmp(st[k-1][i],st[k-1][i+(1<<k-1)]);
            }
        }
    }
    ll q(ll l, ll r)
    {
        if(l>r)swap(l,r);
        ll t=floor(log2(r-l+1));
        return cmp(st[t][l],st[t][r-(1<<t)+1]);
    }
};
int main()
{
    ll n, m, q, i, j;
    n=read(), m=read(), q=read();
    vector<ll> need(n), x(n);
    stack<ll> stk;
    rep(i,0,n-1)
    {
        x[i]=read();
        bool flag = false;
        if(x[i]&1)
        {
            if(!stk.empty() and x[stk.top()]==x[i]-1)
            {
                need[i] = stk.top();
                need[stk.top()] = i;
                stk.pop();
            }
            else
            {
                need[i] = -linf;
                while(!stk.empty())stk.pop();
            }
        }
        else
        {
            stk.em(i);
            need[i]=linf;
        }
    }
    ST st_big(need,[](ll a, ll b){return max(a,b);}), st_small(need,[](ll a, ll b){return min(a,b);});
    while(q--)
    {
        ll l=read()-1, r=read()-1;
        if(st_big.q(l,r)<=r and st_small.q(l,r)>=l)
        {
            printf("Yes\n");
        }
        else printf("No\n");
    }
    return 0;
}