結果

問題 No.2402 Dirty Stairs and Shoes
ユーザー silv723silv723
提出日時 2023-08-04 21:30:30
言語 C++17
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 92 ms / 2,000 ms
コード長 3,901 bytes
コンパイル時間 4,319 ms
コンパイル使用メモリ 270,772 KB
実行使用メモリ 24,576 KB
最終ジャッジ日時 2024-05-10 07:06:00
合計ジャッジ時間 6,042 ms
ジャッジサーバーID
（参考情報） 		judge5 / judge1
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
5,248 KB
testcase_01 AC 2 ms
5,376 KB
testcase_02 AC 2 ms
5,376 KB
testcase_03 AC 23 ms
5,376 KB
testcase_04 AC 3 ms
5,376 KB
testcase_05 AC 38 ms
5,376 KB
testcase_06 AC 13 ms
5,376 KB
testcase_07 AC 5 ms
5,376 KB
testcase_08 AC 6 ms
5,376 KB
testcase_09 AC 12 ms
5,376 KB
testcase_10 AC 22 ms
5,376 KB
testcase_11 AC 15 ms
5,376 KB
testcase_12 AC 7 ms
5,376 KB
testcase_13 AC 33 ms
15,872 KB
testcase_14 AC 53 ms
24,576 KB
testcase_15 AC 2 ms
5,376 KB
testcase_16 AC 13 ms
7,936 KB
testcase_17 AC 40 ms
18,944 KB
testcase_18 AC 30 ms
14,720 KB
testcase_19 AC 49 ms
21,760 KB
testcase_20 AC 40 ms
18,816 KB
testcase_21 AC 2 ms
5,376 KB
testcase_22 AC 29 ms
10,880 KB
testcase_23 AC 3 ms
5,376 KB
testcase_24 AC 19 ms
10,368 KB
testcase_25 AC 86 ms
21,760 KB
testcase_26 AC 20 ms
11,264 KB
testcase_27 AC 92 ms
22,528 KB
testcase_28 AC 33 ms
16,256 KB
testcase_29 AC 21 ms
11,136 KB
testcase_30 AC 2 ms
5,376 KB
testcase_31 AC 47 ms
22,656 KB
testcase_32 AC 20 ms
10,752 KB
testcase_33 AC 2 ms
5,376 KB
testcase_34 AC 16 ms
8,192 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include<bits/stdc++.h>
#include<atcoder/all>
using namespace atcoder;
#pragma GCC target("avx2")
#pragma GCC optimize("O3")
#pragma GCC optimize("unroll-loops")
using namespace std;
using ll=long long;
using ld=long double;
using ull=unsigned long long;
using i128 = __int128_t;
#define vs vector<string>
#define rep(i,n) for(ll i=0;i<ll(n);i++)
#define rep2(i,n) for(ll i=n-1;i>=0;i--)
#define rep3(i,a,b) for(ll i=a;i<=ll(b);i++)
#define rep4(i,a,b) for(ll i=a;i>=ll(b);i--)
#define forv(i,V) for(const auto& i:V)
#define all(x) x.begin(),x.end()
#define fi first
#define se second
#define SIZE(x) int(x.size())
constexpr ll mod=998244353;
//constexpr ll mod=1000000007;
#define pi 3.14159265358979323
#define INF32 2147483647
#define INF64 9223372036854775807
#define faster ios::sync_with_stdio(false);std::cin.tie(nullptr)
#define pii pair<int, int>
#define pll pair<ll, ll>
#define pb push_back
#define eb emplace_back
#define mp make_pair
#define rev reverse
#define vi vector<int>
#define vll vector<ll>
#define vpi vector<pair<int,int>>
#define vpll vector<pair<ll,ll>>
#define vvi vector<vector<int>>
#define vvll vector<vector<ll>>
#define prq priority_queue
#define lb lower_bound
#define ub upper_bound
#define popcnt __builtin_popcountll
#define TLE while(true);
#define RE assert(false);
#define MLE vector<vector<vector<long long>>> mle_mle(400,vector<vector<long long>>(1000,vector<long long>(1000)));
const string YESNO[2] = {"NO", "YES"};
const string YesNo[2] = {"No", "Yes"};
const string yesno[2] = {"no", "yes"};
#define rall(n) (n).rbegin(),(n).rend()
#define INT(...) int __VA_ARGS__;scan(__VA_ARGS__)
#define LL(...) ll __VA_ARGS__;scan(__VA_ARGS__)
#define STR(...) string __VA_ARGS__;scan(__VA_ARGS__)
#define CHR(...) char __VA_ARGS__;scan(__VA_ARGS__)
#define DBL(...) double __VA_ARGS__;scan(__VA_ARGS__)
#define LD(...) ld __VA_ARGS__;scan(__VA_ARGS__)
template<typename T,typename U>
ostream &operator<<(ostream&os,const pair<T,U>&p){os<<p.first<<" "<<p.second;return os;}
template<typename T,typename U>
istream &operator>>(istream&is,pair<T,U>&p){is>>p.first>>p.second;return is;}
template<typename T>
ostream &operator<<(ostream&os,const vector<T>&v){for(auto it=v.begin();it!=v.end();){os<<*it<<((++it)!=v.end()?" ":"");}return os;}
template<typename T>
istream &operator>>(istream&is,vector<T>&v){for(T &in:v){is>>in;}return is;}
void scan(){}
template<class Head,class... Tail>
void scan(Head&head,Tail&... tail){cin>>head;scan(tail...);}
template<class T>
void print(const T &t){cout<<t<<'\n';}
template<class Head, class... Tail>
void print(const Head &head, const Tail &... tail){cout<<head<<' ';print(tail...);}
template<class... T>
void fin(const T &... a){print(a...);exit(0);}
ll max(int a,ll b){return max((ll)a,b);}
ll max(ll a,int b){return max((ll)b,a);}
ll min(int a,ll b){return min((ll)a,b);}
ll min(ll a,int b){return min((ll)b,a);}
//a以上b以下の個数
template<typename T>
ll RangeOK(ll a,ll b,vector<T> &v){
  return max(ub(all(v),b)-lb(all(v),a),0);
}
template <typename T>
vector<T> compress(vector<T> &X) {
    vector<T> vals = X;
    sort(vals.begin(), vals.end());
    vals.erase(unique(vals.begin(), vals.end()), vals.end());
    for (int i = 0; i < (int)X.size(); i++) {
        X[i] = lower_bound(vals.begin(), vals.end(), X[i]) - vals.begin();
    }
    return vals;
}
/*
#include <ext/pb_ds/assoc_container.hpp>
#include <ext/pb_ds/tree_policy.hpp>
using namespace __gnu_pbds;
*/
int n, k;
vll v;
map<int, bool> m;
bool solve(int s){
  if(s == 0) return true;
  if(v[s] == 1) return false;
  if(m.count(s)) return m[s];
  bool ret = false;
  if(v[s] == 2) ret = true;
  if(s > 0) ret |= solve(s-1);
  if(s > k-1) ret |= solve(s-k);
  return m[s] = ret;
}
int main(){
  scan(n, k);
  v.resize(n+1);
  INT(m);
  rep(i, m){
    LL(x);
    v[x] = 1;
  }
  scan(m);
  rep(i, m){
    LL(x);
    v[x] = 2;
  }
  fin(YesNo[solve(n)]);
}
0