#include <bits/stdc++.h>
using namespace std;
#define int long long int
#define double long double
#define print(a) for(auto x : a) cout << x << " "; cout << endl
const int M = 1000000007;
const int N = 3e5+9;
const int INF = 2e9+1;
const int LINF = 2000000000000000001;
inline int power(int a, int b, int mod=M) {
int x = 1;
a %= mod;
while (b) {
if (b & 1) x = (x * a) % mod;
a = (a * a) % mod;
b >>= 1;
}
return x;
}
//_ ***************************** START Below *******************************
vector<int> a;
int consistency1(int n){
vector<int> dp(n+1, INF);
dp[0] = 0;
if(a[0] == 0) dp[1] = 0;
else dp[1] = 1;
for(int i=2; i<=n; i++){
int j = i-1;
while(j>=0){
if(a[j]+1 == i-j){
dp[i] = min(dp[i], dp[j]);
}
else dp[i] = min(dp[i], dp[j] + i-j);
j--;
}
}
return dp[n];
}
//* APproach 2 :
int consistency2(int n){
vector<int> dp(n+1, INF);
dp[0] = 0;
if(a[0] == 0) dp[1] = 0;
else dp[1] = 1;
for(int i=2; i<=n; i++){
int j = i-1;
while(j>=0){
if(a[j]+1 == i-j){
dp[i] = min(dp[i], dp[j] + 0);
}
j--;
}
dp[i] = min(dp[i], dp[i-1]+1);
}
return dp[n];
}
int consistency3(int n) {
vector<int> dp(n + 1, INF);
dp[0] = 0;
if (a[0] == 0) dp[1] = 0;
else dp[1] = 1;
unordered_map<int, int> mp = {{a[0] + 1, dp[0]}};
for (int i = 2; i <= n; i++) {
if (mp.count(i)) {
dp[i] = mp[i];
}
dp[i] = min(dp[i], dp[i-1] + 1);
if (mp.count(a[i-1]+i)) {
mp[a[i-1]+i] = min(mp[a[i-1]+i], dp[i-1]);
} else {
mp[a[i-1]+i] = dp[i-1];
}
}
return dp[n];
}
//? Approach 3 : Backwards
int consistency4(int n) {
vector<int> dp(n + 1, INF);
dp[0] = 0;
return dp[n];
}
int practice(int n){
return 0;
}
void solve() {
int n;
cin>> n;
a.resize(n);
for(int i=0; i<n; i++) cin >> a[i];
cout << consistency1(n) << " " << consistency2(n) << " " << consistency3(n) << " " << consistency4(n) << endl;
}
int32_t main() {
ios_base::sync_with_stdio(0); cin.tie(0); cout.tie(0);
int t = 1;
// cin >> t;
while (t--) {
solve();
}
return 0;
}
I2luY2x1ZGUgPGJpdHMvc3RkYysrLmg+CnVzaW5nIG5hbWVzcGFjZSBzdGQ7CiNkZWZpbmUgaW50ICAgICAgICAgICAgICBsb25nIGxvbmcgaW50CiNkZWZpbmUgZG91YmxlICAgICAgICAgICBsb25nIGRvdWJsZQojZGVmaW5lIHByaW50KGEpICAgICAgICAgZm9yKGF1dG8geCA6IGEpIGNvdXQgPDwgeCA8PCAiICI7IGNvdXQgPDwgZW5kbAoKCmNvbnN0IGludCBNID0gMTAwMDAwMDAwNzsKY29uc3QgaW50IE4gPSAzZTUrOTsKY29uc3QgaW50IElORiA9IDJlOSsxOwpjb25zdCBpbnQgTElORiA9IDIwMDAwMDAwMDAwMDAwMDAwMDE7CgppbmxpbmUgaW50IHBvd2VyKGludCBhLCBpbnQgYiwgaW50IG1vZD1NKSB7CiAgICBpbnQgeCA9IDE7CiAgICBhICU9IG1vZDsKICAgIHdoaWxlIChiKSB7CiAgICAgICAgaWYgKGIgJiAxKSB4ID0gKHggKiBhKSAlIG1vZDsgCiAgICAgICAgYSA9IChhICogYSkgJSBtb2Q7CiAgICAgICAgYiA+Pj0gMTsKICAgIH0KICAgIHJldHVybiB4Owp9CgoKLy9fICoqKioqKioqKioqKioqKioqKioqKioqKioqKioqIFNUQVJUIEJlbG93ICoqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioKCgoKCnZlY3RvcjxpbnQ+IGE7CgppbnQgY29uc2lzdGVuY3kxKGludCBuKXsKCgl2ZWN0b3I8aW50PiBkcChuKzEsIElORik7CglkcFswXSA9IDA7CglpZihhWzBdID09IDApIGRwWzFdID0gMDsKCWVsc2UgZHBbMV0gPSAxOwoJCglmb3IoaW50IGk9MjsgaTw9bjsgaSsrKXsKCQkKCQlpbnQgaiA9IGktMTsKCQl3aGlsZShqPj0wKXsKCQkJCgkJCWlmKGFbal0rMSA9PSBpLWopewoJCQkJZHBbaV0gPSBtaW4oZHBbaV0sIGRwW2pdKTsKCQkJfQoJCQllbHNlIGRwW2ldID0gbWluKGRwW2ldLCBkcFtqXSArIGktaik7CgkJCWotLTsKCQl9CgkJCgl9CgkKCXJldHVybiBkcFtuXTsKfQoKCgoKLy8qIEFQcHJvYWNoIDIgOiAKCmludCBjb25zaXN0ZW5jeTIoaW50IG4pewoKCXZlY3RvcjxpbnQ+IGRwKG4rMSwgSU5GKTsKCWRwWzBdID0gMDsKCWlmKGFbMF0gPT0gMCkgZHBbMV0gPSAwOwoJZWxzZSBkcFsxXSA9IDE7CgkKCWZvcihpbnQgaT0yOyBpPD1uOyBpKyspewoJCQoJCWludCBqID0gaS0xOwoJCXdoaWxlKGo+PTApewoJCQkKCQkJaWYoYVtqXSsxID09IGktail7CgkJCQlkcFtpXSA9IG1pbihkcFtpXSwgZHBbal0gKyAwKTsKCQkJfQoJCQlqLS07CgkJfQoJCQoJCWRwW2ldID0gbWluKGRwW2ldLCBkcFtpLTFdKzEpOwoJCQoJfQoJCglyZXR1cm4gZHBbbl07Cn0KCgoKCgppbnQgY29uc2lzdGVuY3kzKGludCBuKSB7CiAgICB2ZWN0b3I8aW50PiBkcChuICsgMSwgSU5GKTsKICAgIGRwWzBdID0gMDsKICAgIAogICAgaWYgKGFbMF0gPT0gMCkgZHBbMV0gPSAwOwogICAgZWxzZSBkcFsxXSA9IDE7CiAgICAKICAgIHVub3JkZXJlZF9tYXA8aW50LCBpbnQ+IG1wID0ge3thWzBdICsgMSwgZHBbMF19fTsKICAgIAogICAgZm9yIChpbnQgaSA9IDI7IGkgPD0gbjsgaSsrKSB7CiAgICAgICAgCiAgICAgICAgaWYgKG1wLmNvdW50KGkpKSB7CiAgICAgICAgICAgIGRwW2ldID0gbXBbaV07CiAgICAgICAgfQogICAgICAgIAogICAgICAgIGRwW2ldID0gbWluKGRwW2ldLCBkcFtpLTFdICsgMSk7CiAgICAgICAgCiAgICAgICAgaWYgKG1wLmNvdW50KGFbaS0xXStpKSkgewogICAgICAgICAgICBtcFthW2ktMV0raV0gPSBtaW4obXBbYVtpLTFdK2ldLCBkcFtpLTFdKTsKICAgICAgICB9IGVsc2UgewogICAgICAgICAgICBtcFthW2ktMV0raV0gPSBkcFtpLTFdOwogICAgICAgIH0KICAgIH0KICAgIAogICAgcmV0dXJuIGRwW25dOwp9CgoKCgovLz8gQXBwcm9hY2ggMyA6IEJhY2t3YXJkcyAKCgppbnQgY29uc2lzdGVuY3k0KGludCBuKSB7CiAgICB2ZWN0b3I8aW50PiBkcChuICsgMSwgSU5GKTsKICAgIGRwWzBdID0gMDsKICAgIAoKICAgIAogICAgcmV0dXJuIGRwW25dOwp9CgoKCgoKCgoKCgppbnQgcHJhY3RpY2UoaW50IG4pewoKCiAgICByZXR1cm4gMDsKfQoKCgoKCnZvaWQgc29sdmUoKSB7CiAgICAKICAgIGludCBuOwogICAgY2luPj4gbjsKICAgIAogICAgYS5yZXNpemUobik7CiAgICBmb3IoaW50IGk9MDsgaTxuOyBpKyspIGNpbiA+PiBhW2ldOwogICAgCiAgICBjb3V0IDw8IGNvbnNpc3RlbmN5MShuKSA8PCAiICIgPDwgY29uc2lzdGVuY3kyKG4pIDw8ICIgIiA8PCBjb25zaXN0ZW5jeTMobikgPDwgIiAiIDw8IGNvbnNpc3RlbmN5NChuKSA8PCBlbmRsOwoKCn0KCgoKCgppbnQzMl90IG1haW4oKSB7CiAgICBpb3NfYmFzZTo6c3luY193aXRoX3N0ZGlvKDApOyBjaW4udGllKDApOyBjb3V0LnRpZSgwKTsKCiAgICBpbnQgdCA9IDE7CiAgICAvLyBjaW4gPj4gdDsKICAgIHdoaWxlICh0LS0pIHsKICAgICAgICBzb2x2ZSgpOwogICAgfQoKICAgIHJldHVybiAwOwp9