// 想定解の「全体1インクリメント」を lazy seg tree にしたやつ。O(n log^2 n) #include using namespace std; const int inf = 2e9; // 遅延 SegmentTree。range-add。クエリは区間には行わないので range-max 版(何でもいい) // 点クエリ限定で良いので、区間add可能なデータ構造があれば、高速化できるかも template struct SegTreeLazy { static const V zero = 0; static const V def = inf; struct Node { V dat; V lazy; bool flag; Node() : dat(def), lazy(zero), flag(false) {} }; static V merge(const V &l, const V &r) { return max(l, r); } const int N; vector seg; SegTreeLazy(int size) : N(p2(size)), seg(N * 2) {}; void update(int a, int b, V v) { update(a, b, v, 0, 0, N); } V query(int a, int b) { return query(a, b, 0, 0, N); } void set(int i, V v) { V cur = query(i, i+1); update(i, i+1, v - cur); } private: void push(int k, int l, int r) { if (seg[k].flag) { seg[k].dat += seg[k].lazy; if (r - l > 1) { seg[k * 2 + 1].lazy += seg[k].lazy; seg[k * 2 + 2].lazy += seg[k].lazy; seg[k * 2 + 1].flag = true; seg[k * 2 + 2].flag = true; } seg[k].lazy = zero; seg[k].flag = false; } } void update(int a, int b, V v, int k, int l, int r) { push(k, l, r); if (r <= a || b <= l) return; if (a <= l && r <= b) { seg[k].lazy = v; seg[k].flag = true; push(k, l, r); } else { update(a, b, v, k * 2 + 1, l, (l + r) / 2); update(a, b, v, k * 2 + 2, (l + r) / 2, r); seg[k].dat = merge(seg[k * 2 + 1].dat, seg[k * 2 + 2].dat); } } V query(int a, int b, int k, int l, int r) { push(k, l, r); if (r <= a || b <= l) return zero; if (a <= l && r <= b) return seg[k].dat; V x = query(a, b, k * 2 + 1, l, (l + r) / 2); V y = query(a, b, k * 2 + 2, (l + r) / 2, r); return merge(x, y); } static int p2(int n, int m=1) { return m >= n ? m : p2(n, m * 2); } }; int solve() { int n; cin >> n; vector A(n); for (int i = 0; i < n; i++) cin >> A[i]; SegTreeLazy seg(n+1); seg.set(0, 0); for (int i = 0; i < n; i++) { int a = A[i]; int lo = -1; // ok int hi = i + 1; while (hi - lo > 1) { int mid = (hi + lo) / 2; bool cond = seg.query(mid, mid+1) < a; if (cond) lo = mid; else hi = mid; } seg.update(0, i+1, 1); if (lo >= 0) { seg.set(lo + 1, a); } //for (int i = 0; i < n+1; i++) cout << seg.query(i, i+1) << ' '; cout << endl; } for (int j = n; j >= 0; j--) { if (seg.query(j, j+1) < inf) { return n - j; } } assert(false); } int main() { cin.tie(nullptr); ios::sync_with_stdio(false); cout << solve() << endl; return 0; }