結果
問題 | No.1242 高橋君とすごろく |
ユーザー |
![]() |
提出日時 | 2020-10-02 22:23:35 |
言語 | C++14 (gcc 13.3.0 + boost 1.87.0) |
結果 |
AC
|
実行時間 | 2 ms / 2,000 ms |
コード長 | 1,129 bytes |
コンパイル時間 | 1,888 ms |
コンパイル使用メモリ | 183,600 KB |
実行使用メモリ | 5,376 KB |
最終ジャッジ日時 | 2024-07-20 02:47:37 |
合計ジャッジ時間 | 2,562 ms |
ジャッジサーバーID (参考情報) |
judge1 / judge3 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
sample | AC * 4 |
other | AC * 24 |
ソースコード
#include <bits/stdc++.h>using namespace std;using lint = long long;constexpr lint inf = 1LL << 60;constexpr lint mod = 1000000007;int main() {cin.tie(nullptr);ios::sync_with_stdio(false);lint n, k;cin >> n >> k;vector<lint> a(k);priority_queue<lint> pq;for (int i = 0; i < k; ++i) {cin >> a[i];pq.push(a[i]);}map<lint, bool> mp;while (!pq.empty()) {lint idx = pq.top();pq.pop();if (idx <= 0)break;mp[idx] = true;bool ok = false;for (lint j = idx + 1; j <= idx + 6; ++j) {if (!mp[j])ok = true;}if (!ok) {cout << "No"<< "\n";return 0;}if (mp[idx + 5]) {pq.push(idx - 1);}if (mp[idx + 3]) {pq.push(idx - 2);}if (mp[idx + 1]) {pq.push(idx - 3);}}if (mp[1]) {cout << "No"<< "\n";} else {cout << "Yes"<< "\n";}return 0;}