結果

問題 No.1697 Deque House
ユーザー eSeFeSeF
提出日時 2021-08-14 18:16:13
言語 C++17(clang)
(17.0.6 + boost 1.87.0)
結果
AC  
実行時間 332 ms / 3,500 ms
コード長 1,232 bytes
コンパイル時間 3,697 ms
コンパイル使用メモリ 183,552 KB
実行使用メモリ 19,524 KB
最終ジャッジ日時 2024-07-19 09:46:12
合計ジャッジ時間 7,128 ms
ジャッジサーバーID
(参考情報)
judge3 / judge2
このコードへのチャレンジ
(要ログイン)
ファイルパターン 結果
sample AC * 3
other AC * 20
権限があれば一括ダウンロードができます

ソースコード

diff #

#include <bits/stdc++.h>
#include <atcoder/all>
using namespace std;
using namespace atcoder;
typedef long long ll;
using mint = modint998244353;
int main(){
    int N, K;
    cin >> N >> K;
    vector<ll>A(N);
    for(int i=0;i<N;i++)cin >> A[i];

    vector<mint>P(N*K+1,1);
    for(int i=1;i<=N*K;i++)P[i]=P[i-1]*2;
    vector<vector<mint>>dp(K+1,vector<mint>(N+1,0));
    for(int i=1;i<=N;i++)dp[0][i] = 1;
    for(int i=0;i<K;i++){
        for(int j=1;j<=N;j++){
            dp[i+1][j]+=dp[i][j]*P[j-1];
        }
        for(int j=2;j<=N;j++)dp[i+1][j]+=dp[i+1][j-1];
    }
    mint ans = 0;
    vector<mint>As(N,1);
    vector<mint>F(N+1,0),G(N+1,0);
    for(int x=0;x<K;x++){
        for(int i=1;i<=N;i++){
            F[i] = (As[i-1]+As[N-i])*dp[x][i];
        }
        for(int i=1;i<=N;i++){
            G[i] = P[i*x]*dp[K-x-1][i];
            As[i-1]*=A[i-1];
        }
        auto res = convolution(F,G);
        for(int s=2;s<=N-1;s++){
            ans += res[s]*dp[K][N-s];
        }
    }
    for(int i=0;i<N;i++){
        ans += (dp[K][i]*dp[K][N-1-i]*P[K])*As[i];
        ans += (dp[K-1][i+1]*dp[K][N-1-i])*As[i];
        ans += (dp[K][i]*dp[K-1][N-i])*As[i];
    }
    cout << ans.val() << endl;

    return 0;
}
0