結果
| 問題 | 
                            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 | 
ソースコード
#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;
}
            
            
            
        
            
chocorusk