結果
| 問題 | 
                            No.1242 高橋君とすごろく
                             | 
                    
| コンテスト | |
| ユーザー | 
                             siman
                         | 
                    
| 提出日時 | 2022-10-13 04:45:21 | 
| 言語 | C++17(clang)  (17.0.6 + boost 1.87.0)  | 
                    
| 結果 | 
                             
                                AC
                                 
                             
                            
                         | 
                    
| 実行時間 | 2 ms / 2,000 ms | 
| コード長 | 1,290 bytes | 
| コンパイル時間 | 1,360 ms | 
| コンパイル使用メモリ | 146,288 KB | 
| 実行使用メモリ | 5,376 KB | 
| 最終ジャッジ日時 | 2024-06-26 11:40:57 | 
| 合計ジャッジ時間 | 2,315 ms | 
| 
                            ジャッジサーバーID (参考情報)  | 
                        judge2 / judge1 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| sample | AC * 4 | 
| other | AC * 24 | 
ソースコード
#include <cassert>
#include <cmath>
#include <algorithm>
#include <iostream>
#include <iomanip>
#include <climits>
#include <map>
#include <queue>
#include <set>
#include <cstring>
#include <vector>
using namespace std;
typedef long long ll;
int main() {
  ll N, K;
  cin >> N >> K;
  vector<ll> A(K);
  map<ll, bool> out;
  for (int i = 0; i < K; ++i) {
    cin >> A[i];
    out[A[i]] = true;
  }
  map<ll, bool> checked;
  priority_queue <ll> pque;
  for (ll a : A) {
    for (ll i = 1; i <= 6; ++i) {
      ll na = a - i;
      if (na >= 1 && not out[na]) {
        pque.push(na);
      }
    }
  }
  while (not pque.empty()) {
    ll x = pque.top();
    pque.pop();
    if (checked[x]) continue;
    checked[x] = true;
    bool all_out = true;
    for (ll i = 1; i <= 6; ++i) {
      ll j = 7 - i;
      ll a1 = x + i;
      ll a2 = x + j;
      if (out[a1] && out[a2]) {
        out[x] = true;
        for (ll i = 1; i <= 6; ++i) {
          ll nx = x - i;
          if (nx >= 1 && not out[nx]) {
            pque.push(nx);
          }
        }
      } else {
        all_out = false;
      }
    }
    if (all_out) {
      cout << "No" << endl;
      return 0;
    }
  }
  if (out[1]) {
    cout << "No" << endl;
  } else {
    cout << "Yes" << endl;
  }
  return 0;
}
            
            
            
        
            
siman