結果
| 問題 |
No.1861 Required Number
|
| コンテスト | |
| ユーザー |
kai4096_don
|
| 提出日時 | 2022-03-04 21:40:04 |
| 言語 | C++14 (gcc 13.3.0 + boost 1.87.0) |
| 結果 |
AC
|
| 実行時間 | 167 ms / 2,500 ms |
| コード長 | 1,340 bytes |
| コンパイル時間 | 3,806 ms |
| コンパイル使用メモリ | 232,624 KB |
| 実行使用メモリ | 160,384 KB |
| 最終ジャッジ日時 | 2024-07-18 22:34:17 |
| 合計ジャッジ時間 | 11,197 ms |
|
ジャッジサーバーID (参考情報) |
judge5 / judge1 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| sample | AC * 3 |
| other | AC * 42 MLE * 4 |
ソースコード
#include <bits/stdc++.h>
#include <atcoder/all>
using namespace std;
using namespace atcoder;
//const long nPrime = 1000000007;
//const long nPrime = 998244353;
typedef long long ll;
int main() {
long n,k;
cin >> n >> k;
vector<long> viA(n);
for(long i = 0; i < n; i++){
cin >> viA[i];
}
vector<vector<long>> vviDP(n+1,vector<long>(k+1,0));
vviDP[0][0] = 1;
for(long i = 0; i < n; i++){
for(long j = 0; j <= k; j++){
vviDP[i+1][j] |= vviDP[i][j];
}
for(long j = 0; j+viA[i] <= k; j++){
vviDP[i+1][j+viA[i]] |= vviDP[i][j];
}
}
if(vviDP[n][k] == 0){
cout << -1 << endl;
return 0;
}
vector<vector<long>> vviDPBack(n+1,vector<long>(k+1,0));
vviDPBack[0][0] = 1;
for(long i = 0; i < n; i++){
for(long j = 0; j <= k; j++){
vviDPBack[i+1][j] |= vviDPBack[i][j];
}
for(long j = 0; j+viA[n-i-1] <= k; j++){
vviDPBack[i+1][j+viA[n-i-1]] |= vviDPBack[i][j];
}
}
long nAns = n;
for(long i = 0; i < n; i++){
for(long j = 0; j <= k; j++){
if(vviDP[i][j] == 1 && vviDPBack[n-1-i][k-j] == 1){
nAns--;
break;
}
}
}
cout << nAns << endl;
return 0;
}
kai4096_don