// O(n log n) の想定解 #include using namespace std; int solve() { int n; cin >> n; vector A(n); for (int i = 0; i < n; i++) cin >> A[i]; const int inf = 1e9+7; vector dp(n+1, inf); dp[0] = 0; int inc = 0; for (int i = 0; i < n; i++) { int a = A[i]; // インクリメントする前の配列で、j+1 を二分探索する int lo = -1; // ok int hi = i + 1; while (hi - lo > 1) { int mid = (hi + lo) >> 1; if (dp[mid] + inc < a) lo = mid; else hi = mid; } inc++; // インクリメント回数 // 実際の置き換え if (lo >= 0) { dp[lo + 1] = a - inc; } } for (int j = n; j >= 0; j--) { if (dp[j] < inf) { return n - j; } } assert(false); } int main() { cin.tie(nullptr); ios::sync_with_stdio(false); cout << solve() << endl; return 0; }