結果

問題 No.3247 Multiplication 8 2
ユーザー Yudai0606Nazo
提出日時 2025-08-26 03:12:29
言語 C++17
(gcc 13.3.0 + boost 1.87.0)
結果
AC  
実行時間 349 ms / 4,000 ms
コード長 2,438 bytes
コンパイル時間 5,257 ms
コンパイル使用メモリ 262,412 KB
実行使用メモリ 32,308 KB
最終ジャッジ日時 2025-08-26 03:12:45
合計ジャッジ時間 13,815 ms
ジャッジサーバーID
（参考情報） 		judge4 / judge3
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 4
other AC * 28
権限があれば一括ダウンロードができます

ソースコード

diff # 

#ifndef ONLINE_JUDGE
#define _GLIBCXX_DEBUG
#endif
#include <bits/stdc++.h>
#include <cassert>
#include <atcoder/all>
using namespace std;
using namespace atcoder;
using ll = long long;
using mint = modint998244353;
//using mint = modint1000000007;
#define rep(i, n) for (int i = 0; i < (int)(n); i++)
#define repu(i, s, t) for (int i = (int)(s); i < (int)(t); i++)
#define repd(i, s, t) for (int i = (int)(s)-1; i >= (int)(t); i--)
#define all(v) v.begin(), v.end()
void _u() { cerr << endl; } template <class H, class... T> void _u(H&& h, T&&... t) { cerr << h << ", "; _u(move(t)...); }
#define U(...) { cerr << #__VA_ARGS__ << ": "; _u(__VA_ARGS__); }
template<typename T> bool chmax(T &a, const T b) { if(a >= b) return false; a = b; return true; }
template<typename T> bool chmin(T &a, const T b) { if(a <= b) return false; a = b; return true; }
template<typename T> istream& operator>>(istream &in, vector<T> &a) { for(T &x: a) in >> x; return in; }
template<typename T> ostream& operator<<(ostream &out, const vector<T> &a) { for(const T &x: a) out << x << ' '; return out; }
const int di[] = {1, 0, -1, 0, 1, 1, -1, -1, 0};
const int dj[] = {0, 1, 0, -1, -1, 1, 1, -1, 0};


int main() {
    cin.tie(0)->sync_with_stdio(0);
    int n, k;
    cin >> n >> k;
    vector<int> a(n);
    cin >> a;

    vector<int> ccu(n+1);
    vector<bool> sign(n+1);
    rep(i, n) {
        ccu[i+1] = ccu[i] + int(abs(a[i]) == 2);
        sign[i+1] = sign[i] ^ (a[i] < 0);
    }
    if(ccu[n] < 3 || ccu[n] % 3 != 0 || sign[n]) {
        cout << "0\n";
        return 0;
    }

    vector<vector<int>> id(ccu[n]/3 + 1);
    rep(i, n+1) if(ccu[i] % 3 == 0 && !sign[i]) id[ccu[i]/3].push_back(i);
    id[0] = vector<int>{0};
    id.back() = vector<int>{n};
    int s = id.size();
    rep(i, s) if(id[i].empty()) {
        cout << "0\n";
        return 0;
    }

    mint pt = 1;
    rep(i, s) pt *= id[i].size();

    vector<mint> p(n+1);
    repu(i, 1, n+1) p[i] = mint(i).pow(k);
    mint ans = 0;
    rep(i, s-1) {
        vector<int> v1(id[i].back() - id[i][0] + 1);
        vector<int> v2(id[i+1].back() - id[i+1][0] + 1);
        for(int x: id[i]) v1[id[i].back() - x]++;
        for(int x: id[i+1]) v2[x - id[i+1][0]]++;
        auto v = convolution(v1, v2);
        mint tmp = pt / id[i].size() / id[i+1].size();
        rep(j, v.size()) ans += v[j] * p[j+id[i+1][0]-id[i].back()] * tmp;
    }
    cout << ans.val() << endl;
    return 0;
}
0