結果
| 問題 | No.1465 Archaea | 
| コンテスト | |
| ユーザー |  Ahykw | 
| 提出日時 | 2021-04-02 23:42:03 | 
| 言語 | C++17 (gcc 13.3.0 + boost 1.87.0) | 
| 結果 | 
                                AC
                                 
                             | 
| 実行時間 | 5 ms / 2,000 ms | 
| コード長 | 1,762 bytes | 
| コンパイル時間 | 3,990 ms | 
| コンパイル使用メモリ | 214,828 KB | 
| 最終ジャッジ日時 | 2025-01-20 10:09:50 | 
| ジャッジサーバーID (参考情報) | judge5 / judge2 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| sample | AC * 4 | 
| other | AC * 20 | 
ソースコード
#pragma GCC optimize("O3")
//#pragma GCC target("avx2")
//#pragma GCC optimize("unroll-loops")
#include <bits/stdc++.h>
using namespace std;
typedef long long ll;
typedef unsigned long long ull;
typedef long double ld;
typedef vector<int> vi;
typedef vector<ll> vll;
typedef vector<ld> vld;
typedef pair<ll,ll> Pll;
typedef pair<int,int> Pin;
ll INF = 1e16;
int inf = 1e9;
#define ALL(x) (x).begin(), (x).end()
#define FOR(i, m, n) for (ll i = (m); i < (n); ++i)
#define REVFOR(i, m, n) for (ll i = (n - 1); i >= (m); --i)
#define REP(i, n) FOR(i, 0, n)
#define REVREP(i, n) REVFOR(i, 0, n)
#define fi first
#define se second
#define pb push_back
#define mp make_pair
#define eb emplace_back
#define bcnt __builtin_popcountll
#ifdef LOCAL
#include <prettyprint.hpp>
#define debug(...)  cerr << "[" << #__VA_ARGS__ << "]: ", d_err(__VA_ARGS__);
#else
#define debug(...) 83;
#endif
void d_err() {
    cerr << endl;
}
template <typename H, typename... T>
void d_err(H h, T... t) {
    cerr << h << " ";
    d_err(t...);
}
template <typename T>
void print(T x) {
    cout << x << "\n";
}
template <typename T>
void print(vector<T>& x) {
    int N = x.size();
    REP(i, N) {
        if (i > 0) cout << " ";
        cout << x[i];
    }
    cout << "\n";
}
int main(){
    cin.tie(0);
    ios_base::sync_with_stdio(false);
    cout << fixed << setprecision(20);
    int n, k; cin >> n >> k;
    vector<bool> vb(n + 1, false);
    vb[n] = true;
    auto dfs = [&](auto &&f, int x, int cnt) -> void {
        vb[x] = true;
        if (cnt == k) return;
        if (~x & 1 && not vb[x >> 1]) f(f, x >> 1, cnt + 1);
        if (x > 3 && not vb[x - 3]) f(f, x - 3, cnt + 1);
    };
    dfs(dfs, n, 0);
    if (vb[1]) print("YES");
    else print("NO");
}
            
            
            
        