結果

問題 No.1242 高橋君とすごろく
ユーザー chocopuuchocopuu
提出日時 2020-10-02 23:06:03
言語 C++17
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 2 ms / 2,000 ms
コード長 1,585 bytes
コンパイル時間 2,232 ms
コンパイル使用メモリ 208,500 KB
実行使用メモリ 4,384 KB
最終ジャッジ日時 2023-09-27 08:45:29
合計ジャッジ時間 3,102 ms
ジャッジサーバーID
（参考情報） 		judge11 / judge15
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 1 ms
4,376 KB
testcase_01 AC 1 ms
4,380 KB
testcase_02 AC 1 ms
4,380 KB
testcase_03 AC 1 ms
4,376 KB
testcase_04 AC 1 ms
4,380 KB
testcase_05 AC 1 ms
4,380 KB
testcase_06 AC 1 ms
4,376 KB
testcase_07 AC 2 ms
4,376 KB
testcase_08 AC 1 ms
4,384 KB
testcase_09 AC 1 ms
4,376 KB
testcase_10 AC 2 ms
4,376 KB
testcase_11 AC 2 ms
4,380 KB
testcase_12 AC 2 ms
4,376 KB
testcase_13 AC 2 ms
4,376 KB
testcase_14 AC 1 ms
4,380 KB
testcase_15 AC 2 ms
4,380 KB
testcase_16 AC 2 ms
4,376 KB
testcase_17 AC 2 ms
4,380 KB
testcase_18 AC 2 ms
4,376 KB
testcase_19 AC 2 ms
4,380 KB
testcase_20 AC 2 ms
4,376 KB
testcase_21 AC 1 ms
4,376 KB
testcase_22 AC 2 ms
4,376 KB
testcase_23 AC 1 ms
4,380 KB
testcase_24 AC 1 ms
4,376 KB
testcase_25 AC 1 ms
4,380 KB
testcase_26 AC 2 ms
4,380 KB
testcase_27 AC 1 ms
4,376 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include "bits/stdc++.h"
using namespace std;
//#include "atcoder/all"
//using namespace atcoder;
#define int long long
#define REP(i, n) for (int i = 0; i < (int)n; ++i)
#define RREP(i, n) for (int i = (int)n - 1; i >= 0; --i)
#define FOR(i, s, n) for (int i = s; i < (int)n; ++i)
#define RFOR(i, s, n) for (int i = (int)n - 1; i >= s; --i)
#define ALL(a) a.begin(), a.end()
#define IN(a, x, b) (a <= x && x < b)
template<class T>istream&operator >>(istream&is,vector<T>&vec){for(T&x:vec)is>>x;return is;}
template<class T>inline void out(T t){cout << t << "\n";}
template<class T,class... Ts>inline void out(T t,Ts... ts){cout << t << " ";out(ts...);}
template<class T>inline bool CHMIN(T&a,T b){if(a > b){a = b;return true;}return false;}
template<class T>inline bool CHMAX(T&a,T b){if(a < b){a = b;return true;}return false;}
constexpr int INF = 1e18;

signed main(){
	int N, K;
	cin >> N >> K;
	vector<int>a(K);
	cin >> a;
	set<int>st;
	set<int>used;
	REP(i, K) {
		st.insert(a[i]);
		used.insert(a[i]);
	}
	auto f = [&](int x) {
		vector<int>ret(5);
		REP(i, 5) if(used.find(x + i + 1) != used.end()) ret[i] = 1;
		return ret;
	};
	while(st.size() > 0) {
		int a = *st.rbegin();
		st.erase(prev(st.end()));
		if(a < 1) break;
		//out(a);
		auto tmp = f(a);
		int one = (tmp[0]);
		int two = (tmp[2]);
		int three = (tmp[4]);
		if(one) {
			st.insert(a - 3);
		}
		if(two) {
			st.insert(a - 2);
		}
		if(three) {
			st.insert(a - 1);
		}
		if(one && two && three) {
			out("No");
			return 0;
		}
		if(a == 1) {
			out("No");
			return 0;
		}

		used.insert(a);
	}
	out("Yes");
}
0