#include <bits/stdc++.h>
using namespace std;
typedef long long ll;
typedef pair<ll, ll> pll;
const ll LOG = 31;
const ll MOD = 1000000007;
const ll inf = 1e17;
const ll A = 1000;
#define db(x) cerr << #x << " = " << x << " | "
#define dbg(x) cerr << #x << " = " << x << "\n"
#define Algerian ios::sync_with_stdio(0);
#define OI cin.tie(NULL);
int main() {
    Algerian OI
    ll n, m;
    cin >> n >> m;
    vector<ll> a(n), b(m);
    for (ll i = 0; i < n; i++) cin >> a[i];
    for (ll i = 0; i < m; i++) cin >> b[i];
    vector<vector<ll>> sum(A + 1);
    for (ll i = 0; i < (1 << m); i++) {
        ll s = 0;
        for (ll j = 0; j < m; j++) {
            if ((i >> j) & 1) s += b[j];
        }
        if (s <= A) sum[s].push_back(i);
    }
    vector<vector<bool>> dp(n + 1, vector<bool>(1 << m, 0));
    for (ll i = 0; i < (1 << m); i++) dp[n][i] = 1;
    for (ll i = n - 1; i >= 0; i--) {
        for (ll mask = 0; mask < (1 << m); mask++) {
            for (auto subset : sum[a[i]]) {
                if (mask & subset == subset) {
                    if (dp[i + 1][mask ^ subset] == 1) { dp[i][mask] = 1; break; }
                }
            }
        }
    }
    cout << (dp[0][(1 << m) - 1] ? "YES\n" : "NO\n");
    return 0;
}
| # | 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... |