Language: C++

#include <bits/stdc++.h>
using namespace std;
using ll = long long;
using ld = long double;
using pint = pair<int, int>;
using pll = pair<int, int>;
using Edge = pair<int, ll>;
using Graph = vector<vector<int>>;
using WeightedGraph = vector<vector<Edge>>;
const ll INF = 1LL << 60;
const int INF32 = 1 << 29;
const ll MOD = 1000000007;

const int MAX = 4040404;

int main() {
    ll N; cin >> N;
    vector<ll> A(N);
    ll sum = 0;
    for (int i = 0; i < N; ++i) cin >> A[i], sum += A[i];
    
    /* ある値が存在するか=部分和問題をin-placeに
    dp[0] = true;
    for(int i = 0; i < N; ++i)
        for(int j = 0, j <= N*A; ++j)
            dp[j + A[i]] |= dp[j]; */

    // 高速化！！！
    // A[i]を加えるパターン(bitをA[i]左にシフト)とORをとることで、
    // A[i]を加えないパターンに対応
    bitset<MAX> dp;
    dp[0] = 1;
    for (int i = 0; i < N; ++i) {
        // = 加えない || A[i]加算
        dp = dp || (dp << A[i]);
    }

    /* 全部選ばないのは不適なので2^n-1通り、
    つまり中央値は大きい方半分のうちの最小値
    つまり、(S + 1)/2 以上の値の中での最小値 */
    ll ans;
    for (ans = (sum+1)/2; ans < MAX; ++ans) {
        if (dp[ans]) break;
    }
    cout << ans << endl;
}



Compiler output:
a.cc: In function 'int main()':
a.cc:35:17: error: no match for 'operator||' (operand types are 'std::bitset<4040404>' and 'std::bitset<4040404>')
   35 |         dp = dp || (dp << A[i]);
      |              ~~ ^~ ~~~~~~~~~~~~
      |              |         |
      |              |         bitset<[...]>
      |              bitset<[...]>
a.cc:35:17: note: candidate: 'operator||(bool, bool)' (built-in)
   35 |         dp = dp || (dp << A[i]);
      |              ~~~^~~~~~~~~~~~~~~
a.cc:35:17: note:   no known conversion for argument 2 from 'std::bitset<4040404>' to 'bool'
In file included from /usr/include/c++/14/valarray:605,
                 from /usr/include/x86_64-linux-gnu/c++/14/bits/stdc++.h:166,
                 from a.cc:1:
/usr/include/c++/14/bits/valarray_after.h:416:5: note: candidate: 'template<class _Dom1, class _Dom2> std::_Expr<std::__detail::_BinClos<std::__logical_or, std::_Expr, std::_Expr, _Dom1, _Dom2>, typename std::__fun<std::__logical_or, typename _Dom1::value_type>::result_type> std::operator||(const _Expr<_Dom1, typename _Dom1::value_type>&, const _Expr<_Dom2, typename _Dom2::value_type>&)'
  416 |     _DEFINE_EXPR_BINARY_OPERATOR(||, struct std::__logical_or)
      |     ^~~~~~~~~~~~~~~~~~~~~~~~~~~~
/usr/include/c++/14/bits/valarray_after.h:416:5: note:   template argument deduction/substitution failed:
a.cc:35:31: note:   'std::bitset<4040404>' is not derived from 'const std::_Expr<_Dom1, typename _Dom1::value_type>'
   35 |         dp = dp || (dp << A[i]);
      |                               ^
/usr/include/c++/14/bits/valarray_after.h:416:5: note: candidate: 'template<class _Dom> std::_Expr<std::__detail::_BinClos<std::__logical_or, std::_Expr, std::_Constant, _Dom, typename _Dom::value_type>, typename std::__fun<std::__logical_or, typename _Dom1::value_type>::result_type> std::operator||(const _Expr<_Dom1, typename _Dom1::value_type>&, const typename _Dom::value_type&)'
  416 |     _DEFINE_EXPR_BINARY_OPERATOR(||, struct std::__logical_or)
      |     ^~~~~~~~~~~~~~~~~~~~~~~~~~~~
/usr/include/c++/14/bits/valarray_after.h:416:5: note:   template argument deduction/substitution failed:
a.cc:35:31: note:   'std::bitset<4040404>' is not derived from 'const std::_Expr<_Dom1, typename _Dom1::value_type>'
   35 |         dp = dp || (dp << A[i]);
      |                               ^
/usr/include/c++/14/bits/valarray_after.h:416:5: note: candidate: 'template<class _Dom> std::_Expr<std::__detail::_BinClos<std::__logical_or, std::_Constant, std::_Expr, typename _Dom::value_type, _Dom>, typename std::__fun<std::__logical_or, typename _Dom1::value_type>::result_type> std::operator||(const typename _Dom::value_type&, const _Expr<_Dom1, typename _Dom1::value_type>&)'
  416 |     _DEFINE_EXPR_BINARY_OPERATOR(||, struct std::__logical_or)
      |     ^~~~~~~~~~~~~~~~~~~~~~~~~~~~
