結果
問題 | No.1242 高橋君とすごろく |
ユーザー |
![]() |
提出日時 | 2020-10-03 07:42:01 |
言語 | C++17 (gcc 13.3.0 + boost 1.87.0) |
結果 |
AC
|
実行時間 | 11 ms / 2,000 ms |
コード長 | 2,362 bytes |
コンパイル時間 | 4,286 ms |
コンパイル使用メモリ | 255,804 KB |
最終ジャッジ日時 | 2025-01-15 01:54:15 |
ジャッジサーバーID (参考情報) |
judge3 / judge4 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
sample | AC * 4 |
other | AC * 24 |
ソースコード
#include <bits/stdc++.h>#if __has_include(<atcoder/all>)#include <atcoder/all>using namespace atcoder;#endifusing namespace std;#define rep(i, n) for(int i=0, i##_len=(n); i<i##_len; ++i)#define reps(i, n) for(int i=1, i##_len=(n); i<=i##_len; ++i)#define rrep(i, n) for(int i=((int)(n)-1); i>=0; --i)#define rreps(i, n) for(int i=((int)(n)); i>0; --i)#define all(x) (x).begin(), (x).end()#define rall(x) (x).rbegin(), (x).rend()#define sz(x) ((int)(x).size())#define pl(s) cout << (s) << "\n";#define pls(...) {bool space = false; for(auto i : __VA_ARGS__) (cout << (space?" ":"") << i), space = true; cout << "\n";}#define plexit(s) {cout << (s) << "\n"; exit(0);}#define yes(s) cout << ((s)?"Yes":"No") << "\n";#ifdef __LOCAL#include <dump.hpp>#define dump(...) DUMPOUT << " " << string(#__VA_ARGS__) << ": " << "[" << to_string(__LINE__) << ":" << __FUNCTION__ << "]" << endl << " ",dump_func(__VA_ARGS__)#else#define dump(...)#endiftemplate<typename T> inline bool chmax(T& a, T b) { if (a < b) { a = b; return 1; } return 0; }template<typename T> inline bool chmin(T& a, T b) { if (a > b) { a = b; return 1; } return 0; }struct IOInit { IOInit() { cin.tie(nullptr); ios::sync_with_stdio(false); dump("READY"); /*cout << unitbuf;*/} } IO_INIT;using ll = long long; using ull = unsigned long long; using ld = long double;template<typename T = int> using V = vector<T>; template<typename T = int> using P = pair<T, T>;using Vi = V<int>; using Vl = V<ll>; using Vd = V<ld>; using VVi = V<Vi>; using VVl = V<Vl>; using Pi = P<int>; using Pl = P<ll>; using Pd = P<ld>;constexpr ll MOD = 1000000007; constexpr int INF = (1 << 30) - 1; constexpr ll INFL = 1LL << 60; constexpr ld EPS = 1e-12; constexpr ld PI = 3.141592653589793238462643383279;signed main(void) {ll n; int k; cin >> n >> k;set<ll> s; rep(i,k) {ll a; cin >> a; s.insert(a);}ll a = *s.rbegin();while(1) {int x = 0;rep(t, 3) {--a;if (s.count(a) || s.count(a+1) && s.count(a+6) || s.count(a+2) && s.count(a+5) || s.count(a+3) && s.count(a+4)) {s.insert(a);++x;if (x == 4) {if (a >= 1) s.insert(1LL);break;}t = -1;} else x = 0;}auto it = s.lower_bound(a);if (it == s.begin()) break;a = *(--it);}yes(!s.count(1))return 0;}