This submission is migrated from previous version of oj.uz, which used different machine for grading. This submission may have different result if resubmitted.
#include <bits/stdc++.h>
using namespace std;
const int mod = 1e6 + 7;
const int LOG = 20;
const int maxn = 1e5 + 5;
int n;
vector<int> v;
int dp[1005][1005][2];
int f(int pos, int mx, int under) {
    if(pos == n + 1) return under;
    if(dp[pos][mx][under] != -1) return dp[pos][mx][under];
    long long ans = 0;
    if(under) {
        ans = (ans + 1ll * mx * f(pos+1, mx, 1)) % mod;
        if(mx+1 <= pos) ans = (ans + f(pos+1, mx+1, 1)) % mod;
    } else {
        for(int i=1; i<=min(pos, mx+1); i++) {
            if(!under && i > v[pos]) continue;
            ans = (ans + f(pos+1, max(mx, i), under|(i<v[pos]))) % mod;
        }
    }
    return dp[pos][mx][under] = ans;
}
signed main() {
    memset(dp, -1, sizeof(dp));
    cin >> n;
    v.resize(n+1);
    for(int i=1; i<=n; i++) cin >> v[i];
    cout << (f(2, 1, 0) + 1) % mod << '\n';
    return 0;
}
| # | Verdict  | Execution time | Memory | Grader output | 
|---|
| Fetching results... | 
| # | Verdict  | Execution time | Memory | Grader output | 
|---|
| Fetching results... | 
| # | Verdict  | Execution time | Memory | Grader output | 
|---|
| Fetching results... | 
| # | Verdict  | Execution time | Memory | Grader output | 
|---|
| Fetching results... | 
| # | Verdict  | Execution time | Memory | Grader output | 
|---|
| Fetching results... | 
| # | Verdict  | Execution time | Memory | Grader output | 
|---|
| Fetching results... | 
| # | Verdict  | Execution time | Memory | Grader output | 
|---|
| Fetching results... | 
| # | Verdict  | Execution time | Memory | Grader output | 
|---|
| Fetching results... | 
| # | Verdict  | Execution time | Memory | Grader output | 
|---|
| Fetching results... | 
| # | Verdict  | Execution time | Memory | Grader output | 
|---|
| Fetching results... |