Language: C++

#include <bits/stdc++.h>
#define rep(i, n) for (int i=0; i<(n); ++i)
#define repr(i, a, b) for (int i=a; i<(b); ++i)
#define reprev(i, n) for (int i=n-1; i>=0; --i)
#define reprrev(i, a, b) for (int i=b-1; i>=(a); --i)
using namespace std;
using ll = long long;
using P = pair<int, int>;

int main() {
    cout << fixed << setprecision(10);
    
    int N; cin >> N;
    vector<int> A(N+1, 0);

    rep(i, N+1) {
        cin >> A[i];
    }

    ll leaf_sum = 0;
    vector<int> max_leaf(N+1);
    reprev(i, N+1) {
        leaf_sum += A[i];
        max_leaf[i] = leaf_sum;
    }
    
    if (A[0] > 0) {
        cout << -1 << endl;
        return 0;
    }
    

    ll ans = 1;
    ll cn = 1;
    repr(i, 1, N+1) {
        cn = min(cn*2, max_leaf[i]);
        ans += cn;
        cn -= A[i];
        leaf_sum -= A[i];
        
        if ((i < N) && (cn <= 0)) {
            cout << -1 << endl;
            return 0;
        }
    }
    
    if (cn < 0) {
        cout << -1 << endl;
        return 0;
    }

    cout << ans << endl;

    return 0;
}

Compiler output:
a.cc: In function 'int main()':
a.cc:36:17: error: no matching function for call to 'min(ll, __gnu_cxx::__alloc_traits<std::allocator<int>, int>::value_type&)'
   36 |         cn = min(cn*2, max_leaf[i]);
      |              ~~~^~~~~~~~~~~~~~~~~~~
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:36:17: note:   deduced conflicting types for parameter 'const _Tp' ('long long int' and '__gnu_cxx::__alloc_traits<std::allocator<int>, int>::value_type' {aka 'int'})
   36 |         cn = min(cn*2, max_leaf[i]);
      |              ~~~^~~~~~~~~~~~~~~~~~~
/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:36:17: note:   mismatched types 'std::initializer_list<_Tp>' and 'long long int'
   36 |         cn = min(cn*2, max_leaf[i]);
      |              ~~~^~~~~~~~~~~~~~~~~~~