結果

問題 No.1861 Required Number
ユーザー TKTYITKTYI
提出日時 2022-03-04 21:35:14
言語 C++14
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 88 ms / 2,500 ms
コード長 1,716 bytes
コンパイル時間 3,920 ms
コンパイル使用メモリ 237,280 KB
実行使用メモリ 6,944 KB
最終ジャッジ日時 2024-07-18 22:30:28
合計ジャッジ時間 10,640 ms
ジャッジサーバーID
（参考情報） 		judge5 / judge1
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
6,816 KB
testcase_01 AC 2 ms
6,940 KB
testcase_02 AC 2 ms
6,944 KB
testcase_03 AC 87 ms
6,944 KB
testcase_04 AC 88 ms
6,940 KB
testcase_05 AC 2 ms
6,944 KB
testcase_06 AC 2 ms
6,944 KB
testcase_07 AC 1 ms
6,944 KB
testcase_08 AC 2 ms
6,940 KB
testcase_09 AC 2 ms
6,944 KB
testcase_10 AC 0 ms
6,940 KB
testcase_11 AC 2 ms
6,944 KB
testcase_12 AC 2 ms
6,940 KB
testcase_13 AC 2 ms
6,940 KB
testcase_14 AC 2 ms
6,944 KB
testcase_15 AC 2 ms
6,940 KB
testcase_16 AC 2 ms
6,940 KB
testcase_17 AC 2 ms
6,944 KB
testcase_18 AC 2 ms
6,940 KB
testcase_19 AC 3 ms
6,940 KB
testcase_20 AC 3 ms
6,944 KB
testcase_21 AC 2 ms
6,940 KB
testcase_22 AC 2 ms
6,940 KB
testcase_23 AC 2 ms
6,944 KB
testcase_24 AC 27 ms
6,940 KB
testcase_25 AC 64 ms
6,940 KB
testcase_26 AC 17 ms
6,944 KB
testcase_27 AC 29 ms
6,944 KB
testcase_28 AC 34 ms
6,940 KB
testcase_29 AC 21 ms
6,944 KB
testcase_30 AC 12 ms
6,940 KB
testcase_31 AC 70 ms
6,940 KB
testcase_32 AC 11 ms
6,944 KB
testcase_33 AC 48 ms
6,940 KB
testcase_34 AC 56 ms
6,944 KB
testcase_35 AC 56 ms
6,940 KB
testcase_36 AC 22 ms
6,944 KB
testcase_37 AC 30 ms
6,944 KB
testcase_38 AC 57 ms
6,944 KB
testcase_39 AC 35 ms
6,944 KB
testcase_40 AC 66 ms
6,944 KB
testcase_41 AC 64 ms
6,940 KB
testcase_42 AC 53 ms
6,940 KB
testcase_43 AC 31 ms
6,940 KB
testcase_44 AC 2 ms
6,940 KB
04_evil_1.txt MLE -
04_evil_2.txt MLE -
04_evil_3.txt MLE -
04_evil_4.txt MLE -
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <bits/stdc++.h>
#include <atcoder/all>
using namespace std;
using namespace atcoder;
typedef long long int ll;
typedef long double ld;
#define FOR(i,l,r) for(ll i=l;i<r;i++)
#define REP(i,n) FOR(i,0,n)
#define RFOR(i,l,r) for(ll i=r-1;i>=l;i--)
#define RREP(i,n) RFOR(i,0,n)
#define ALL(x) x.begin(),x.end()
#define P pair<ll,ll>
#define F first
#define S second
#define BS(A,x) binary_search(ALL(A),x)
#define LB(A,x) (ll)(lower_bound(ALL(A),x)-A.begin())
#define UB(A,x) (ll)(upper_bound(ALL(A),x)-A.begin())
#define COU(A,x) (UB(A,x)-LB(A,x))
template<typename T>using min_priority_queue=priority_queue<T,vector<T>,greater<T>>;
using mint=modint1000000007;
//using mint=modint998244353;
void chmax(ll&a,ll b){a=max(a,b);}
void chmin(ll&a,ll b){a=min(a,b);}
void print(vector<ll>&A){REP(i,A.size()){if(i)cout<<" ";cout<<A[i];}cout<<endl;}
ll dist(ll sx,ll sy,ll tx,ll ty){return (sx-tx)*(sx-tx)+(sy-ty)*(sy-ty);}
vector<vector<ld>>pro(vector<vector<ld>>A,vector<vector<ld>>B){
  ll N=A.size();
  vector<vector<ld>>res(N,vector<ld>(N));
  REP(i,N)REP(j,N)REP(k,N)res[i][j]+=A[i][k]*B[k][j];
  return res;
}
int main(){
  ll N,K;cin>>N>>K;
  vector<ll>A(N);REP(i,N)cin>>A[i];
  vector<vector<bool>>DP(N+1,vector<bool>(K+1)),RDP(N+1,vector<bool>(K+1));
  DP[0][0]=RDP[N][0]=1;
  REP(i,N){
    DP[i+1]=DP[i];
    REP(j,K-A[i]+1)if(DP[i][j])DP[i+1][j+A[i]]=1;
  }
  RREP(i,N){
    RDP[i]=RDP[i+1];
    REP(j,K-A[i]+1)if(RDP[i+1][j])RDP[i][j+A[i]]=1;
  }
  if(!DP[N][K]){cout<<-1<<endl;return 0;}
  ll ans=0;
  REP(i,N){
    bool ok=1;
    REP(j,K+1)if(DP[i][j]&&RDP[i+1][K-j])ok=0;
    bool ng=1;
    REP(j,K-A[i]+1)if(DP[i][j]&&RDP[i+1][K-A[i]-j])ng=0;
    ans+=(ok&&!ng);
  }
  cout<<ans<<endl;
  return 0;
}
0