結果

問題 No.1055 牛歩
ユーザー hitonanodehitonanode
提出日時 2020-05-15 22:53:20
言語 C++17
(gcc 13.3.0 + boost 1.87.0)
結果
WA  
実行時間 -
コード長 2,238 bytes
コンパイル時間 2,628 ms
コンパイル使用メモリ 203,256 KB
最終ジャッジ日時 2025-01-10 12:01:55
ジャッジサーバーID
（参考情報） 		judge2 / judge2
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 5
other AC * 62 WA * 8
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <bits/stdc++.h>
using namespace std;
struct fast_ios { fast_ios(){ cin.tie(0); ios::sync_with_stdio(false); cout << fixed << setprecision(20); }; } fast_ios_;
#define FOR(i, begin, end) for(int i=(begin),i##_end_=(end);i<i##_end_;i++)
#define REP(i, n) FOR(i,0,n)
template<typename T> istream &operator>>(istream &is, vector<T> &vec){ for (auto &v : vec) is >> v; return is; }
template<typename T> ostream &operator<<(ostream &os, const vector<T> &vec){ os << "["; for (auto v : vec) os << v << ","; os << "]"; return os; }
template<typename T> ostream &operator<<(ostream &os, const deque<T> &vec){ os << "deq["; for (auto v : vec) os << v << ","; os << "]"; return os; }
template<typename T1, typename T2> ostream &operator<<(ostream &os, const pair<T1, T2> &pa){ os << "(" << pa.first << "," << pa.second << ")"; return os; }
#define dbg(x) cerr << #x << " = " << (x) << " (L" << __LINE__ << ") " << __FILE__ << endl;

void No()
{
    puts("NO");
    exit(0);
}

int main()
{
    int N, M;
    cin >> N >> M;
    vector<int> A(M + 2);
    A[M + 1] = N + 1;
    REP(i, M) cin >> A[i + 1];

    vector<deque<int>> lazy(M + 2);
    auto resolve = [&](auto &&f, int pos, int now) -> void {
        if (A[pos - 1] + 1 == A[pos] and A[pos] + 1 == A[pos + 1])
        {
            No();
        }
        if (A[pos - 1] + 1 == A[pos])
        {
            lazy[pos].pop_front();
            A[pos]++;
            while (lazy[pos + 1].size() > 1 and lazy[pos + 1][1] < now)
            {
                lazy[pos + 1].pop_front();
                lazy[pos + 1].pop_front();
            }
            if (lazy[pos + 1].size()) f(f, pos + 1, lazy[pos + 1].front());
        }
        else if (A[pos] + 1 == A[pos + 1])
        {
            lazy[pos].pop_front();
            A[pos]--;
            while (lazy[pos - 1].size() > 1 and lazy[pos - 1][1] < now)
            {
                lazy[pos - 1].pop_front();
                lazy[pos - 1].pop_front();
            }
            if (lazy[pos - 1].size()) f(f, pos - 1, lazy[pos - 1].front());
        }
    };

    int Q;
    cin >> Q;
    REP(t, Q)
    {
        int b;
        cin >> b;
        lazy[b].emplace_back(t);
        resolve(resolve, b, t);
    }
    puts("YES");
}
0