結果

問題 No.2860 Heal Slimes
ユーザー Yudai0606Nazo
提出日時 2025-08-02 07:23:58
言語 C++17
(gcc 13.3.0 + boost 1.87.0)
結果
AC  
実行時間 131 ms / 2,000 ms
コード長 2,268 bytes
コンパイル時間 4,204 ms
コンパイル使用メモリ 253,628 KB
実行使用メモリ 7,716 KB
最終ジャッジ日時 2025-08-02 07:24:14
合計ジャッジ時間 15,371 ms
ジャッジサーバーID
（参考情報） 		judge2 / judge3
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
other AC * 60
権限があれば一括ダウンロードができます

ソースコード

diff # 

#ifndef ONLINE_JUDGE
#define _GLIBCXX_DEBUG
#endif
#include <bits/stdc++.h>
#include <cassert>
#include <atcoder/all>
using namespace std;
using namespace atcoder;
using ll = long long;
using mint = modint998244353;
//using mint = modint1000000007;
#define rep(i, n) for (int i = 0; i < (int)(n); i++)
#define repu(i, s, t) for (int i = (int)(s); i < (int)(t); i++)
#define repd(i, s, t) for (int i = (int)(s)-1; i >= (int)(t); i--)
#define all(v) v.begin(), v.end()
void _u() { cerr << endl; } template <class H, class... T> void _u(H&& h, T&&... t) { cerr << h << ", "; _u(move(t)...); }
#define U(...) { cerr << #__VA_ARGS__ << ": "; _u(__VA_ARGS__); }
template<typename T> bool chmax(T &a, const T b) { if(a >= b) return false; a = b; return true; }
template<typename T> bool chmin(T &a, const T b) { if(a <= b) return false; a = b; return true; }
template<typename T> istream& operator>>(istream &in, vector<T> &a) { for(T &x: a) in >> x; return in; }
template<typename T> ostream& operator<<(ostream &out, const vector<T> &a) { for(const T &x: a) out << x << ' '; return out; }
const int di[] = {1, 0, -1, 0, 1, 1, -1, -1, 0};
const int dj[] = {0, 1, 0, -1, -1, 1, 1, -1, 0};


bool solve() {
    int n, k, x;
    cin >> n >> k >> x;
    vector<int> h(n);
    cin >> h;
    int min_h = *min_element(all(h));
    rep(i, n) {
        h[i] -= min_h;
        if(h[i] % x != 0) return false;
        h[i] /= x;
    }
    vector<int> d(n+1);
    d[0] = h[0];
    rep(i, n-1) d[i+1] = h[i+1] - h[i];
    d[n] = -h[n-1];

    vector<vector<int>> v(k);
    rep(i, n+1) v[i%k].push_back(d[i]);
    auto check = [&](vector<int> vec, bool last) {
        int s = vec.size();
        rep(i, s-1) {
            if(vec[i] > 0) return false;
            vec[i+1] += vec[i];
            vec[i] -= vec[i];
        }
        if(last) return true;
        return vec.back() == 0;
    };
    if(n%k != 0) {
        reverse(all(v[0]));
        for(auto &y: v[0]) y = -y;
        if(!check(v[0], true)) return false;
    }
    repu(i, 1, k) {
        bool last = false;
        if(n%k == i) last = true;
        if(!check(v[i], last)) return false;
    }
    return true;
}

int main() {
    int t;
    cin >> t;
    rep(i, t) cout << (solve() ? "Yes" : "No") << endl;
    return 0;
}
0