結果

問題 No.1068 #いろいろな色 / Red and Blue and more various colors (Hard)
コンテスト
ユーザー carrot46
提出日時 2020-08-15 15:09:50
言語 C++14
(gcc 13.3.0 + boost 1.87.0)
結果
AC  
実行時間 1,485 ms / 3,500 ms
コード長 5,244 bytes
コンパイル時間 2,413 ms
コンパイル使用メモリ 189,424 KB
実行使用メモリ 75,808 KB
最終ジャッジ日時 2024-10-10 17:55:57
合計ジャッジ時間 28,329 ms
ジャッジサーバーID
（参考情報） 		judge3 / judge2
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 3
other AC * 29
権限があれば一括ダウンロードができます

ソースコード

diff #
raw source code 

#include <bits/stdc++.h>
using namespace std;
#define reps(i,s,n) for(int i = s; i < n; i++)
#define rep(i,n) reps(i,0,n)
#define Rreps(i,n,e) for(int i = n - 1; i >= e; --i)
#define Rrep(i,n) Rreps(i,n,0)
#define ALL(a) a.begin(), a.end()
#define fi first
#define se second
typedef long long ll;
typedef vector<ll> vec;
typedef vector<vec> mat;

ll N,M,H,W,Q,K,A,B;
string S;
//const ll MOD = 998244353;
const ll MOD = (1e+9) + 7;
typedef pair<ll, ll> P;
const ll INF = (1LL<<58);

template <long long mod> class mint{
    public:
        ll x;
        long long mod_plus;
        mint(){x = 0;}
        mint(ll _x){
            mod_plus = (LLONG_MAX / mod) * mod;
            x = (_x < 0 ? ((_x += mod_plus) < 0 ? _x + mod_plus : _x) : _x)%mod;
        }

        mint operator-(){
            return x == 0 ? 0 : mod - x;
        }
        mint& operator+=(const mint& a){
            if((x += a.x) >= mod) x -= mod;
            return *this;
        }
        mint operator+(const mint& a){
            mint res(*this);
            return res += a;
        }
        mint& operator-=(const mint& a){
            if((x -= a.x) < 0) x += mod;
            return *this;
        }
        mint operator-(const mint& a){
            mint res(*this);
            return res -= a;
        }
        mint& operator*=(const mint& a){
            (x *= a.x)%=mod;
            return *this;
        }
        mint operator*(const mint& a){
            mint res(*this);
            return res *= a;
        }
        mint pow(unsigned long long pw) const{
            mint res(1), comp(*this);
            while(pw){
                if(pw&1) res *= comp;
                comp *= comp;
                pw >>= 1;
            }
            return res;
        }
        //以下、modが素数のときのみ
        mint inv() const{
            mint res(*this);
            return res.pow(mod - 2);
        }
        mint& operator/=(const mint &a){
            (x *= a.inv().x)%=mod;
            return *this;
        }
        mint operator/(const mint &a) const{
            mint res(*this);
            return res /= a;
        }
};
//1000000009も素数

template <long long mod, int root> class NTT{
    using vm = vector<mint<mod> >;
    void make_root_pow(int n, vm &root_pow){
        root_pow.resize(n + 1);
        mint<mod> new_root = mint<mod>(root).pow((mod - 1) / n);
        root_pow[0].x = 1;
        rep(i,n){
            root_pow[i + 1] = root_pow[i] * new_root;
        }
    }
    void make_bit_reverse(int n, vector<int> &v){
        v.resize(n);
        rep(i,n) v[i] = i;
        for(int i = 1; (1<<i) <= n; ++i){
            int l = 1<<(i - 1), r = 1<<i;
            int plus = n >> i;
            for(int j = l; j < r; ++j){
                int temp = v[j - l] + plus;
                if(j < temp) swap(v[j], v[temp]);
            }
        }
    }
    void dft(int n, vm &f, bool inv, vm &root_pow, vector<int> &id){
        vm g(n);
        rep(i,n) g[i] = f[id[i]];
        swap(f, g);
        for(int l = n / 2, len = 1; l >= 1; l /= 2, len *= 2){
            for(int i = 0; i < n; i += len * 2){
                rep(j, len){
                    mint<mod> z = inv ? root_pow[n - l * j] : root_pow[l * j];
                    g[i + j] = f[i + j] + (z * f[i + len + j]);
                    g[i + len + j] = f[i + j] - (z * f[i + len + j]);
                }
            }
            swap(f, g);
        }
        if(inv) {
            mint<mod> n_inv = mint<mod>(n).inv();
            rep(i, n) f[i] *= n_inv;
        }
    }
public:
    NTT(){}
    vm convolution(vector<ll> &a, vector<ll> &b){
        int sz = a.size() + b.size() - 1, n = 1;
        while(sz > n) n *= 2;
        vm g(n, 0), h(n, 0), root_pow(n + 1, 1), gh(n);
        vector<int> id(n);
        rep(i, (int)a.size()) g[i] += mint<mod>(a[i]);
        rep(i, (int)b.size()) h[i] += mint<mod>(b[i]);
        make_root_pow(n, root_pow);
        make_bit_reverse(n, id);
        dft(n, g, false, root_pow, id);
        dft(n, h, false, root_pow, id);
        rep(i, n) gh[i] = g[i] * h[i];
        dft(n, gh, true, root_pow, id);
        gh.resize(sz);
        return gh;
    }
};
//(  998244353, 3  )と(  1224736769, 3  )がおすすめ

#define mod1 998244353

int main() {
    using mint1 = mint<mod1>;
    using vm = vector<mint1>;
    cin>>N>>Q;
    vec a(N);
    const int max_log = 21;
    vector<mat> vs(max_log + 1, mat(0));
    rep(i,N) {
        cin>>a[i];
        (--a[i])%=mod1;
        vec temp = {1, a[i]};
        vs[0].push_back(temp);
    }
    int last = max_log;
    rep(i,max_log){
        if(vs[i].size() == 1) {
            last = i;
            break;
        }
        rep(j, int(vs[i].size()) / 2){
            mat temp(2, vec(0));
            rep(k,2) for(ll v : vs[i][j * 2 + k]) temp[k].emplace_back(v);
            NTT<mod1, 3> ntt;
            vm res = ntt.convolution(temp[0], temp[1]);
            vec pu(0);
            for(mint1 c : res){
                pu.push_back(c.x);
            }
            vs[i+1].push_back(pu);
        }
        if(int(vs[i].size()) & 1) vs[i+1].push_back(vs[i][vs[i].size() - 1]);
    }
    reverse(ALL(vs[last][0]));
    rep(i,Q){
        cin>>A;
        cout<<vs[last][0][A]<<endl;
    }
}
0