結果

問題 No.1697 Deque House
ユーザー eSeFeSeF
提出日時 2021-08-17 17:02:01
言語 C++17(clang)
(17.0.6 + boost 1.83.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
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 1 ms
5,248 KB
testcase_01 AC 2 ms
5,376 KB
testcase_02 AC 2 ms
5,376 KB
testcase_03 AC 2 ms
5,376 KB
testcase_04 AC 2 ms
5,376 KB
testcase_05 AC 2 ms
5,376 KB
testcase_06 AC 1 ms
5,376 KB
testcase_07 AC 2 ms
5,376 KB
testcase_08 AC 2 ms
5,376 KB
testcase_09 AC 117 ms
34,068 KB
testcase_10 AC 72 ms
19,968 KB
testcase_11 AC 73 ms
20,096 KB
testcase_12 AC 59 ms
16,896 KB
testcase_13 AC 25 ms
8,832 KB
testcase_14 AC 40 ms
12,928 KB
testcase_15 AC 75 ms
20,224 KB
testcase_16 AC 77 ms
18,688 KB
testcase_17 AC 38 ms
12,288 KB
testcase_18 AC 49 ms
13,568 KB
testcase_19 AC 42 ms
13,824 KB
testcase_20 AC 117 ms
34,048 KB
testcase_21 AC 117 ms
33,920 KB
testcase_22 AC 117 ms
34,048 KB
権限があれば一括ダウンロードができます

ソースコード

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