結果
問題 | No.1242 高橋君とすごろく |
ユーザー |
👑 ![]() |
提出日時 | 2020-07-05 19:23:05 |
言語 | C++17 (gcc 13.3.0 + boost 1.87.0) |
結果 |
AC
|
実行時間 | 5 ms / 2,000 ms |
コード長 | 1,189 bytes |
コンパイル時間 | 2,814 ms |
コンパイル使用メモリ | 197,244 KB |
最終ジャッジ日時 | 2025-01-11 16:01:52 |
ジャッジサーバーID (参考情報) |
judge3 / judge2 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
sample | AC * 4 |
other | AC * 24 |
ソースコード
#include<bits/stdc++.h>using namespace std;#define ALL(a) (a).begin(),(a).end()#define ALLR(a) (a).rbegin(),(a).rend()#define rep(i,n,m) for(int i = (n); i < (int)(m); i++)#define rrep(i,n,m) for(int i = (m) - 1; i >= (int)(n); i--)using ll = long long;using ld = long double;const ll MOD1 = 1e9+7;const ll MOD9 = 998244353;const int INF = (int)1e9+1;template<typename T>bool chmin(T &a,T b){if(a>b){a=b;return true;}else return false;}template<typename T>bool chmax(T &a,T b){if(a<b){a=b;return true;}else return false;}template<typename T>vector<ll>dx={1,0,-1,0,1,1,-1,-1};vector<ll>dy={0,1,0,-1,1,-1,1,-1};int main(){ll n,k;cin>>n>>k;assert(n>=1&&n<=(ll)1e18);assert(k>=1&&k<=100);vector<ll>a(k);rep(i,0,k){cin>>a[i];assert(a[i]>=2&&a[i]<n);a[i]--;}rep(i,0,k-1){assert(a[i]<a[i+1]);}bool judge=false;rep(i,0,k-1){ll d=a[i+1]-a[i];if(a[i]>=20&&(d==1||d==3||d==5))judge=true;}ll sz=100;vector<bool>t(sz);rep(i,0,k)if(a[i]<sz)t[a[i]]=true;rrep(i,0,sz-10){rep(j,1,4){if(t[i+j]&&t[i+7-j])t[i]=true;}}if(judge||t[0])cout<<"No"<<endl;else cout<<"Yes"<<endl;return 0;}