結果

問題 No.2402 Dirty Stairs and Shoes
コンテスト
ユーザー D M
提出日時 2026-03-04 13:02:00
言語 C++23
(gcc 15.2.0 + boost 1.89.0)
コンパイル:
g++-15 -O2 -lm -std=c++23 -Wuninitialized -DONLINE_JUDGE -o a.out _filename_
実行:
./a.out
結果
AC  
実行時間 7 ms / 2,000 ms
コード長 1,651 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 4,144 ms
コンパイル使用メモリ 378,620 KB
実行使用メモリ 7,716 KB
最終ジャッジ日時 2026-03-04 13:02:41
合計ジャッジ時間 4,978 ms
ジャッジサーバーID
（参考情報） 		judge2 / judge1
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 3
other AC * 32
権限があれば一括ダウンロードができます

ソースコード

diff #
raw source code 

#include <bits/stdc++.h>
using namespace std;
#define rep(i, x, limit) for (long long i = (long long)x; i < (long long)limit; i++)
#define REP(i, x, limit) for (long long i = (long long)x; i <= (long long)limit; i++)
#define all(x) x.begin(), x.end()
#define rall(x) x.rbegin(), x.rend()
#define el '\n'
#define spa " "
#define Yes cout << "Yes" << el
#define No cout << "No" << el
#define YES cout << "YES" << el
#define NO cout << "NO" << el
#define eps (1e-10)
#define Equals(a,b) (fabs((a) - (b)) < eps )
#define debug(x) cerr << #x << " = " << x << el
using ll = long long;
using ull = unsigned long long;
using pii = pair<int,int>;
using pll = pair<ll,ll>;
using vi = vector<int>;
using vl = vector<ll>;
using vvl = vector<vector<ll>>;
using vs = vector<string>;
using vb = vector<bool>;
const double pi = 3.141592653589793238;
const int inf = 1073741823;
const ll infl = 1LL << 60;
const string ABC = "ABCDEFGHIJKLMNOPQRSTUVWXYZ";
const string abc = "abcdefghijklmnopqrstuvwxyz";
const ll MOD = 998244353;
#include<atcoder/all>
using namespace atcoder;
using mint = modint998244353;
using vm = vector<mint>;

int main() {
  ios::sync_with_stdio(false);
  cin.tie(nullptr);
  ll n,k,m1,m2;cin>>n>>k>>m1;
  vl A(m1);rep(i,0,m1)cin>>A[i];
  cin>>m2;
  vl B(m2);rep(i,0,m2)cin>>B[i];
  vi memo(n+1,-1);
  memo[1]=0;
  for(auto a:A)memo[a]=1;
  for(auto b:B)memo[b]=0;
  auto dfs=[&](auto&&f,ll now){
    if(memo[now]>=0)return memo[now];
    if(f(f,now-1)==0){
      memo[now]=0;
      return 0;
    }
    if(now-k>=1&&f(f,now-k)==0){
      memo[now]=0;
      return 0;
    }
    memo[now]=1;
    return 1;
  };
  if(dfs(dfs,n)==0)Yes;
  else No;
}
0