結果
| 問題 | 
                            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