Submission #1298949

#TimeUsernameProblemLanguageResultExecution timeMemory
1298949EkinOnalBank (IZhO14_bank)C++20
71 / 100
1093 ms9160 KiB
//#pragma GCC optimize("O3,unroll-loops,Ofast")
//#pragma GCC target("avx2,bmi,bmi2,popcnt,lzcnt")
#include <bits/stdc++.h>
// #include <ext/pb_ds/assoc_container.hpp>
// #include <ext/pb_ds/tree_policy.hpp>
using namespace std;
// using namespace __gnu_pbds;
 
#define MAX 10005
#define pb push_back
// #define mp make_pair 
#define int long long
#define f first
#define s second
#define vi vector<int>
#define pii pair<int,int>
#define si set<int>
#define vpii vector<pair<int,int>> 
const int mod = 1e9+7;
const int INF = 1e18;
// myMap.begin()->first :  key
// myMap.begin()->second : value
 
int epow(int a,int b){int ans=1;while(b){if(b&1) ans*=a;a*=a;b>>=1;ans%=mod;a%=mod;}return ans%mod;}
int gcd(int a,int b) {if(a<b)swap(a,b);while(b){int tmp=b;b=a%b;a=tmp;}return a;}
int mul(int a,int b){return ((a%mod)*(b%mod))%mod;}
int sum(int a,int b){return ((a%mod)+(b%mod))%mod;}
//typedef tree<int,null_type,less<int>,rb_tree_tag,tree_order_statistics_node_update>ordered_set;
// typedef
// tree<int,null_type,less_equal<int>,rb_tree_tag,tree_order_statistics_node_update>ordered_multiset;
	
	
void solve(){
	int n,m; cin>>n>>m;
	vi v(n+1); for(int i=1;i<=n;i++) cin>>v[i];
	vi coins(m); for(int i=0;i<m;i++) cin>>coins[i];

	if(n==1){

		vi can(2e4+5); can[0]=1;
		for(int i=0;i<m;i++){
			for(int j=2e3;j>=0;j--) can[j+coins[i]]|=can[j];
		}
		if(can[v[1]]) cout<<"YES\n";
		else cout<<"NO\n";
		return;
	}
	

	vi tot(1<<m);
	for(int i=0;i<(1<<m);i++){
		for(int j=0;j<m;j++) if(i&(1<<j)) tot[i]+=coins[j];
	}

	vector<vi> msks(n+2);
	for(int i=1;i<=n;i++){
		for(int j=0;j<(1<<m);j++){
			if(tot[j]==v[i]) msks[i].pb(j);
		}
	}


	vector<vector<bool>> dp(n+2,vector<bool>(1<<m)); dp[0][0]=true;
	for(int i=1;i<=n;i++){
		for(int msk=0;msk<(1<<m);msk++){
			for(auto u : msks[i]){
				if((msk&u)==u){
					dp[i][msk]=dp[i][msk]||dp[i-1][msk^u];
					if(dp[i][msk]) break;
				}
			}

			// for(int submsk=msk;submsk;submsk=(submsk-1)&msk){
			// 	int subset=(msk^submsk);

			// 	if(tot[submsk]==v[i]) dp[i][msk]=dp[i][msk]||dp[i-1][msk^submsk];
			// }
		}	
	}

	bool ans=0;
	for(int i=0;i<(1<<m);i++) ans=ans||dp[n][i];
	if(ans) cout<<"YES\n";
	else cout<<"NO\n";
}	
	
int32_t main(/*int32_t argc, char* argv[]*/){
	std::ios_base::sync_with_stdio(0); std::cin.tie(0);		
	// freopen("guard.in", "r", stdin);
	// freopen("guard.out", "w", stdout);

	int t=1;
	// cin >> t;
	while (t--) solve();
 	
	return 0;
}
#Verdict Execution timeMemoryGrader output
Fetching results...
#Verdict Execution timeMemoryGrader output
Fetching results...
#Verdict Execution timeMemoryGrader output
Fetching results...
#Verdict Execution timeMemoryGrader output
Fetching results...