Language: C++

#include <bits/stdc++.h>


#define fi first
#define se second
#define pb push_back
#define mp make_pair
#define MOD 1000000007
#define pii pair<int,int>
#define pli pair<long long,int>
#define pil pair<int,long long>
#define ll long long
#define el '\n'

using namespace std;

const int N = 1e5 + 10;
const int INF = 1e18;

int n;
ll ar[N];
ll slot, ans;

ll dp[N], slots[N];

int main () {
    ios_base::sync_with_stdio(false);
    cin.tie(0);
    cout.tie(0);

    cin >> n;
    slot = 1;
    for (int i=0;i<=n;i++){
        cin >> ar[i];
    }    
    for (int i=0;i<=n;i++){
        slots[i] = slot;
        slot -= ar[i];
        if (slot < 0){
            cout << -1 << el;
            return 0;
        }
        dp[i] += ar[i];
        slot = min(slot + slot, INF);
    }
    ll cur = 0;
    for (int i=n;i>=0;i--){
        if (cur){
            dp[i] = min(dp[i] + cur, slots[i]);
        }
        ans += dp[i];
        cur = dp[i];
    }
    cout << ans << el;

    return 0;
}

Compiler output:
a.cc:18:17: warning: overflow in conversion from 'double' to 'int' changes value from '1.0e+18' to '2147483647' [-Woverflow]
   18 | const int INF = 1e18;
      |                 ^~~~
a.cc: In function 'int main()':
a.cc:44:19: error: no matching function for call to 'min(long long int, const int&)'
   44 |         slot = min(slot + slot, INF);
      |                ~~~^~~~~~~~~~~~~~~~~~
In file included from /usr/include/c++/14/algorithm:60,
                 from /usr/include/x86_64-linux-gnu/c++/14/bits/stdc++.h:51,
                 from a.cc:1:
/usr/include/c++/14/bits/stl_algobase.h:233:5: note: candidate: 'template<class _Tp> constexpr const _Tp& std::min(const _Tp&, const _Tp&)'
  233 |     min(const _Tp& __a, const _Tp& __b)
      |     ^~~
/usr/include/c++/14/bits/stl_algobase.h:233:5: note:   template argument deduction/substitution failed:
a.cc:44:19: note:   deduced conflicting types for parameter 'const _Tp' ('long long int' and 'int')
   44 |         slot = min(slot + slot, INF);
      |                ~~~^~~~~~~~~~~~~~~~~~
/usr/include/c++/14/bits/stl_algobase.h:281:5: note: candidate: 'template<class _Tp, class _Compare> constexpr const _Tp& std::min(const _Tp&, const _Tp&, _Compare)'
  281 |     min(const _Tp& __a, const _Tp& __b, _Compare __comp)
      |     ^~~
/usr/include/c++/14/bits/stl_algobase.h:281:5: note:   candidate expects 3 arguments, 2 provided
In file included from /usr/include/c++/14/algorithm:61:
/usr/include/c++/14/bits/stl_algo.h:5686:5: note: candidate: 'template<class _Tp> constexpr _Tp std::min(initializer_list<_Tp>)'
 5686 |     min(initializer_list<_Tp> __l)
      |     ^~~
/usr/include/c++/14/bits/stl_algo.h:5686:5: note:   candidate expects 1 argument, 2 provided
/usr/include/c++/14/bits/stl_algo.h:5696:5: note: candidate: 'template<class _Tp, class _Compare> constexpr _Tp std::min(initializer_list<_Tp>, _Compare)'
 5696 |     min(initializer_list<_Tp> __l, _Compare __comp)
      |     ^~~
/usr/include/c++/14/bits/stl_algo.h:5696:5: note:   template argument deduction/substitution failed:
a.cc:44:19: note:   mismatched types 'std::initializer_list<_Tp>' and 'long long int'
   44 |         slot = min(slot + slot, INF);
      |                ~~~^~~~~~~~~~~~~~~~~~