結果
| 問題 | No.1242 高橋君とすごろく |
| コンテスト | |
| ユーザー |
beet
|
| 提出日時 | 2020-10-02 21:59:41 |
| 言語 | C++17 (gcc 13.3.0 + boost 1.89.0) |
| 結果 |
WA
|
| 実行時間 | - |
| コード長 | 1,253 bytes |
| 記録 | |
| コンパイル時間 | 2,029 ms |
| コンパイル使用メモリ | 203,216 KB |
| 最終ジャッジ日時 | 2025-01-15 00:16:07 |
|
ジャッジサーバーID (参考情報) |
judge5 / judge3 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| sample | AC * 4 |
| other | AC * 15 WA * 9 |
ソースコード
#include <bits/stdc++.h>
using namespace std;
using Int = long long;
const char newl = '\n';
template<typename T1,typename T2> inline void chmin(T1 &a,T2 b){if(a>b) a=b;}
template<typename T1,typename T2> inline void chmax(T1 &a,T2 b){if(a<b) a=b;}
template<typename T> void drop(const T &x){cout<<x<<endl;exit(0);}
template<typename T=Int>
vector<T> read(size_t n){
vector<T> ts(n);
for(size_t i=0;i<n;i++) cin>>ts[i];
return ts;
}
//INSERT ABOVE HERE
signed main(){
cin.tie(0);
ios::sync_with_stdio(0);
Int n,k;
cin>>n>>k;
auto as=read(k);
Int ps[6]={};
for(Int i=0;i<6;i++) ps[i]=-1;
auto update=[&](Int x){
if(x<=0) return;
chmax(ps[x%6],x);
};
auto mark=[&](Int a){
if(a<=0 or a>ps[a%6]) return;
if(a+5<=ps[(a+5)%6]){
update(a-1);
update(a-4);
update(a-6);
}
if(a+3<=ps[(a+3)%6]){
update(a-2);
update(a-3);
update(a-6);
}
if(a+1<=ps[(a+1)%6]){
update(a-3);
update(a-5);
update(a-6);
}
};
sort(as.rbegin(),as.rend());
for(Int a:as){
update(a);
for(Int k=0;k<100000;k++) mark(a-k);
if(1<=ps[1]) drop("No");
}
// for(int i=0;i<6;i++) cout<<ps[i]<<endl;
cout<<(1<=ps[1]?"No":"Yes")<<newl;
return 0;
}
beet