#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 PLL pair<long long, long long>
#define LL long long
 
#define faster {ios_base::sync_with_stdio(false);cin.tie(NULL);cout.tie(NULL);}
#define ordered_set tree<int, null_type,less_equal<int>, rb_tree_tag,tree_order_statistics_node_update>
#define all(v) v.begin(),v.end()
 
const LL mod =  998244353;
const int N = 2e5 + 7;
 
const LL INF = 1e17 + 1;
const int inf = 1e9 + 1;
void solve(int tc) {
    int n, m; cin >> n >> m;
    vector<int> salary(n), notes(m);
    for(auto &i: salary)
        cin >> i;
    for(auto &i: notes)
        cin >> i;
    vector<int> dp(1 << m), msksum(1 << m); dp[0] = 1;
    for(int i = 1; i < (1 << m); i++){
        msksum[i] = msksum[i & (i - 1)] + notes[__builtin_ctz(i)];
    }
    for(int i = 0; i < n; i++){
        vector<int> ndp(1 << m);
        for(int msk = 0; msk < (1 << m); msk++){
            if(!dp[msk]) continue;
            for(int avail = ((1 << m) - 1) ^ msk, submsk = avail; submsk > 0; submsk = (submsk - 1) & avail){
                if(msksum[submsk] == salary[i]){
                    // cerr << msk << ' ' << submsk << ' ' << msksum[submsk] << '\n';
                    ndp[msk | submsk] = 1;
                }
            }
        }
        swap(dp, ndp);
    }
    int fl = accumulate(all(dp), 0);
    cout << (fl ? "YES" : "NO") << '\n';
}
 
signed main() {
    faster
    int t = 1;
    // cin >> t;
    for (int tc = 1; tc <= t; tc++) {
        solve(tc);
    }
    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... |