Language: C++

#include <bits/stdc++.h>
using namespace std;
#define rep(i, n) for (int i=0; i<(int)(n); i++)
#define all(x) x.begin(), x.end()
#define mod 1000000007
typedef long long ll;

int main(){
  ll n;
  cin >> n;
  vector<ll> vec(n+1);
  for(ll i=0; i<=n; i++) cin >> vec[i];
  ll res = 0;
  ll current = 0;
  vector<ll> mx(n+1);
  if(n == 0 && vec[0] != 1){
    cout << -1 << endl;
    return 0;
  }
  if(n != 0 && vec[0] != 0){
    cout << -1 << endl;
    return 0;
  }
  for(ll i=0; i<=n; i++){
    if(i == 0) mx[i] = 1;
    else{
      if((mx[i-1]-vec[i-1])*2 < vec[i]){
        cout << -1 << endl;
        return 0;
      }
      mx[i] = min((mx[i-1]-vec[i-1])*2, 1000000000000000000);
    }
  }
  for(ll i=n; i>=0; i--){
    if(i == n){
      current += vec[i];
      res += current;
    }else{
      current = min(vec[i]+current, mx[i]);
      res += current;
    }
  }
  cout << res << endl;
  cout << (ll)1e18 << endl;
  return 0;
}

Compiler output:
a.cc: In function 'int main()':
a.cc:31:18: error: no matching function for call to 'min(__gnu_cxx::__alloc_traits<std::allocator<long long int>, long long int>::value_type, long int)'
   31 |       mx[i] = min((mx[i-1]-vec[i-1])*2, 1000000000000000000);
      |               ~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
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:31:18: note:   deduced conflicting types for parameter 'const _Tp' ('long long int' and 'long int')
   31 |       mx[i] = min((mx[i-1]-vec[i-1])*2, 1000000000000000000);
      |               ~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/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:31:18: note:   mismatched types 'std::initializer_list<_Tp>' and 'long long int'
   31 |       mx[i] = min((mx[i-1]-vec[i-1])*2, 1000000000000000000);
      |               ~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~