結果

問題 No.1697 Deque House
ユーザー eSeF
提出日時 2021-08-17 17:02:01
言語 C++17(clang)
(17.0.6 + boost 1.87.0)
結果
AC  
実行時間 117 ms / 3,500 ms
コード長 1,405 bytes
コンパイル時間 4,293 ms
コンパイル使用メモリ 180,480 KB
実行使用メモリ 34,068 KB
最終ジャッジ日時 2024-07-19 09:47:18
合計ジャッジ時間 6,269 ms
ジャッジサーバーID
（参考情報） 		judge2 / judge1
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 3
other AC * 20
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <bits/stdc++.h>
#include <atcoder/all>
using namespace std;
using namespace atcoder;
using mint = modint998244353;
int main(){
    int N, K;
    cin >> N >> K;
    vector<int>a(N);
    for(int i=0;i<N;i++)cin >> a[i];
    vector<vector<mint>>F(N+1,vector<mint>(K+1,0));
    for(int i=0;i<=K;i++)F[0][i] = 1;
    for(int i=0;i<N;i++){
        for(int j=0;j<=K;j++){
            F[i+1][j]+=F[i][j]*(1<<j);
        }
        for(int j=1;j<=K;j++)F[i+1][j]+=F[i+1][j-1];
    }

    vector<vector<mint>>dp(N+1,vector<mint>(K+1,0));
    vector<vector<mint>>rdp(N+1,vector<mint>(K+1,0));

    for(int i=0;i<N;i++){
        mint ai = 1, rai = 1;
        for(int j=0;j<=K;j++){
            dp[i+1][j]+=dp[i][j];
            rdp[i+1][j]+=rdp[i][j];
        }
        for(int j=1;j<=K;j++){
            dp[i+1][j]+=dp[i+1][j-1];
            rdp[i+1][j]+=rdp[i+1][j-1];
        }

        for(int j=0;j<=K;j++){
            (dp[i+1][j]+=F[i][j]*ai)*=(1<<j);
            (rdp[i+1][j]+=F[i][j]*rai)*=(1<<j);

            ai*=a[i];rai*=a[N-1-i];
        }
    }
    mint ans = 0;

    for(int i=1;i<N;i++){
        ans += dp[i][K] * F[N-1-i][K-1] * (1<<K);
        ans += F[i-1][K] * F[N-1-i][K-1] * (1<<(2*K)) * (mint(a[i]).pow(K));
        for(int j=0;j<K;j++)ans += rdp[N - 1 - i][j] * (1 << (2 * K)) * F[i - 1][K];
    }
    ans *= mint(2).pow(2*K).inv();
    
    cout << ans.val() << endl;
    return 0;
}
0