結果
| 問題 |
No.1697 Deque House
|
| ユーザー |
eSeF
|
| 提出日時 | 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 |
ソースコード
#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;
}
eSeF