結果

問題 No.1697 Deque House
ユーザー eSeFeSeF
提出日時 2021-08-17 17:02:01
言語 C++17(clang)
(17.0.6 + boost 1.83.0)
結果
AC  
実行時間 116 ms / 3,500 ms
コード長 1,405 bytes
コンパイル時間 4,190 ms
コンパイル使用メモリ 154,256 KB
実行使用メモリ 34,016 KB
最終ジャッジ日時 2023-09-26 15:42:10
合計ジャッジ時間 6,219 ms
ジャッジサーバーID
（参考情報） 		judge11 / judge15
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 1 ms
4,384 KB
testcase_01 AC 2 ms
4,384 KB
testcase_02 AC 1 ms
4,384 KB
testcase_03 AC 1 ms
4,380 KB
testcase_04 AC 2 ms
4,380 KB
testcase_05 AC 2 ms
4,380 KB
testcase_06 AC 2 ms
4,384 KB
testcase_07 AC 2 ms
4,380 KB
testcase_08 AC 2 ms
4,384 KB
testcase_09 AC 115 ms
34,016 KB
testcase_10 AC 70 ms
19,988 KB
testcase_11 AC 71 ms
19,992 KB
testcase_12 AC 57 ms
16,880 KB
testcase_13 AC 25 ms
8,724 KB
testcase_14 AC 40 ms
12,956 KB
testcase_15 AC 74 ms
20,004 KB
testcase_16 AC 75 ms
18,736 KB
testcase_17 AC 37 ms
12,428 KB
testcase_18 AC 47 ms
13,776 KB
testcase_19 AC 41 ms
13,764 KB
testcase_20 AC 115 ms
33,984 KB
testcase_21 AC 114 ms
33,920 KB
testcase_22 AC 116 ms
33,972 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