1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162
| #include<bits/stdc++.h> #define f(i,x,y) for(int i=x, i##end=y; i<=i##end; ++i) #define d(i,x,y) for(int i=y, i##end=x; i>=i##end; --i) #define uf(i,x,y) for(int i=x, i##end=y; i<i##end; ++i) #define ll long long #define pir pair<int, int> #define fir first #define sec second #define mp make_pair #define pb push_back char ch; int rd() { int f=1, x=0; ch=getchar(); while(!isdigit(ch)) { f=((ch=='-')?-1:f); ch=getchar(); } while(isdigit(ch)) { x=x*10+ch-'0'; ch=getchar(); } return x*f; } void rd(int& x) { x=rd(); } using namespace std; const int _ = 32e5 + 5, __ = 32e5 + 5; int n, p[_], pos[_], q, x[_]; set< tuple<int, int, int> > blocks ;
set< tuple<int, int, int> > tmp_ok; tuple<int, int, int> ok[__]; int tot; void updL(set< tuple<int, int, int> > :: iterator it) { auto itL = it; --itL; int l, l2, r, r2, v, v2; tie(r, l, v) = (*itL); tie(r2, l2, v2) = (*it); assert(l2 == r + 1); tmp_ok.insert(make_tuple(l, r, r2)) ; } void updR(set< tuple<int, int, int> > :: iterator it) { auto itR = it; ++itR; int l, l2, r, r2, v, v2; tie(r, l, v) = (*it); tie(r2, l2, v2) = (*itR); assert(l2 == r + 1); tmp_ok.insert(make_tuple(l, r, r2)) ; } void upd(int r) { auto it = blocks.lower_bound(make_tuple(r, 0, 0)) ; if(it != blocks.begin()) updL(it); if(it != --blocks.end()) updR(it); } void alter(int p) { x[p] = 1; if(p==1) { if(x[p+1] == 1) { blocks.erase(blocks.begin()) ; auto it = blocks.begin(); int l, r, v; tie(r, l, v) = (*it); assert(v == 1); blocks.erase(it); blocks.insert(make_tuple(r, l-1, v)) ; upd(r); } else { auto it = blocks.begin(); int l, r, v; tie(r, l, v) = (*it); assert(v == 0); blocks.erase(blocks.begin()) ; blocks.insert(make_tuple(1, 1, 1)) ; blocks.insert(make_tuple(r, l+1, v)) ; upd(1); upd(r); } return ; } if(p==n) { if(x[p-1] == 1) { blocks.erase(--blocks.end()) ; auto it = --blocks.end(); int l, r, v; tie(r, l, v) = (*it); assert(v == 1); blocks.erase(it); blocks.insert(make_tuple(r+1, l, v)) ; upd(r+1); } else { auto it = --blocks.end(); int l, r, v; tie(r, l, v) = (*it); assert(v == 0); blocks.erase(it); blocks.insert(make_tuple(n, n, 1)); blocks.insert(make_tuple(r-1, l, v)) ; upd(n); upd(r-1); } return ; } int Lv = x[p-1], Rv = x[p+1], t = (Lv<<1) + Rv; if(t==0) { auto it = blocks.lower_bound(make_tuple(p, 0, 0)); assert(it != blocks.end()); int l, r, v; tie(r, l, v) = (*it); assert(v == 0); blocks.erase(it); blocks.insert(make_tuple(p-1, l, 0)); blocks.insert(make_tuple(r, p+1, 0)); blocks.insert(make_tuple(p, p, 1)); upd(p-1); upd(p); upd(r); } if(t==1) { auto it = blocks.lower_bound(make_tuple(p, 0, 0)); int l, r, v; tie(r, l, v) = (*it); assert(v == 0); assert(r == p); auto it2 = it; ++it2; int l2, r2, v2; tie(r2, l2, v2) = (*it2); assert(v2 == 1); blocks.erase(it); blocks.erase(it2); blocks.insert(make_tuple(r-1, l, 0)); blocks.insert(make_tuple(r2, l2-1, 1)); upd(r-1); upd(r2); } if(t==2) { auto it = blocks.lower_bound(make_tuple(p, 0, 0)); int l, r, v; tie(r, l, v) = (*it); assert(v == 0); assert(l == p); auto it2 = it; --it2; int l2, r2, v2; tie(r2, l2, v2) = (*it2); assert(v2 == 1); blocks.erase(it); blocks.erase(it2); blocks.insert(make_tuple(r2+1, l2, 1)); blocks.insert(make_tuple(r, l+1, 0)); upd(r2+1); upd(r); } if(t==3) { auto it = blocks.lower_bound(make_tuple(p, 0, 0)), itL = it, itR = it; --itL; ++itR; int l, l2, r, r2, v, v2; tie(r, l, v) = (*itL); tie(r2, l2, v2) = (*itR); assert(v2 == 1); assert(v2 == 1); assert(r == p-1); assert(l2 = p+1); blocks.erase(it); blocks.erase(itL); blocks.erase(itR); blocks.insert(make_tuple(r2, l, 1)); upd(r2); } }
int sum[__ * 20], rt[__ << 1], ls[__ * 20], rs[__ * 20], tott; void pushup(int p) { sum[p] = sum[ls[p]] + sum[rs[p]] ; } void modify(int o, int& p, int l, int r, int q, int x) { if(q>r) { p=++tott; ls[p] = ls[o]; rs[p] = rs[o]; sum[p] = sum[o]; return ; } if(!p) p = ++tott, sum[p] = sum[o]; if(l==r) { sum[p] = sum[p] + x; return ; } int mid=(l+r)>>1; if(q<=mid) rs[p] = rs[o], modify(ls[o], ls[p], l, mid, q, x); else ls[p] = ls[o], modify(rs[o], rs[p], mid+1, r, q, x); pushup(p); } int query(int p, int l, int r, int ql, int qr) { if(l > qr || r < ql) return 0; if(ql <= l && r <= qr) return sum[p]; int mid = (l+r>>1), resL = 0, resR = 0; if(ql <= mid) resL = query(ls[p], l, mid, ql, qr); if(qr > mid) resR = query(rs[p], mid+1, r, ql, qr); return resL + resR ; }
pair< pir, pir > mods[__ << 1] ; int totc, rtL[_];
int main() { rd(n); f(i,1,n) rd(p[i]), pos[p[i]] = i; blocks.insert(make_tuple(n, 1, 0)); f(i,1,n) alter(pos[i]); for(auto v : tmp_ok) ok[++tot] = v; cerr << tot << endl; f(i,1,tot) { int l, m, r; tie(l, m, r) = ::ok[i]; mods[++totc] = mp(mp(l, m+1), mp(r, 1)); mods[++totc] = mp(mp(m+1, m+1), mp(r, -1)); } f(i,1,n) mods[++totc] = mp(mp(i, 1), mp(n, 0)); sort(mods+1, mods+totc+1); f(i,1,totc) { int tl=mods[i].fir.fir, l=mods[i].fir.sec, r=mods[i].sec.fir, x=mods[i].sec.sec; modify(rt[2*i-2], rt[2*i-1], 1, n, l, x); modify(rt[2*i-1], rt[2*i], 1, n, r+1, -x); } int p = 0; f(i,1,n) { while(p+1 <= totc && mods[p+1].fir.fir <= i) ++p; rtL[i] = rt[2*p]; } rd(q); f(i,1,q) { int L = rd(), R = rd(), ok = 0; ok = query(rtL[L], 1, n, 1, R); cout << ( (ok>0) ? "YES" : "NO" ) << '\n'; if(!(i%10)) cout.flush(); } return 0; }
|