結果
問題 | No.1538 引きこもりさんは引き算が得意。 |
ユーザー | akua |
提出日時 | 2023-08-22 17:53:41 |
言語 | C++17 (gcc 12.3.0 + boost 1.83.0) |
結果 |
AC
|
実行時間 | 31 ms / 2,000 ms |
コード長 | 5,508 bytes |
コンパイル時間 | 4,275 ms |
コンパイル使用メモリ | 196,880 KB |
実行使用メモリ | 5,376 KB |
最終ジャッジ日時 | 2024-05-09 23:42:12 |
合計ジャッジ時間 | 6,055 ms |
ジャッジサーバーID (参考情報) |
judge1 / judge4 |
(要ログイン)
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | AC | 1 ms
5,248 KB |
testcase_01 | AC | 2 ms
5,376 KB |
testcase_02 | AC | 2 ms
5,376 KB |
testcase_03 | AC | 2 ms
5,376 KB |
testcase_04 | AC | 1 ms
5,376 KB |
testcase_05 | AC | 2 ms
5,376 KB |
testcase_06 | AC | 2 ms
5,376 KB |
testcase_07 | AC | 2 ms
5,376 KB |
testcase_08 | AC | 2 ms
5,376 KB |
testcase_09 | AC | 2 ms
5,376 KB |
testcase_10 | AC | 2 ms
5,376 KB |
testcase_11 | AC | 2 ms
5,376 KB |
testcase_12 | AC | 2 ms
5,376 KB |
testcase_13 | AC | 2 ms
5,376 KB |
testcase_14 | AC | 2 ms
5,376 KB |
testcase_15 | AC | 2 ms
5,376 KB |
testcase_16 | AC | 2 ms
5,376 KB |
testcase_17 | AC | 2 ms
5,376 KB |
testcase_18 | AC | 2 ms
5,376 KB |
testcase_19 | AC | 2 ms
5,376 KB |
testcase_20 | AC | 2 ms
5,376 KB |
testcase_21 | AC | 2 ms
5,376 KB |
testcase_22 | AC | 2 ms
5,376 KB |
testcase_23 | AC | 2 ms
5,376 KB |
testcase_24 | AC | 2 ms
5,376 KB |
testcase_25 | AC | 2 ms
5,376 KB |
testcase_26 | AC | 2 ms
5,376 KB |
testcase_27 | AC | 2 ms
5,376 KB |
testcase_28 | AC | 2 ms
5,376 KB |
testcase_29 | AC | 2 ms
5,376 KB |
testcase_30 | AC | 2 ms
5,376 KB |
testcase_31 | AC | 2 ms
5,376 KB |
testcase_32 | AC | 2 ms
5,376 KB |
testcase_33 | AC | 2 ms
5,376 KB |
testcase_34 | AC | 2 ms
5,376 KB |
testcase_35 | AC | 2 ms
5,376 KB |
testcase_36 | AC | 2 ms
5,376 KB |
testcase_37 | AC | 20 ms
5,376 KB |
testcase_38 | AC | 21 ms
5,376 KB |
testcase_39 | AC | 24 ms
5,376 KB |
testcase_40 | AC | 21 ms
5,376 KB |
testcase_41 | AC | 22 ms
5,376 KB |
testcase_42 | AC | 21 ms
5,376 KB |
testcase_43 | AC | 2 ms
5,376 KB |
testcase_44 | AC | 21 ms
5,376 KB |
testcase_45 | AC | 20 ms
5,376 KB |
testcase_46 | AC | 21 ms
5,376 KB |
testcase_47 | AC | 11 ms
5,376 KB |
testcase_48 | AC | 30 ms
5,376 KB |
testcase_49 | AC | 22 ms
5,376 KB |
testcase_50 | AC | 2 ms
5,376 KB |
testcase_51 | AC | 30 ms
5,376 KB |
testcase_52 | AC | 30 ms
5,376 KB |
testcase_53 | AC | 30 ms
5,376 KB |
testcase_54 | AC | 31 ms
5,376 KB |
testcase_55 | AC | 31 ms
5,376 KB |
testcase_56 | AC | 31 ms
5,376 KB |
ソースコード
#include<atcoder/all> #include <iostream> // cout, endl, cin #include <string> // string, to_string, stoi #include <vector> // vector #include <algorithm> // min, max, swap, sort, reverse, lower_bound, upper_bound #include <utility> // pair, make_pair #include <tuple> // tuple, make_tuple #include <cstdint> // int64_t, int*_t #include <cstdio> // printf #include <map> // map #include <queue> // queue, priority_queue #include <set> // set #include <stack> // stack #include <deque> // deque #include <unordered_map> // unordered_map #include <unordered_set> // unordered_set #include <bitset> // bitset #include <cctype> // isupper, islower, isdigit, toupper, tolower #include <math.h> #include <iomanip> #include <functional> #include<unordered_map> #include <random> using namespace std; using namespace atcoder; #define rep(i, n) for (int i = 0; i < (int)(n); i++) #define repi(i, a, b) for (int i = (int)(a); i < (int)(b); i++) #define rep2(i, m, n) for (int i = (m); i < (n); ++i) #define drep2(i, m, n) for (int i = (m)-1; i >= (n); --i) #define drep(i, n) drep2(i, n, 0) //#define endl '\n' #define all(x) (x).begin(),(x).end() #define arr(x) (x).rbegin(),(x).rend() typedef long long ll; typedef unsigned long long ull; const ll inf=1e18; //const int inf=1e7; using graph = vector<vector<int> > ; using P= pair<ll,ll>; using vi=vector<int>; using vvi=vector<vi>; using vll=vector<ll>; using vvll=vector<vll>; using vp=vector<P>; using vvp=vector<vp>; using vd=vector<double>; using vvd =vector<vd>; //string T="ABCDEFGHIJKLMNOPQRSTUVWXYZ"; //string S="abcdefghijklmnopqrstuvwxyz"; //g++ main.cpp -std=c++17 -I . //cout <<setprecision(20); //cout << fixed << setprecision(10); //cin.tie(0); ios::sync_with_stdio(false); const double PI = acos(-1); int vx[]={0,1,0,-1,-1,1,1,-1},vy[]={1,0,-1,0,1,1,-1,-1}; void putsYes(bool f){cout << (f?"Yes":"No") << endl;} void putsYES(bool f){cout << (f?"YES":"NO") << endl;} void putsFirst(bool f){cout << (f?"First":"Second") << endl;} void debug(int test){cout << "TEST" << " " << test << endl;} ll pow_pow(ll x,ll n,ll mod){ if(n==0) return 1; x%=mod; ll res=pow_pow(x*x%mod,n/2,mod); if(n&1)res=res*x%mod; return res; } ll gcdll(ll x,ll y){ if(y==0)return x; return gcdll(y,x%y); } //ll INFF=1000100100100100100; ll lcmll(ll x,ll y){ ll X=(x/gcdll(x,y)),Y=y; return X*Y; } template<class T> bool chmin(T& a, T b) { if (a > b) { a = b; return true; } else return false; } template<class T> bool chmax(T& a, T b) { if (a < b) { a = b; return true; } else return false; } struct edge{ int to; ll cost;int dir; edge(int to,ll cost,int dir) : to(to),cost(cost),dir(dir){} }; using ve=vector<edge>; using vve=vector<ve>; //using mint = modint998244353; using mint = modint1000000007; using vm=vector<mint>; using vvm=vector<vm>; //const int mod = 998244353; int mod = 1e9+7; constexpr ll MAX = 10; ll fact[MAX],finv[MAX],inv[MAX]; void initcomb(){ fact[0]=fact[1]=1; finv[0]=finv[1]=1; inv[1]=1; for(int i=2;i<MAX;i++){ fact[i]=fact[i-1]*i%mod; inv[i]=mod-inv[mod%i]*(mod/i)%mod; finv[i]=finv[i-1]*inv[i]%mod; } } ll comb(ll n,ll k){ if(n<k) return 0; if(n<0||k<0) return 0; return fact[n]*(finv[k]*finv[n-k]%mod)%mod; } struct UnionFind { vector<int> par, siz; UnionFind(int n) : par(n, -1) , siz(n, 1) { } int root(int x) { if (par[x] == -1) return x; else return par[x] = root(par[x]); } bool issame(int x, int y) { return root(x) == root(y); } bool unite(int x, int y) { x = root(x), y = root(y); if (x == y) return false; //if (siz[x] < siz[y]) swap(x, y); par[y] = x; siz[x] += siz[y]; return true; } int size(int x) { return siz[root(x)]; } }; struct Compress{ vll a; map<ll,ll> d,d2; int cnt; Compress() :cnt(0) {} void add(ll x){a.push_back(x);} void init(){ set<ll>s(a.begin(),a.end()); for(auto y:s)d[y]=cnt++; for(auto&y:a)y=d[y]; for(auto u:d)d2[u.second]=u.first; } ll to(ll x){return d[x];} //変換先 ll from(ll x){return d2[x];}//逆引き int size(){return cnt;} }; vll anss; void solve(int test){ int n,k; cin >> n >> k; vi a,b; int isin=0; rep(i,n){ int x; cin >> x; if(x==k)isin=1; if(i%2==0)a.push_back(x); else b.push_back(x); } if(isin){ putsYes(1); return; } int sa=a.size(); int sb=b.size(); int sa3=1,sb3=1; rep(i,sa)sa3*=3; rep(i,sb)sb3*=3; vvll ga(4),gb(4); rep(x,sa3){ int bit=0; int now=x; ll val=0; rep(i,sa){ int j=now%3; if(j==1)val+=a[i],bit|=1; if(j==2)val-=a[i],bit|=2; now/=3; } ga[bit].push_back(val); } rep(x,sb3){ int bit=0; int now=x; ll val=0; rep(i,sb){ int j=now%3; if(j==1)val+=b[i],bit|=1; if(j==2)val-=b[i],bit|=2; now/=3; } gb[bit].push_back(val); } rep(bit,4)sort(all(ga[bit])); rep(bit,4)sort(all(gb[bit])); int is=0; rep(bit,4)rep(bit2,4){ if((bit|bit2)==3){ for(auto x:ga[bit]){ int index=lower_bound(all(gb[bit2]),k-x)-gb[bit2].begin(); int index2=upper_bound(all(gb[bit2]),k-x)-gb[bit2].begin(); if(index!=index2)is=1; } } } putsYes(is); } //g++ main.cpp -std=c++17 -I . int main(){cin.tie(0);ios::sync_with_stdio(false); int t=1;//cin >>t; rep(test,t)solve(test); for(auto ans:anss)cout << ans << endl; }