結果

問題 No.2633 Subsequence Combination Score
ユーザー 👑 potato167potato167
提出日時 2024-02-13 00:50:29
言語 C++17
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 195 ms / 2,000 ms
コード長 1,027 bytes
コンパイル時間 4,183 ms
コンパイル使用メモリ 270,984 KB
実行使用メモリ 9,188 KB
最終ジャッジ日時 2024-09-28 19:41:54
合計ジャッジ時間 13,030 ms
ジャッジサーバーID
（参考情報） 		judge3 / judge4
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 159 ms
9,056 KB
testcase_01 AC 159 ms
9,060 KB
testcase_02 AC 160 ms
9,056 KB
testcase_03 AC 161 ms
9,056 KB
testcase_04 AC 168 ms
8,928 KB
testcase_05 AC 169 ms
8,928 KB
testcase_06 AC 168 ms
9,060 KB
testcase_07 AC 166 ms
8,928 KB
testcase_08 AC 195 ms
8,928 KB
testcase_09 AC 192 ms
8,932 KB
testcase_10 AC 188 ms
8,928 KB
testcase_11 AC 182 ms
8,932 KB
testcase_12 AC 185 ms
9,052 KB
testcase_13 AC 182 ms
9,056 KB
testcase_14 AC 185 ms
9,060 KB
testcase_15 AC 194 ms
9,056 KB
testcase_16 AC 192 ms
9,056 KB
testcase_17 AC 184 ms
8,932 KB
testcase_18 AC 190 ms
8,928 KB
testcase_19 AC 187 ms
9,060 KB
testcase_20 AC 194 ms
9,184 KB
testcase_21 AC 193 ms
9,056 KB
testcase_22 AC 182 ms
9,184 KB
testcase_23 AC 183 ms
9,056 KB
testcase_24 AC 182 ms
9,052 KB
testcase_25 AC 186 ms
9,056 KB
testcase_26 AC 183 ms
9,060 KB
testcase_27 AC 182 ms
9,056 KB
testcase_28 AC 182 ms
9,188 KB
testcase_29 AC 157 ms
9,056 KB
testcase_30 AC 158 ms
9,052 KB
testcase_31 AC 158 ms
9,056 KB
testcase_32 AC 157 ms
8,908 KB
testcase_33 AC 182 ms
8,932 KB
testcase_34 AC 182 ms
9,180 KB
testcase_35 AC 183 ms
9,188 KB
testcase_36 AC 184 ms
9,056 KB
testcase_37 AC 184 ms
9,056 KB
testcase_38 AC 181 ms
9,056 KB
testcase_39 AC 183 ms
9,052 KB
testcase_40 AC 184 ms
9,060 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <bits/stdc++.h>
using namespace std;
#include<atcoder/all>
using namespace atcoder;
using mint=modint998244353;
#define rep(i,a,b) for (int i=(int)(a);i<(int)(b);i++)


int main() {
    int L=(1<<17);
    int N;
    cin>>N;
    vector<int> A(L);
    rep(i,0,N){
        int a;
        cin>>a;
        A[a]++;
    }
    vector<mint> dp(L);
    vector<mint> fact(L,1),fact_inv(L,1);
    rep(i,1,L) fact[i]=fact[i-1]*i;
    fact_inv[L-1]=fact[L-1].inv();
    for(int i=L-1;i>0;i--) fact_inv[i-1]=fact_inv[i]*i;
    mint ans=0;
    auto f=[&](auto self,int l,int r) -> void {
        if(l+1==r){
            dp[l]+=fact_inv[l];
            dp[l]*=(mint(2).pow(A[l])-1);
            ans+=dp[l]*fact[l];
            return;
        }
        int m=(l+r)/2;
        self(self,l,m);
        vector<mint> p(m-l),q(r-l);
        rep(i,l,m) p[i-l]=dp[i];
        rep(i,0,r-l) q[i]=fact_inv[i];
        p=convolution(p,q);
        rep(i,m,r) dp[i]+=p[i-l];
        self(self,m,r);
    };
    f(f,0,L);
    cout<<ans.val()<<"\n";
}
0