結果
| 問題 | 
                            No.1242 高橋君とすごろく
                             | 
                    
| コンテスト | |
| ユーザー | 
                             umezo
                         | 
                    
| 提出日時 | 2020-10-02 23:52:53 | 
| 言語 | C++17  (gcc 13.3.0 + boost 1.87.0)  | 
                    
| 結果 | 
                             
                                AC
                                 
                             
                            
                         | 
                    
| 実行時間 | 4 ms / 2,000 ms | 
| コード長 | 773 bytes | 
| コンパイル時間 | 2,477 ms | 
| コンパイル使用メモリ | 198,460 KB | 
| 最終ジャッジ日時 | 2025-01-15 01:28:18 | 
| 
                            ジャッジサーバーID (参考情報)  | 
                        judge1 / judge1 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| sample | AC * 4 | 
| other | AC * 24 | 
ソースコード
#define rep(i,n) for(int i=0;i<(int)(n);i++)
#define ALL(v) v.begin(),v.end()
typedef long long ll;
#include <bits/stdc++.h>
using namespace std;
int main(){
  ll n,k;
  cin>>n>>k;
  
  vector<ll> A(k);
  rep(i,k) cin>>A[i];
  
  auto m=lower_bound(ALL(A),1000)-A.begin();
  
  bool b=false;
  for(int i=m;i+1<k;i++){
    if(A[i+1]-A[i]==1 || A[i+1]-A[i]==3 || A[i+1]-A[i]==5 || A[i+2]-A[i]==5) b=true;
  }
  if(b){
    cout<<"No"<<endl;
    return 0;
  }
  vector<int> B(1001);
  for(int i=0;i<m;i++){
    B[A[i]]=1;
  }
  for(int i=1000;i>=1;i--){
    if(B[i]==1) continue;
    if(B[i+1]==1 && B[i+6]==1) B[i]=1;
    if(B[i+2]==1 && B[i+5]==1) B[i]=1;
    if(B[i+3]==1 && B[i+4]==1) B[i]=1;
  }
  if(B[1]==1) cout<<"No"<<endl;
  else cout<<"Yes"<<endl;
  
  return 0;
}
            
            
            
        
            
umezo