結果
| 問題 |
No.1861 Required Number
|
| コンテスト | |
| ユーザー |
|
| 提出日時 | 2022-03-04 21:35:14 |
| 言語 | C++14 (gcc 13.3.0 + boost 1.87.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 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| sample | AC * 3 |
| other | AC * 42 MLE * 4 |
ソースコード
#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;
}