結果
| 問題 | No.1465 Archaea | 
| コンテスト | |
| ユーザー |  | 
| 提出日時 | 2021-04-02 21:45:35 | 
| 言語 | C++14 (gcc 13.3.0 + boost 1.87.0) | 
| 結果 | 
                                AC
                                 
                             | 
| 実行時間 | 26 ms / 2,000 ms | 
| コード長 | 1,302 bytes | 
| コンパイル時間 | 963 ms | 
| コンパイル使用メモリ | 107,288 KB | 
| 実行使用メモリ | 5,376 KB | 
| 最終ジャッジ日時 | 2024-12-24 01:10:59 | 
| 合計ジャッジ時間 | 1,909 ms | 
| ジャッジサーバーID (参考情報) | judge3 / judge5 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| sample | AC * 4 | 
| other | AC * 20 | 
ソースコード
#include <iostream>
//#include<atcoder/all>
#include <numeric>
#include <cmath>
#include <limits>
#include <stdio.h>
#include <iomanip>
#include <string> 
#include <vector>
#include <algorithm>
#include <utility> 
#include <tuple> 
#include <cstdint> 
#include <cstdio> 
#include <map> 
#include <queue>
#include <set> 
#include <stack> 
#include <deque> 
#include <unordered_map> 
#include <unordered_set>
#include <bitset> 
#include <cctype>
//using namespace atcoder;
using namespace std;
using ll = long long;
#define all(A) A.begin(),A.end()
using vll = vector<ll>;
#define rep(i, n) for (long long i = 0; i < (long long)(n); i++)
using Graph = vector<vector<vector<pair<ll, ll>>>>;
int main() {
	ll N, K;
	cin >> N >> K;
	vll DP(N+1, 1e18);
	priority_queue<pair<ll, ll>, vector<pair<ll, ll>>, greater<pair<ll, ll>>>Q;
	Q.push(make_pair(0, 1));
	DP[1] = 0;
	while (!Q.empty()) {
		auto p = Q.top();
		Q.pop();
		ll G = p.first;
		ll H = p.second;
		if (G >= K)continue;
		if (2 * H <= N) {
			if (DP[2 * H] > DP[H] + 1) {
				DP[2 * H] = DP[H] + 1;
				Q.push(make_pair(G + 1, 2 * H));
			}
		}
		if (3+H <= N) {
			if (DP[3+H] > DP[H] + 1) {
				DP[3+ H] = DP[H] + 1;
				Q.push(make_pair(G + 1, 3+H));
			}
		}
	}
	if (DP[N] > 1e17) {
		cout << "NO" << endl;
	}
	else cout << "YES" << endl;
}
            
            
            
        