結果

問題 No.1861 Required Number
ユーザー TKTYITKTYI
提出日時 2022-03-04 21:35:14
言語 C++14
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 102 ms / 2,500 ms
コード長 1,716 bytes
コンパイル時間 4,884 ms
コンパイル使用メモリ 235,560 KB
実行使用メモリ 6,916 KB
最終ジャッジ日時 2023-09-26 03:14:21
合計ジャッジ時間 12,478 ms
ジャッジサーバーID
(参考情報)
judge11 / judge13
このコードへのチャレンジ(β)

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
4,380 KB
testcase_01 AC 1 ms
4,384 KB
testcase_02 AC 2 ms
4,380 KB
testcase_03 AC 102 ms
6,780 KB
testcase_04 AC 102 ms
6,916 KB
testcase_05 AC 2 ms
4,384 KB
testcase_06 AC 2 ms
4,376 KB
testcase_07 AC 2 ms
4,380 KB
testcase_08 AC 2 ms
4,376 KB
testcase_09 AC 1 ms
4,376 KB
testcase_10 AC 2 ms
4,376 KB
testcase_11 AC 2 ms
4,376 KB
testcase_12 AC 1 ms
4,384 KB
testcase_13 AC 2 ms
4,376 KB
testcase_14 AC 2 ms
4,380 KB
testcase_15 AC 2 ms
4,380 KB
testcase_16 AC 2 ms
4,380 KB
testcase_17 AC 2 ms
4,380 KB
testcase_18 AC 2 ms
4,380 KB
testcase_19 AC 2 ms
4,380 KB
testcase_20 AC 2 ms
4,380 KB
testcase_21 AC 1 ms
4,376 KB
testcase_22 AC 2 ms
4,380 KB
testcase_23 AC 2 ms
4,380 KB
testcase_24 AC 30 ms
4,576 KB
testcase_25 AC 72 ms
6,272 KB
testcase_26 AC 17 ms
4,384 KB
testcase_27 AC 30 ms
4,956 KB
testcase_28 AC 34 ms
4,684 KB
testcase_29 AC 22 ms
4,672 KB
testcase_30 AC 12 ms
4,404 KB
testcase_31 AC 76 ms
6,204 KB
testcase_32 AC 11 ms
4,468 KB
testcase_33 AC 51 ms
5,528 KB
testcase_34 AC 59 ms
5,764 KB
testcase_35 AC 62 ms
5,996 KB
testcase_36 AC 25 ms
4,712 KB
testcase_37 AC 33 ms
5,200 KB
testcase_38 AC 64 ms
5,676 KB
testcase_39 AC 40 ms
4,888 KB
testcase_40 AC 76 ms
6,516 KB
testcase_41 AC 71 ms
6,204 KB
testcase_42 AC 57 ms
5,784 KB
testcase_43 AC 35 ms
5,152 KB
testcase_44 AC 2 ms
4,380 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