#include #include #include #include #include #include #include #include #define debug_value(x) cerr << "line" << __LINE__ << ":<" << __func__ << ">:" << #x << "=" << x << endl; #define debug(x) cerr << "line" << __LINE__ << ":<" << __func__ << ">:" << x << endl; template inline bool chmax(T& a, T b) { if (a < b) { a = b; return 1; } return 0; } template inline bool chmin(T& a, T b) { if (a > b) { a = b; return 1; } return 0; } using namespace std; typedef long long ll; const int INF = 1e9; using P = pair; int main(){ ios::sync_with_stdio(false); cin.tie(0); cout << setprecision(10) << fixed; int n, k; cin >> n >> k; vector> g(n+1); auto add_edge = [&](int i, int j){ if(i <= n && j <= n){ g[i].push_back(j); } }; for(int i = 1; i <= n; i++){ add_edge(i, 2*i); add_edge(i, i+3); } vector dist(n+1, INF); dist[1] = 0; priority_queue, greater

> que; que.push(P(0, 1)); while(!que.empty()){ auto [d, v] = que.top(); que.pop(); if(dist[v] != d) continue; for(int to : g[v]){ if(dist[to] > d+1){ dist[to] = d+1; que.push(P(d+1, to)); } } } if(dist[n] <= k){ cout << "YES" << endl; }else{ cout << "NO" << endl; } }