Language: C++


#include <iostream>
#include <cstdio>
#include <cstring>
#include <algorithm>
#define REP(i, n) for(int i = 0; i < (int)(n); ++i)
using namespace std;
typedef long long ll;

ll vs[5010];
bool needed[5010];

int N, K;

int memo[5010][5010];
int isPossible(int pos, int x) {
  int& res = memo[pos][x];
  if(res < 0) {
    if (pos == N) {
      res = x == 0;
    } else {
      res = isPossible(pos+1, x);
      if(x-vs[pos] >= 0) {
        res = res || isPossible(pos+1, x-vs[pos]);
      }
    }
  }
  return res;
}

int main(void) {
  cin >> N >> K;
  REP(i, N) {
    cin >> vs[i];
  }
  sort(vs, vs + N);
  memset(memo, -1, sizeof memo);
  int res = N;
  REP(i, N) {
    if(i > 0 && vs[i] == vs[i-1]) {
      needed[i] = needed[i-1];
    } else {
      for(int x = max(K-vs[i], 0); x < K; ++x) {
        needed[i] = needed[i] || isPossible(i+1, x);
      }
    }
    if(needed[i]) {
      // cerr << " " << i << endl;
      --res;
    }
  }
  cout << res << endl;

  return 0;
}


Compiler output:
a.cc: In function 'int main()':
a.cc:43:22: error: no matching function for call to 'max(ll, int)'
   43 |       for(int x = max(K-vs[i], 0); x < K; ++x) {
      |                   ~~~^~~~~~~~~~~~
In file included from /usr/include/c++/14/string:51,
                 from /usr/include/c++/14/bits/locale_classes.h:40,
                 from /usr/include/c++/14/bits/ios_base.h:41,
                 from /usr/include/c++/14/ios:44,
                 from /usr/include/c++/14/ostream:40,
                 from /usr/include/c++/14/iostream:41,
                 from a.cc:2:
/usr/include/c++/14/bits/stl_algobase.h:257:5: note: candidate: 'template<class _Tp> constexpr const _Tp& std::max(const _Tp&, const _Tp&)'
  257 |     max(const _Tp& __a, const _Tp& __b)
      |     ^~~
/usr/include/c++/14/bits/stl_algobase.h:257:5: note:   template argument deduction/substitution failed:
a.cc:43:22: note:   deduced conflicting types for parameter 'const _Tp' ('long long int' and 'int')
   43 |       for(int x = max(K-vs[i], 0); x < K; ++x) {
      |                   ~~~^~~~~~~~~~~~
/usr/include/c++/14/bits/stl_algobase.h:303:5: note: candidate: 'template<class _Tp, class _Compare> constexpr const _Tp& std::max(const _Tp&, const _Tp&, _Compare)'
  303 |     max(const _Tp& __a, const _Tp& __b, _Compare __comp)
      |     ^~~
/usr/include/c++/14/bits/stl_algobase.h:303:5: note:   candidate expects 3 arguments, 2 provided
In file included from /usr/include/c++/14/algorithm:61,
                 from a.cc:5:
/usr/include/c++/14/bits/stl_algo.h:5706:5: note: candidate: 'template<class _Tp> constexpr _Tp std::max(initializer_list<_Tp>)'
 5706 |     max(initializer_list<_Tp> __l)
      |     ^~~
/usr/include/c++/14/bits/stl_algo.h:5706:5: note:   candidate expects 1 argument, 2 provided
/usr/include/c++/14/bits/stl_algo.h:5716:5: note: candidate: 'template<class _Tp, class _Compare> constexpr _Tp std::max(initializer_list<_Tp>, _Compare)'
 5716 |     max(initializer_list<_Tp> __l, _Compare __comp)
      |     ^~~
/usr/include/c++/14/bits/stl_algo.h:5716:5: note:   template argument deduction/substitution failed:
a.cc:43:22: note:   mismatched types 'std::initializer_list<_Tp>' and 'long long int'
   43 |       for(int x = max(K-vs[i], 0); x < K; ++x) {
      |                   ~~~^~~~~~~~~~~~