/usr/include/c++/14/bits/valarray_after.h:416:5: note:   template argument deduction/substitution failed:
a.cc:35:31: note:   'std::bitset<4040404>' is not derived from 'const std::_Expr<_Dom1, typename _Dom1::value_type>'
   35 |         dp = dp || (dp << A[i]);
      |                               ^
/usr/include/c++/14/bits/valarray_after.h:416:5: note: candidate: 'template<class _Dom> std::_Expr<std::__detail::_BinClos<std::__logical_or, std::_Expr, std::_ValArray, _Dom, typename _Dom::value_type>, typename std::__fun<std::__logical_or, typename _Dom1::value_type>::result_type> std::operator||(const _Expr<_Dom1, typename _Dom1::value_type>&, const valarray<typename _Dom::value_type>&)'
  416 |     _DEFINE_EXPR_BINARY_OPERATOR(||, struct std::__logical_or)
      |     ^~~~~~~~~~~~~~~~~~~~~~~~~~~~
/usr/include/c++/14/bits/valarray_after.h:416:5: note:   template argument deduction/substitution failed:
a.cc:35:31: note:   'std::bitset<4040404>' is not derived from 'const std::_Expr<_Dom1, typename _Dom1::value_type>'
   35 |         dp = dp || (dp << A[i]);
      |                               ^
/usr/include/c++/14/bits/valarray_after.h:416:5: note: candidate: 'template<class _Dom> std::_Expr<std::__detail::_BinClos<std::__logical_or, std::_ValArray, std::_Expr, typename _Dom::value_type, _Dom>, typename std::__fun<std::__logical_or, typename _Dom1::value_type>::result_type> std::operator||(const valarray<typename _Dom::value_type>&, const _Expr<_Dom1, typename _Dom1::value_type>&)'
  416 |     _DEFINE_EXPR_BINARY_OPERATOR(||, struct std::__logical_or)
      |     ^~~~~~~~~~~~~~~~~~~~~~~~~~~~
/usr/include/c++/14/bits/valarray_after.h:416:5: note:   template argument deduction/substitution failed:
a.cc:35:31: note:   'std::bitset<4040404>' is not derived from 'const std::_Expr<_Dom1, typename _Dom1::value_type>'
   35 |         dp = dp || (dp << A[i]);
      |                               ^
/usr/include/c++/14/valarray:1207:1: note: candidate: 'template<class _Tp> std::_Expr<std::__detail::_BinClos<std::__logical_or, std::_ValArray, std::_ValArray, _Tp, _Tp>, typename std::__fun<std::__logical_or, _Tp>::result_type> std::operator||(const valarray<_Tp>&, const valarray<_Tp>&)'
 1207 | _DEFINE_BINARY_OPERATOR(||, __logical_or)
      | ^~~~~~~~~~~~~~~~~~~~~~~
/usr/include/c++/14/valarray:1207:1: note:   template argument deduction/substitution failed:
a.cc:35:31: note:   'std::bitset<4040404>' is not derived from 'const std::valarray<_Tp>'
   35 |         dp = dp || (dp << A[i]);
      |                               ^
/usr/include/c++/14/valarray:1207:1: note: candidate: 'template<class _Tp> std::_Expr<std::__detail::_BinClos<std::__logical_or, std::_ValArray, std::_Constant, _Tp, _Tp>, typename std::__fun<std::__logical_or, _Tp>::result_type> std::operator||(const valarray<_Tp>&, const typename valarray<_Tp>::value_type&)'
 1207 | _DEFINE_BINARY_OPERATOR(||, __logical_or)
      | ^~~~~~~~~~~~~~~~~~~~~~~
/usr/include/c++/14/valarray:1207:1: note:   template argument deduction/substitution failed:
a.cc:35:31: note:   'std::bitset<4040404>' is not derived from 'const std::valarray<_Tp>'
   35 |         dp = dp || (dp << A[i]);
      |                               ^
/usr/include/c++/14/valarray:1207:1: note: candidate: 'template<class _Tp> std::_Expr<std::__detail::_BinClos<std::__logical_or, std::_Constant, std::_ValArray, _Tp, _Tp>, typename std::__fun<std::__logical_or, _Tp>::result_type> std::operator||(const typename valarray<_Tp>::value_type&, const valarray<_Tp>&)'
 1207 | _DEFINE_BINARY_OPERATOR(||, __logical_or)
      | ^~~~~~~~~~~~~~~~~~~~~~~
/usr/include/c++/14/valarray:1207:1: note:   template argument deduction/substitution failed:
a.cc:35:31: note:   'std::bitset<4040404>' is not derived from 'const std::valarray<_Tp>'
   35 |         dp = dp || (dp << A[i]);
      |                               ^