#include<bits/stdc++.h>
using namespace std;
#define int long long
int n, a[30];
int cf[30];
vector<int>vec[2];
vector<pair<int, int> > qwq[2];
int suf[2][30];
int run(int op, vector<int> p){
    int s = 0;
    for(int i = 0; i < p.size(); i++){
        s += p[i] * suf[op][i];
    }
    return s;
}
vector<int> run_(int op, int s){
    vector<int>p;
    for(int i = 0; i < qwq[op].size(); i++){
        p.emplace_back(s / suf[op][i]);
        s %= suf[op][i];
    }
    return p;
}
bool ok(int x, int y){
    vector<int>p1 = run_(1, x);
    vector<int>p2 = run_(1, y);
    for(int i = 0; i < qwq[1].size(); i++){
        if(p1[i] > p2[i]){
            return 0;
        }
    }
    return 1;
}
vector<pair<int, int> > g;
void dfs(int pl, int val, int now){
    if(pl == qwq[1].size()){
        if(val)
        g.emplace_back(make_pair(val, now));
        return;
    }
    // dfs(pl + 1, val, now);
    // dfs(pl + 1, val + vec[1][pl], now | (1ll<<pl));
    for(int i = 0; i <= qwq[1][pl].first; i++){
        dfs(pl + 1, val, now);
        val += qwq[1][pl].second;
        now += suf[1][pl];
    }
}
int s[1<<24];
pair<int, int> get(int v){
    int l = 0, r = (int)g.size() - 1, lans = -1, rans = g.size();
    while(l <= r){
        int mid = l+r>>1;
        if(g[mid].first < v){
            lans = mid;
            l = mid + 1;
        }else{
            r = mid - 1;
        }
    }
    if(lans == g.size() || g[lans+1].first != v){
        return make_pair(-1,-1);
    }
    l = 0, r = (int)g.size() - 1;
    while(l <= r){
        int mid = l+r>>1;
        if(g[mid].first > v){
            rans = mid;
            r = mid - 1;
        }else{
            l = mid + 1;
        }
    }
    // cerr << v << ":" << lans << " " << rans << endl;
    return make_pair(lans+1, rans-1);
}
unordered_map<int, int> vis[1<<15], dp[1<<15];
int get(int x, int y){
    // if(!x && y)assert(0);
    // if(!y && x)assert(0);
    if(!x)return 0;
    if(vis[x][y])return dp[x][y];
    vis[x][y] = 1;
    int ans = 1;
    for(int i = x; ; i = (i-1) & x){
        pair<int, int> res = get(s[i]);
        if(res.first == -1){
            if(!i)break;
            continue;
        }
        for(int j = res.first; j <= res.second; j++){
                if(ok(g[j].second,y))
                ans = max(ans, get(x ^ i, y - g[j].second) + 1);
        }
        if(!i)break;
    }
    return dp[x][y] = ans;
}
int lowbit(int x){
    return x & (-x);
}
signed main(){
    // freopen("cloud.in", "r", stdin);
    // freopen("cloud.out", "w", stdout);
    cin >> n;
    for(int i = 1; i <= n; i++){
        cin >> a[i];
        cf[i] = a[i] - a[i - 1];
    }
    cf[n + 1] = -a[n];
    for(int i = 1; i <= n+1; i++){
        if(cf[i] > 0)vec[1].emplace_back(cf[i]);
        else if(cf[i] < 0)vec[0].emplace_back(-cf[i]);
    }
    sort(vec[0].begin(), vec[0].end());
    sort(vec[1].begin(), vec[1].end());
    // for(auto to : vec[0]){
    //     cerr << to << " ";
    // }
    // cerr << endl;
    // for(auto to : vec[1]){
    //     cerr << to << " ";
    // }
    // cerr << endl;
    cerr << "!" << endl;
    if(vec[0].size() > vec[1].size())swap(vec[0], vec[1]);
    for(int i = 0; i < vec[0].size(); i++){
        int en = i;
        while(en + 1 < vec[0].size() && vec[0][en] == vec[0][en + 1])en++;
        qwq[0].emplace_back(en-i+1,vec[0][en]);
        i = en;
    }
    for(int i = 0; i < vec[1].size(); i++){
        int en = i;
        while(en + 1 < vec[1].size() && vec[1][en] == vec[1][en + 1])en++;
        qwq[1].emplace_back(en-i+1,vec[1][en]);
        i = en;
    }
    // cerr << "!" << endl;
    if(qwq[0].size())suf[0][(int)qwq[0].size()-1]=1;
    for(int i = (int)(qwq[0].size())-2; i >= 0; i--){
        suf[0][i] = suf[0][i + 1] * (qwq[0][i + 1].first+1);
    }
    if(qwq[1].size())suf[1][(int)qwq[1].size()-1]=1;
    for(int i = (int)(qwq[1].size())-2; i >= 0; i--){
        suf[1][i] = suf[1][i + 1] * (qwq[1][i + 1].first+1);
    }
    // cerr << qwq[0].size() << " " << qwq[1].size() << endl;
    // cerr << "!!" << endl;
    vector<int>man[2];
    for(int i = 0; i < qwq[0].size(); i++){
        man[0].emplace_back(qwq[0][i].first);
    }
    for(int i = 0; i < qwq[1].size(); i++){
        man[1].emplace_back(qwq[1][i].first);
    }
    // cerr << "!" << endl;
    dfs(0, 0, 0);
    sort(g.begin(), g.end());
    // for(auto [x, y] : g){
        // cerr << x << " " << y <<endl;
    // }
    for(int i = 0; i < vec[0].size(); i++){
        s[(1<<i)] = vec[0][i];
    }
    for(int i = 1; i < 1<<vec[0].size(); i++){
        s[i] = s[i ^ lowbit(i)] + s[lowbit(i)];
    }
    int ans = get((1<<vec[0].size())-1, run(1,man[1]));
    cout << vec[0].size() + vec[1].size() - ans << endl;
    return 0;
}