#pragma GCC optimize("Ofast") #pragma GCC optimize("unroll-loops") #pragma GCC optimize("inline") #include using namespace std; template struct cLtraits_identity{ using type = T; } ; template using cLtraits_try_make_signed = typename conditional< is_integral::value, make_signed, cLtraits_identity >::type; template struct cLtraits_common_type{ using tS = typename cLtraits_try_make_signed::type; using tT = typename cLtraits_try_make_signed::type; using type = typename common_type::type; } ; void*wmem; char memarr[96000000]; template inline auto min_L(S a, T b) -> typename cLtraits_common_type::type{ return (typename cLtraits_common_type::type) a <= (typename cLtraits_common_type::type) b ? a : b; } template inline void walloc1d(T **arr, int x, void **mem = &wmem){ static int skip[16] = {0, 15, 14, 13, 12, 11, 10, 9, 8, 7, 6, 5, 4, 3, 2, 1}; (*mem) = (void*)( ((char*)(*mem)) + skip[((unsigned long long)(*mem)) & 15] ); (*arr)=(T*)(*mem); (*mem)=((*arr)+x); } template inline void walloc1d(T **arr, int x1, int x2, void **mem = &wmem){ walloc1d(arr, x2-x1, mem); (*arr) -= x1; } inline int my_getchar_unlocked(){ static char buf[1048576]; static int s = 1048576; static int e = 1048576; if(s == e && e == 1048576){ e = fread_unlocked(buf, 1, 1048576, stdin); s = 0; } if(s == e){ return EOF; } return buf[s++]; } inline void rd(int &x){ int k; int m=0; x=0; for(;;){ k = my_getchar_unlocked(); if(k=='-'){ m=1; break; } if('0'<=k&&k<='9'){ x=k-'0'; break; } } for(;;){ k = my_getchar_unlocked(); if(k<'0'||k>'9'){ break; } x=x*10+k-'0'; } if(m){ x=-x; } } struct MY_WRITER{ char buf[1048576]; int s; int e; MY_WRITER(){ s = 0; e = 1048576; } ~MY_WRITER(){ if(s){ fwrite_unlocked(buf, 1, s, stdout); } } } ; MY_WRITER MY_WRITER_VAR; void my_putchar_unlocked(int a){ if(MY_WRITER_VAR.s == MY_WRITER_VAR.e){ fwrite_unlocked(MY_WRITER_VAR.buf, 1, MY_WRITER_VAR.s, stdout); MY_WRITER_VAR.s = 0; } MY_WRITER_VAR.buf[MY_WRITER_VAR.s++] = a; } inline void wt_L(char a){ my_putchar_unlocked(a); } inline void wt_L(int x){ int s=0; int m=0; char f[10]; if(x<0){ m=1; x=-x; } while(x){ f[s++]=x%10; x/=10; } if(!s){ f[s++]=0; } if(m){ my_putchar_unlocked('-'); } while(s--){ my_putchar_unlocked(f[s]+'0'); } } template struct segtree_rh{ int N; int logN; int trueN; SVAL*val; SFUN*fun; char*dofun; void malloc(int maxN, int once = 0); void walloc(int maxN, int once = 0, void **mem = &wmem); void free(void); SVAL& operator[](int i); void setN(int n, int zerofill = 1, int dobuild = 1); void build(void); inline void push_one(int a); inline void push(int a); inline void build(int a); inline void change(int a, int b, SFUN f); inline SVAL get(int a, int b); template int max_right(int a, int mx); template int max_right(int a); template int min_left(int b, int mn); template int min_left(int b); } ; int segtree_rh_merge(int a, int b){ return min_L(a, b); } int segtree_rh_apply(int f, int a){ return f+a; } int segtree_rh_compose(int f, int g){ return f+g; } int val; bool f(int x){ return x >= val; } bool g(int x){ return x > -val; } int main(){ wmem = memarr; int N; rd(N); int A[N]; { int KL2GvlyY; for(KL2GvlyY=(0);KL2GvlyY<(N);KL2GvlyY++){ rd(A[KL2GvlyY]); } } int res = 0; int i; int k; int nx; segtree_rh t1; segtree_rh t2; t1.walloc(200000+1,1); for(i=(1);i<(200000+1);i++){ t1.change(i,i+1,i); } t2.walloc(200000+1,1); for(i=(1);i<(200000+1);i++){ t2.change(i,i+1,-i); } for(i=(0);i<(N);i++){ val = t1.get(A[i],A[i]+1); if(val == 0){ continue; } res++; k = val; while(k < 200000+1){ nx = t1.max_right(k); t1.change(k,nx,-val); t2.change(k,nx,val); k = t2.max_right(nx); } } wt_L(res); wt_L('\n'); return 0; } template void segtree_rh::malloc(int maxN, int once /*= 0*/){ int i; for(i=1;i void segtree_rh::walloc(int maxN, int once /*= 0*/, void **mem /*= &wmem*/){ int i; for(i=1;i void segtree_rh::free(void){ delete [] val; delete [] fun; } template SVAL& segtree_rh::operator[](int i){ return val[N+i]; } template void segtree_rh::setN(int n, int zerofill /*= 1*/, int dobuild /*= 1*/){ int i; for(i=1,logN=0;i void segtree_rh::build(void){ int i; for(i=N-1;i;i--){ val[i] = segtree_rh_merge(val[2*i], val[2*i+1]); } int gEg5UqEA = N; for(i=(1);i<(gEg5UqEA);i++){ dofun[i] = 0; } } template inline void segtree_rh::push_one(int a){ if(dofun[a]){ if(2*a < N){ if(dofun[2*a]){ fun[2*a] = segtree_rh_compose(fun[a], fun[2*a]); } else{ fun[2*a] = fun[a]; dofun[2*a] = 1; } } val[2*a] = segtree_rh_apply(fun[a], val[2*a]); if(2*a+1 < N){ if(dofun[2*a+1]){ fun[2*a+1] = segtree_rh_compose(fun[a], fun[2*a+1]); } else{ fun[2*a+1] = fun[a]; dofun[2*a+1] = 1; } } val[2*a+1] = segtree_rh_apply(fun[a], val[2*a+1]); dofun[a] = 0; } } template inline void segtree_rh::push(int a){ int i; for(i=logN;i;i--){ push_one(a>>i); } } template inline void segtree_rh::build(int a){ while(a > 1){ a /= 2; val[a] = segtree_rh_merge(val[2*a], val[2*a+1]); if(dofun[a]){ val[a] = segtree_rh_apply(fun[a], val[a]); } } } template inline void segtree_rh::change(int a, int b, SFUN f){ int aa; int bb; if(a >= b){ return; } aa = (a += N); bb = (b += N); push(a); push(b-1); if(a%2){ val[a] = segtree_rh_apply(f, val[a]); a++; } if(b%2){ b--; val[b] = segtree_rh_apply(f, val[b]); } a /= 2; b /= 2; while(a < b){ if(a%2){ val[a] = segtree_rh_apply(f, val[a]); if(dofun[a]){ fun[a] = segtree_rh_compose(f, fun[a]); } else{ fun[a] = f; dofun[a] = 1; } a++; } if(b%2){ b--; val[b] = segtree_rh_apply(f, val[b]); if(dofun[b]){ fun[b] = segtree_rh_compose(f, fun[b]); } else{ fun[b] = f; dofun[b] = 1; } } a /= 2; b /= 2; } build(aa); build(bb-1); } template inline SVAL segtree_rh::get(int a, int b){ SVAL res; SVAL tmp; int fga = 0; int fgb = 0; a += N; b += N; push(a); push(b-1); while(a < b){ if(a%2){ if(fga){ res = segtree_rh_merge(res, val[a]); } else{ res = val[a]; fga = 1; } a++; } if(b%2){ b--; if(fgb){ tmp = segtree_rh_merge(val[b], tmp); } else{ tmp = val[b]; fgb = 1; } } a /= 2; b /= 2; } if(fga==1 && fgb==0){ return res; } if(fga==0 && fgb==1){ return tmp; } if(fga==1 && fgb==1){ return segtree_rh_merge(res, tmp); } return res; } template template int segtree_rh::max_right(int a, int mx){ int fg = 0; int ta = a; int sz = 1; SVAL cur; SVAL tmp; if(a>=mx){ return mx; } a += N; push(a); for(;;){ while(a%2==0){ a /= 2; sz *= 2; } if(ta + sz <= mx){ if(fg==0){ tmp = val[a]; } else{ tmp = segtree_rh_merge(cur, val[a]); } } if(ta + sz > mx || !f(tmp)){ while(a < N){ push_one(a); a *= 2; sz /= 2; if(ta + sz <= mx){ if(fg==0){ tmp = val[a]; } else{ tmp = segtree_rh_merge(cur, val[a]); } } if(ta + sz <= mx && f(tmp)){ fg = 1; cur = tmp; a++; ta += sz; } } return a - N; } fg = 1; cur = tmp; if((a & (a+1)) == 0){ break; } a++; ta += sz; } return mx; } template template int segtree_rh::max_right(int a){ return max_right(a, trueN); } template template int segtree_rh::min_left(int b, int mn){ int fg = 0; int tb = b; int sz = 1; SVAL cur; SVAL tmp; if(b <= mn){ return mn; } b += N; push(b-1); for(;;){ while(b%2==0){ b /= 2; sz *= 2; } if(tb - sz >= mn){ if(fg==0){ tmp = val[b-1]; } else{ tmp = segtree_rh_merge(val[b-1], cur); } } if(tb - sz < mn || !f(tmp)){ while(b-1 < N){ push_one(b-1); b *= 2; sz /= 2; if(tb - sz >= mn){ if(fg==0){ tmp = val[b-1]; } else{ tmp = segtree_rh_merge(val[b-1], cur); } } if(tb - sz >= mn && f(tmp)){ fg = 1; cur = tmp; b--; tb -= sz; } } return b - N; } fg = 1; cur = tmp; b--; tb -= sz; if(tb <= mn){ break; } } return mn; } template template int segtree_rh::min_left(int b){ return min_left(b, 0); } // cLay version 20211024-1 // --- original code --- // // int segtree_rh_merge(int a, int b){ return min(a,b); } // int segtree_rh_apply(int f, int a){ return f+a; } // int segtree_rh_compose(int f, int g){ return f+g; } // // int val; // bool f(int x){ // return x >= val; // } // bool g(int x){ // return x > -val; // } // // { // int @N, @A[N], res = 0, i, k, nx; // segtree_rh t1, t2; // // t1.walloc(2d5+1,1); // rep(i,1,2d5+1) t1.change(i,i+1,i); // t2.walloc(2d5+1,1); // rep(i,1,2d5+1) t2.change(i,i+1,-i); // // rep(i,N){ // val = t1.get(A[i],A[i]+1); // if(val == 0) continue; // res++; // // k = val; // while(k < 2d5+1){ // nx = t1.max_right(k); // t1.change(k,nx,-val); // t2.change(k,nx,val); // k = t2.max_right(nx); // } // } // // wt(res); // }