// verification-helper: PROBLEM https://yukicoder.me/problems/5223 #include using namespace std; #define call_from_test #ifndef call_from_test #include using namespace std; #endif //BEGIN CUT HERE struct Mo{ using F = function; vector ls,rs,ord; int n,width,nl,nr,ptr; F expandL,expandR; F shrinkL,shrinkR; Mo(int n,int width,F expandL,F expandR,F shrinkL,F shrinkR): n(n),width(width),nl(0),nr(0),ptr(0), expandL(expandL),expandR(expandR), shrinkL(shrinkL),shrinkR(shrinkR){} Mo(int n,int width,F expand,F shrink): Mo(n,width,expand,expand,shrink,shrink){} void add(int l,int r){ ls.emplace_back(l); rs.emplace_back(r); } void build(){ ord.resize(ls.size()); iota(ord.begin(),ord.end(),0); sort(ord.begin(),ord.end(), [&](int a,int b){ if(ls[a]/width!=ls[b]/width) return ls[a]ls[idx]) expandL(--nl); while(nrrs[idx]) shrinkR(--nr); return idx; } }; //END CUT HERE #ifndef call_from_test signed main(){ return 0; } #endif #ifndef call_from_test #include using namespace std; #endif //BEGIN CUT HERE template struct SegmentTree{ using F = function; using G = function; using H = function; int n,height; F f; G g; H h; T ti; E ei; vector dat; vector laz; SegmentTree(F f,G g,H h,T ti,E ei): f(f),g(g),h(h),ti(ti),ei(ei){} void init(int n_){ n=1;height=0; while(n &v){ int n_=v.size(); init(n_); for(int i=0;i>i); } inline void recalc(int k){ while(k>>=1) dat[k]=f(reflect((k<<1)|0),reflect((k<<1)|1)); } void update(int a,int b,E x){ if(a>=b) return; thrust(a+=n); thrust(b+=n-1); for(int l=a,r=b+1;l>=1,r>>=1){ if(l&1) laz[l]=h(laz[l],x),l++; if(r&1) --r,laz[r]=h(laz[r],x); } recalc(a); recalc(b); } void set_val(int a,T x){ thrust(a+=n); dat[a]=x;laz[a]=ei; recalc(a); } T query(int a,int b){ if(a>=b) return ti; thrust(a+=n); thrust(b+=n-1); T vl=ti,vr=ti; for(int l=a,r=b+1;l>=1,r>>=1) { if(l&1) vl=f(vl,reflect(l++)); if(r&1) vr=f(reflect(--r),vr); } return f(vl,vr); } template int find(int st,C &check,T &acc,int k,int l,int r){ if(l+1==r){ acc=f(acc,reflect(k)); return check(acc)?k-n:-1; } propagate(k); int m=(l+r)>>1; if(m<=st) return find(st,check,acc,(k<<1)|1,m,r); if(st<=l&&!check(f(acc,dat[k]))){ acc=f(acc,dat[k]); return -1; } int vl=find(st,check,acc,(k<<1)|0,l,m); if(~vl) return vl; return find(st,check,acc,(k<<1)|1,m,r); } template int find(int st,C &check){ T acc=ti; return find(st,check,acc,1,0,n); } }; //END CUT HERE #ifndef call_from_test signed CFR569_C(){ cin.tie(0); ios::sync_with_stdio(0); int n,m; cin>>n>>m; vector as(n),bs(m); for(int i=0;i>as[i]; for(int i=0;i>bs[i]; auto f=[](int a,int b){return max(a,b);}; auto g=[](int a,int b){return a+b;}; int ti=0,ei=0; SegmentTree seg(f,g,g,ti,ei); const int sz = 1<<20; seg.build(vector(sz,0)); for(int i=0;i>q; auto check=[](int d){return d>0;}; for(int i=0;i>t>>k>>v; k--; if(t==1){ seg.update(sz-as[k],sz,-1); as[k]=v; seg.update(sz-as[k],sz,+1); } if(t==2){ seg.update(sz-bs[k],sz,+1); bs[k]=v; seg.update(sz-bs[k],sz,-1); } int pos=seg.find(0,check); cout<<(pos<0?pos:sz-pos)<<"\n"; } cout< using namespace std; #endif //BEGIN CUT HERE template class BIT{ private: // \sum_{j < i} v[j] T sum(int i){ T s(0); for(int x=i;x>0;x-=(x&-x)) s+=bit[x]; return s; } public: int n; vector bit; BIT(int n_):n(n_+1),bit(n+1,0){} // v[i] += a void add(int i,T a){ for(int x=++i;x<=n;x+=(x&-x)) bit[x]+=a; } // \sum_{l <= i < r} v[i] T query(int l,int r){return sum(r)-sum(l);} // min({x | sum(x) >= w}) int lower_bound(const T w){ if(w<=0) return 0; T r=w; int x=0,p=1; while(p0;k>>=1){ if(x+k<=n&&bit[x+k]=w); return x; } // min({x | sum(x) > w}) int upper_bound(T w){return lower_bound(w+1);} }; //END CUT HERE #ifndef call_from_test signed main(){ return 0; } #endif #undef call_from_test signed main(){ cin.tie(0); ios::sync_with_stdio(0); const char newl = '\n'; int n,q; cin>>n>>q; vector as(n); for(int i=0;i>as[i]; auto f=[&](int a,int b){return min(a,b);}; auto g=[&](int a,int b){return a+b;}; int ti(1e9),ei(0); SegmentTree seg(f,g,g,ti,ei); seg.build(vector(n+2,0)); BIT bitL(n+2),bitR(n+2); using ll = long long; ll res=0; auto expandL=[&](int i){ res-=bitL.query(as[i]+1,n+2); res-=bitR.query(0,as[i]); bitL.add(as[i],-1); seg.update(0,as[i],-1); }; auto expandR=[&](int i){ res-=bitL.query(as[i]+1,n+2); res-=bitR.query(0,as[i]); bitR.add(as[i],-1); seg.update(as[i]+1,n+2,-1); }; auto shrinkL=[&](int i){ res+=bitL.query(as[i]+1,n+2); res+=bitR.query(0,as[i]); bitL.add(as[i],+1); seg.update(0,as[i],+1); }; auto shrinkR=[&](int i){ res+=bitL.query(as[i]+1,n+2); res+=bitR.query(0,as[i]); bitR.add(as[i],+1); seg.update(as[i]+1,n+2,+1); }; for(int i=n-1;i>=0;i--){ res+=bitR.query(0,as[i]); bitR.add(as[i],+1); seg.update(as[i]+1,n+2,+1); } Mo mo(n,150,expandL,expandR,shrinkL,shrinkR); vector ls,rs; for(int i=0;i>l>>r; l--; ls.emplace_back(l); rs.emplace_back(r); mo.add(l,r); } mo.build(); vector ans(q,0); for(int i=0;i