結果

問題 No.997 Jumping Kangaroo
ユーザー betrue12betrue12
提出日時 2020-02-21 22:06:28
言語 C++17
(gcc 13.3.0 + boost 1.87.0)
結果
AC  
実行時間 28 ms / 2,000 ms
コード長 1,491 bytes
コンパイル時間 2,202 ms
コンパイル使用メモリ 202,868 KB
最終ジャッジ日時 2025-01-09 01:34:35
ジャッジサーバーID
（参考情報） 		judge3 / judge2
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 3
other AC * 25
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <bits/stdc++.h>
using namespace std;

const int64_t MOD = 1e9+7;
void add(int64_t& a, int64_t b){
    a = (a+b) % MOD;
}
void mul(int64_t& a, int64_t b){
    a = a*b % MOD;
}

int64_t extgcd(int64_t a, int64_t b, int64_t& x, int64_t& y){
    int64_t d = a;
    if(b != 0){
        d = extgcd(b, a%b, y, x);
        y -= (a/b) * x;
    }else{
        x = 1; y = 0;
    }
    return d;
}

int64_t inv_mod(int64_t a){
    int64_t x, y;
    extgcd(a, MOD, x, y);
    return (MOD + x%MOD) % MOD;
}

typedef vector<vector<int64_t>> Mat;

Mat matmul(Mat A, Mat B){
    assert(A[0].size() == B.size());
    int N = A.size(), M = B[0].size(), K = B.size();
    Mat ans(N, vector<int64_t>(M));
    for(int i=0; i<N; i++) for(int j=0; j<M; j++) for(int k=0; k<K; k++) add(ans[i][j], A[i][k] * B[k][j]);
    return ans;
}

int main(){
    int64_t N, W, K;
    cin >> N >> W >> K;
    vector<int> A(N);
    for(int i=0; i<N; i++) cin >> A[i];

    Mat X(W+1, vector<int64_t>(W+1)), B(W+1, vector<int64_t>(W+1));
    for(int i=0; i<W; i++){
        vector<int64_t> dp(3*W);
        dp[i] = 1;
        for(int j=i; j<W; j++) for(int a : A) add(dp[j+a], dp[j]);
        if(i == 0){
            for(int j=0; j<=W; j++) X[i][j] = dp[W+j];
        }else{
            X[i][0] = dp[W];
        }
    }
    X[W][0] = 1;

    for(int i=0; i<=W; i++) B[i][i] = 1;

    while(K){
        if(K%2) B = matmul(X, B);
        X = matmul(X, X);
        K /= 2;
    }
    cout << B[0][0] << endl;
    return 0;
}
0