Problem p03780 (C++)

Buggy submission (status: Time Limit Exceeded):
#include <algorithm>
#include <cstdio>
#include <iomanip>
#include <iostream>
#include <map>
#include <math.h>
#include <numeric>
#include <queue>
#include <set>
#include <stack>
#include <string.h>
#include <string>
#include <tuple>
#include <vector>
using namespace std;
using ll = long long;
using ld = long double;
using pll = pair<ll, ll>;
using vl = vector<ll>;
using vll = vector<vl>;
using vpll = vector<pll>;
using vs = vector<string>;
using tll = tuple<ll, ll, ll>;
using vtll = vector<tll>;
const ld PI = 3.1415926535897932;
#define debug(...) cerr << "[" << #__VA_ARGS__ << "]:", debug_out(__VA_ARGS__)
#define mp make_pair
#define mt make_tuple
#define pb push_back
#define co(i) cout << i << endl;
#define co2(i, j) cout << i << " " << j << endl;
#define co3(i) cout << i << " ";
#define po(i) cout << i.first << " " << i.second << endl;
void in() {}
void debug_out() { cerr << endl; }
template <typename Head, typename... Tail> void debug_out(Head h, Tail... t) {
  cerr << " " << h;
  if (sizeof...(t) > 0)
    cerr << " :";
  debug_out(t...);
}
template <typename T> ostream &operator<<(ostream &os, vector<T> vec) {
  for (size_t i = 0; i < vec.size(); i++)
    os << vec[i] << (i + 1 == vec.size() ? "" : " ");
  return os;
}
ll ctoi(char c) {
  switch (c) {
  case '0':
    return 0;
  case '1':
    return 1;
  case '2':
    return 2;
  case '3':
    return 3;
  case '4':
    return 4;
  case '5':
    return 5;
  case '6':
    return 6;
  case '7':
    return 7;
  case '8':
    return 8;
  case '9':
    return 9;
  default:
    return 0;
  }
}
bool pairCompare(const pll firstElof, pll secondElof) {
  return firstElof.first > secondElof.first;
}
//**Snippetリスト**//
// rep, vin, all, iteLoop, bitSearch, bitList, nod, digitDP, treeDP//
// gcdlcm, isPrime, eratos, primeFactorize, Npow, combination, divisor, modinv,
// doubling// dfs, bfs, dijkstra, WarshallFloyd, BellmanFord, UnionFind,
// Kruskal, RMQ, LCA//
ll i, j, k, l;
ll N, M, K, H, W, L, X, Y, Z, R, Q;
ll MOD = 1000000007, INF = 1LL << 60, ans = 0, z = 0, o = 1;
vl flag, D;
vll path;
//***********//
int main() {
  int N, K;
  cin >> N >> K;
  vl A(N);
  for (i = 0; i < N; i++)
    cin >> A[i];
  sort(A.begin(), A.end());
  int ok = N, ng = -1;
  while (abs(ok - ng) > 1) {
    int mid = (ok + ng) / 2;
    vll dp(N + 1, vl(K + 1, -1));
    dp[0][0] = 1;
    int cnt = 0;
    for (i = 0; i < N; i++) {
      if (i == mid)
        continue;
      for (j = 0; j <= K; j++) {
        dp[cnt + 1][j] = dp[cnt][j];
      }
      for (j = 0; j <= K; j++) {
        if (j - A[i] >= 0)
          dp[cnt + 1][j] = max(dp[cnt + 1][j], dp[cnt][j - A[i]]);
      }
      cnt++;
    }
    bool pos = false;
    for (i = max(0LL, K - A[mid]); i < K; i++) {
      if (dp[N - 1][i] == 1)
        pos = true;
    }
    if (pos)
      ok = mid;
    else
      ng = mid;
  }
  cout << ng + 1 << endl;
}

Fixed submission:
#include <algorithm>
#include <cstdio>
#include <iomanip>
#include <iostream>
#include <map>
#include <math.h>
#include <numeric>
#include <queue>
#include <set>
#include <stack>
#include <string.h>
#include <string>
#include <tuple>
#include <vector>
using namespace std;
using ll = long long;
using ld = long double;
using pll = pair<ll, ll>;
using vl = vector<ll>;
using vll = vector<vl>;
using vpll = vector<pll>;
using vs = vector<string>;
using tll = tuple<ll, ll, ll>;
using vtll = vector<tll>;
const ld PI = 3.1415926535897932;
#define debug(...) cerr << "[" << #__VA_ARGS__ << "]:", debug_out(__VA_ARGS__)
#define mp make_pair
#define mt make_tuple
#define pb push_back
#define co(i) cout << i << endl;
#define co2(i, j) cout << i << " " << j << endl;
#define co3(i) cout << i << " ";
#define po(i) cout << i.first << " " << i.second << endl;
void in() {}
void debug_out() { cerr << endl; }
template <typename Head, typename... Tail> void debug_out(Head h, Tail... t) {
  cerr << " " << h;
  if (sizeof...(t) > 0)
    cerr << " :";
  debug_out(t...);
}
template <typename T> ostream &operator<<(ostream &os, vector<T> vec) {
  for (size_t i = 0; i < vec.size(); i++)
    os << vec[i] << (i + 1 == vec.size() ? "" : " ");
  return os;
}
ll ctoi(char c) {
  switch (c) {
  case '0':
    return 0;
  case '1':
    return 1;
  case '2':
    return 2;
  case '3':
    return 3;
  case '4':
    return 4;
  case '5':
    return 5;
  case '6':
    return 6;
  case '7':
    return 7;
  case '8':
    return 8;
  case '9':
    return 9;
  default:
    return 0;
  }
}
bool pairCompare(const pll firstElof, pll secondElof) {
  return firstElof.first > secondElof.first;
}
//**Snippetリスト**//
// rep, vin, all, iteLoop, bitSearch, bitList, nod, digitDP, treeDP//
// gcdlcm, isPrime, eratos, primeFactorize, Npow, combination, divisor, modinv,
// doubling// dfs, bfs, dijkstra, WarshallFloyd, BellmanFord, UnionFind,
// Kruskal, RMQ, LCA//
ll i, j, k, l;
ll N, M, K, H, W, L, X, Y, Z, R, Q;
ll MOD = 1000000007, INF = 1LL << 60, ans = 0, z = 0, o = 1;
vl flag, D;
vll path;
//***********//
int main() {
  int N, K;
  cin >> N >> K;
  vl A(N);
  for (i = 0; i < N; i++)
    cin >> A[i];
  sort(A.begin(), A.end());
  int ok = N, ng = -1;
  while (abs(ok - ng) > 1) {
    int mid = (ok + ng) / 2;
    vector<vector<int>> dp(N + 1, vector<int>(K + 1, -1));
    dp[0][0] = 1;
    int cnt = 0;
    for (i = 0; i < N; i++) {
      if (i == mid)
        continue;
      for (j = 0; j <= K; j++) {
        dp[cnt + 1][j] = dp[cnt][j];
      }
      for (j = 0; j <= K; j++) {
        if (j - A[i] >= 0)
          dp[cnt + 1][j] = max(dp[cnt + 1][j], dp[cnt][j - A[i]]);
      }
      cnt++;
    }
    bool pos = false;
    for (i = max(0LL, K - A[mid]); i < K; i++) {
      if (dp[N - 1][i] == 1)
        pos = true;
    }
    if (pos)
      ok = mid;
    else
      ng = mid;
  }
  cout << ng + 1 << endl;
}