結果
問題 |
No.3247 Multiplication 8 2
|
ユーザー |
|
提出日時 | 2025-08-23 00:43:27 |
言語 | C++17 (gcc 13.3.0 + boost 1.87.0) |
結果 |
AC
|
実行時間 | 504 ms / 4,000 ms |
コード長 | 1,147 bytes |
コンパイル時間 | 5,340 ms |
コンパイル使用メモリ | 262,204 KB |
実行使用メモリ | 47,504 KB |
最終ジャッジ日時 | 2025-08-23 00:43:45 |
合計ジャッジ時間 | 14,243 ms |
ジャッジサーバーID (参考情報) |
judge4 / judge5 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
sample | AC * 4 |
other | AC * 28 |
ソースコード
#include <bits/stdc++.h> #include <atcoder/all> using namespace std; using namespace atcoder; using mint = atcoder::modint998244353; int main(){ ios::sync_with_stdio(false); cin.tie(0); int n, k, v, sv = 0, f = 0, cv = 0; cin >> n >> k; vector<vector<int>> tb(n / 3 + 1); tb[0].emplace_back(0); for(int i = 0; i < n; i++){ cin >> v; sv += (abs(v) == 2); f ^= (v < 0); if(sv == 3) sv = 0, cv++; if(sv == 0 && f == 0) tb[cv].emplace_back(i + 1); } vector<mint> dp(n + 1), dp2(n + 1), len(n + 1); for(int i = 1; i <= n; i++) len[i] = mint::raw(i).pow(k); dp[0] = 1; for(int i = 0; i + 1 <= cv; i++){ int l = tb[i][0], r0 = tb[i].back() + 1; mint sv1, sv2; for(auto &&p : tb[i]) sv1 += dp[p], sv2 += dp2[p]; auto add = convolution(vector<mint>{dp.begin() + l, dp.begin() + r0}, vector<mint>{len.begin(), len.begin() + (tb[i + 1].back() - l + 1)}); for(auto &&p : tb[i + 1]){ dp2[p] = add[p - l] + sv2; dp[p] = sv1; } } cout << dp2[n].val() << '\n'; }