結果

問題 No.1538 引きこもりさんは引き算が得意。
ユーザー chocorusk
提出日時 2021-06-07 01:03:38
言語 C++17
(gcc 13.3.0 + boost 1.87.0)
結果
AC  
実行時間 1,193 ms / 2,000 ms
コード長 1,403 bytes
コンパイル時間 3,240 ms
コンパイル使用メモリ 188,860 KB
最終ジャッジ日時 2025-01-22 04:43:39
ジャッジサーバーID
（参考情報） 		judge3 / judge4
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 3
other AC * 54
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <cstdio>
#include <cstring>
#include <iostream>
#include <string>
#include <cmath>
#include <bitset>
#include <vector>
#include <map>
#include <set>
#include <queue>
#include <deque>
#include <algorithm>
#include <complex>
#include <unordered_map>
#include <unordered_set>
#include <random>
#include <cassert>
#include <fstream>
#include <utility>
#include <functional>
#include <time.h>
#include <stack>
#include <array>
#include <list>
#include <atcoder/all>
#define popcount __builtin_popcount
using namespace std;
using namespace atcoder;
typedef long long ll;
typedef pair<int, int> P;

int main()
{
    int n; ll k; cin>>n>>k;
    ll a[22];
    for(int i=0; i<n; i++){
        cin>>a[i];
        if(a[i]==k){
            cout<<"Yes"<<endl;
            return 0;
        }
    }
    ll s[1<<20]={};
    map<ll, ll> mp;
    for(int i=0; i<(1<<n); i++){
        for(int j=0; j<n; j++){
            if(i&(1<<j)) s[i]+=a[j];
        }
        mp[s[i]]++;
    }
    ll ans=0;
    for(auto p:mp){
        if(mp.find(p.first+k)==mp.end()) continue;
        ans+=p.second*mp[p.first+k];
    }
    for(int i=0; i<(1<<n); i++){
        if(s[i]==k){
            int p=popcount(i);
            ans-=(1ll<<(n-p));
        }
        if(i && s[i]==-k){
            int p=popcount(i);
            ans-=(1ll<<(n-p));
        }
    }
    if(ans) cout<<"Yes"<<endl;
    else cout<<"No"<<endl;
    return 0;
}
0