#include<bits/stdc++.h>
using namespace std;
#define int long long
int n, a[25];
int cf[25];
vector<int>vec[2];
vector<pair<int, int> > qwq[2];
int suf[2][25];
// 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 == vec[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((y&g[j].second) == g[j].second){
                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;
    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;
    // }
    // 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);
    // }
    // 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);
    // }
    dfs(0, 0, 0);
    sort(g.begin(), g.end());
    // for(auto [x, y] : g){
    //     cout << 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, (1<<vec[1].size())-1);
    cout << vec[0].size() + vec[1].size() - ans << endl;
    return 0;
}