結果

問題 No.2857 Div Array
ユーザー Yudai0606Nazo
提出日時 2025-08-02 05:43:34
言語 C++17
(gcc 13.3.0 + boost 1.87.0)
結果
AC  
実行時間 37 ms / 2,000 ms
コード長 3,884 bytes
コンパイル時間 4,610 ms
コンパイル使用メモリ 266,328 KB
実行使用メモリ 7,716 KB
最終ジャッジ日時 2025-08-02 05:43:41
合計ジャッジ時間 6,540 ms
ジャッジサーバーID
（参考情報） 		judge5 / judge3
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
other AC * 30
権限があれば一括ダウンロードができます

ソースコード

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};


template <typename T=double>
struct Matrix {
    vector<vector<T>> mat;
    int m, n;
    Matrix(initializer_list<initializer_list<T>> init) {
        mat.resize(0);
        for(const auto &row : init) {
            mat.emplace_back(row);
        }
        m = mat.size();
        n = mat.empty() ? 0 : mat[0].size();
    }
    Matrix(vector<vector<T>> &mat_): mat(mat_), m(int(mat_.size())), n(mat.empty() ? 0 : int(mat_[0].size())) {}
    Matrix(int x, int y):mat(vector(x, vector<T>(y))), m(x), n(y) {}
    Matrix(int x): m(x), n(x) {
        mat = vector(x, vector<T> (x));
        rep(i, x) mat[i][i] = 1;
    }
    vector<T> &operator[](int x) { return mat[x]; }
    Matrix<T> &operator+=(const Matrix<T> &other) {
        assert(m == other.m && n == other.n);
        rep(i, m) rep(j, n) *this[i][j] += other[i][j];
        return *this;
    }
    Matrix<T> operator+(const Matrix<T> &other) { return Matrix<T>(*this) += other; }
    Matrix<T> &operator*=(const Matrix<T> &other) { return *this = *this * other; }
    Matrix<T> operator*(const Matrix<T> &other) {
        assert(n == other.m);
        Matrix<T> result(m, other.n);
        rep(i, m) rep(j, other.n) rep(k, n) result.mat[i][j] += mat[i][k] * other.mat[k][j];
        return result;
    }
    Matrix<T> pow(ll x) {
        assert(m == n);
        if(x == 0) return Matrix<T>(m);
        Matrix<T> result = pow(x / 2);
        result = result * result;
        return (x % 2 == 0 ? result : result * *this);
    }
    T dat() {
        assert(m == n);
        T result = 1;
        rep(i, m) {
            int pivot = -1;
            repu(j, i, m) if(mat[j][i] != 0) {
                pivot = j;
                break;
            }
            if(pivot == -1) return 0;
            if(pivot != i) {
                swap(mat[i], mat[pivot]);
                result *= -1;
            }
            result *= mat[i][i];
            T inv = 1 / mat[i][i];
            repu(j, i + 1, m) {
                T factor = mat[j][i] * inv;
                repu(k, i, n) mat[j][k] -= mat[i][k] * factor;
            }
        }
        return result;
    }
};

int main() {
    int n, m, k;
    cin >> n >> m >> k;

    map<int, int> cnt;
    repu(i, 1, m+1) cnt[m/i]++;
    vector<pair<int, int>> v;
    for(auto[x, y]: cnt) v.emplace_back(x, y);
    int s = v.size();

    Matrix<mint> A(s, s);
    rep(i, s) rep(j, s) {
        auto[xi, yi] = v[i];
        auto[xj, yj] = v[j];
        if(abs(xi - xj) > k) continue;
        A[j][i] = yj;
    }

    Matrix<mint> p(s, 1);
    rep(i, s) p[i][0] = v[i].second;
    auto res = A.pow(n-1) * p;
    mint ans = 0;
    rep(i, s) ans += res[i][0];
    cout << ans.val() << endl;
    return 0;
}
0