This submission is migrated from previous version of oj.uz, which used different machine for grading. This submission may have different result if resubmitted.
#include <bits/stdc++.h>
using namespace std;
#define fi first
#define se second
pair<int, int> dp[1 << 20];
int a[20], b[20];
signed main() {
	ios_base::sync_with_stdio(0);
	cin.tie(0); cout.tie(0);
	int n, m; cin >> n >> m;
	for (int i = 0; i < n; ++i) cin >> a[i];
	for (int i = 0; i < m; ++i) cin >> b[i];
	pair<int, int> candi;
	for (int msk = 1; msk < (1 << m); ++msk) {
		for (int bit = 0; bit < m; ++bit) if (msk & (1 << bit)) {
			candi = dp[msk ^ (1 << bit)];
			if (candi.se + b[bit] == a[candi.fi]) ++candi.fi, candi.se = 0;
			else if (b[bit] == a[candi.fi]) ++candi.fi;
			else candi.se += b[bit]; 
			dp[msk] = max(dp[msk], candi);
			if (dp[msk].fi == n) {cout << "YES"; return 0;}
		}
		// for (int i = 0; i < m; ++i) cout << (msk & (1 << i) ? 1 : 0);
		// cout << ' ' << dp[msk].fi << ' ' << dp[msk].se << '\n';
	}
	cout << "NO";
}
| # | Verdict | Execution time | Memory | Grader output | 
|---|
| Fetching results... | 
| # | Verdict | Execution time | Memory | Grader output | 
|---|
| Fetching results... | 
| # | Verdict | Execution time | Memory | Grader output | 
|---|
| Fetching results... | 
| # | Verdict | Execution time | Memory | Grader output | 
|---|
| Fetching results... |