#include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #define debug_value(x) cerr << "line" << __LINE__ << ":<" << __func__ << ">:" << #x << "=" << x << endl; #define debug(x) cerr << "line" << __LINE__ << ":<" << __func__ << ">:" << x << endl; template inline bool chmax(T& a, T b) { if (a < b) { a = b; return 1; } return 0; } template inline bool chmin(T& a, T b) { if (a > b) { a = b; return 1; } return 0; } using namespace std; typedef long long ll; template vector> vec2d(int n, int m, T v){ return vector>(n, vector(m, v)); } template vector>> vec3d(int n, int m, int k, T v){ return vector>>(n, vector>(m, vector(k, v))); } template void print_vector(vector v, char delimiter=' '){ if(v.empty()) { cout << endl; return; } for(int i = 0; i+1 < v.size(); i++) cout << v[i] << delimiter; cout << v.back() << endl; } vector gen_array(int n, int l, int r){ int d = r-l; random_device rnd; mt19937 mt(rnd()); vector ans(n); int x = mt(); for(int i = 0; i < n; i++) ans[i] = l+(mt()%d); return ans; } const int MX = 200000; using P = pair; int e() { return 0; } int add(int l, int r) { return l+r; } int id() { return 0; } int main(){ ios::sync_with_stdio(false); cin.tie(0); cout << setprecision(10) << fixed; int n; cin >> n; vector a(n); for(int i = 0; i < n; i++) cin >> a[i]; vector v(MX+1); for(int i = 0; i <= MX; i++) v[i] = i; atcoder::lazy_segtree sgt(v); priority_queue

que; que.push(P(MX, 0)); int ans = 0; for(int i = 0; i < n; i++){ int x = sgt.get(a[i]); if(x == 0) continue; ans++; vector

p; while(!que.empty() && que.top().first >= x+1){ p.push_back(que.top()); que.pop(); } // debug_value(p.size()); for(auto [len, l]: p){ que.push(P(x, l)); que.push(P(len-x, l+x)); sgt.apply(l+x, l+len, -x); } } cout << ans << endl; }