結果
問題 | No.1242 高橋君とすごろく |
ユーザー |
![]() |
提出日時 | 2020-10-02 21:53:02 |
言語 | C++17(gcc12) (gcc 12.3.0 + boost 1.87.0) |
結果 |
AC
|
実行時間 | 2 ms / 2,000 ms |
コード長 | 2,940 bytes |
コンパイル時間 | 10,040 ms |
コンパイル使用メモリ | 277,692 KB |
最終ジャッジ日時 | 2025-01-15 00:12:30 |
ジャッジサーバーID (参考情報) |
judge5 / judge3 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
sample | AC * 4 |
other | AC * 24 |
ソースコード
#ifdef ONLINE_JUDGE#pragma GCC target("avx2,avx")#pragma GCC optimize("O3")#pragma GCC optimize("unroll-loops")#endif#include <bits/stdc++.h>using namespace std;using ll = long long;using ull = unsigned long long;using i128 = __int128_t;using pii = pair<int, int>;using pll = pair<long long, long long>;#define rep(i, n) for(int i = 0; i < (n); ++i)#define all(x) (x).begin(),(x).end()#define SZ(x) ((int)(x).size())constexpr char ln = '\n';template<class T1, class T2> inline bool chmax(T1 &a, T2 b) {if (a < b) {a = b; return true;} return false;}template<class T1, class T2> inline bool chmin(T1 &a, T2 b) {if (a > b) {a = b; return true;} return false;}inline int topbit(int x) {return x == 0 ? -1 : 31-__builtin_clz(x);}inline int topbit(long long x) {return x == 0 ? -1 : 63-__builtin_clzll(x);}inline int botbit(int x) {return x == 0 ? 32 : __builtin_ctz(x);}inline int botbit(long long x) {return x == 0 ? 64 : __builtin_ctzll(x);}inline int popcount(int x) {return __builtin_popcount(x);}inline int popcount(long long x) {return __builtin_popcountll(x);}inline int kthbit(long long x, int k) {return (x>>k)&1;}inline void print() {cout << "\n";}template<class T>inline void print(const vector<T> &v) {for (auto itr = v.begin(); itr != v.end(); ++itr) cout << *itr << " ";print();}template<class T, class... Args>inline void print(const T &x, const Args &... args) {cout << x << " ";print(args...);}#ifdef MINATO_LOCAL#define dump(x) cerr << __LINE__ << " : " << #x << " = " << (x) << endl;inline void debug() {cerr << endl;}template<class T>inline void debug(const vector<T> &v) {for (auto itr = v.begin(); itr != v.end(); ++itr) cerr << *itr << " ";debug();}template<class T, class... Args>inline void debug(const T &x, const Args &... args) {cerr << x << " ";debug(args...);}#else#define dump(x) void(0)inline void debug() {}template<class T> inline void debug(const vector<T> &v) {}template<class T, class... Args> inline void debug(const T &x, const Args &... args) {}#endifstruct Fast_ios {Fast_ios() {cin.tie(nullptr); ios::sync_with_stdio(false); cout << fixed << setprecision(20);};} fast_ios;////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////int main() {ll N,K; cin >> N >> K;vector<ll> A(K);vector<bool> ng(200);rep(i,K) {cin >> A[i];A[i]--;if (A[i] < 200) ng[A[i]] = 1;}rep(i,K) {rep(j,i) {if (A[j]>150 and A[i]-A[j] <= 5 and (A[i]-A[j])%2==1) {cout << "No" << ln;return 0;}}}for (int i = 199; i >= 0; i--) {for (int j = 1; j <= 3; j++) {int k = 7-j;if (i+j < 200 and i+k < 200 and ng[i+j] and ng[i+k]) ng[i] = 1;}}cout << (ng[0] ? "No" : "Yes") << ln;}