結果

問題 No.2206 Popcount Sum 2
ユーザー nononnonon
提出日時 2024-05-25 06:57:10
言語 C++17
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 735 ms / 4,000 ms
コード長 2,968 bytes
コンパイル時間 3,117 ms
コンパイル使用メモリ 220,544 KB
実行使用メモリ 10,280 KB
最終ジャッジ日時 2024-12-20 19:34:43
合計ジャッジ時間 14,119 ms
ジャッジサーバーID
(参考情報)
judge1 / judge2
このコードへのチャレンジ
(要ログイン)

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 1 ms
6,820 KB
testcase_01 AC 2 ms
6,820 KB
testcase_02 AC 47 ms
6,816 KB
testcase_03 AC 47 ms
6,816 KB
testcase_04 AC 51 ms
6,984 KB
testcase_05 AC 726 ms
9,640 KB
testcase_06 AC 729 ms
9,084 KB
testcase_07 AC 735 ms
9,092 KB
testcase_08 AC 725 ms
9,088 KB
testcase_09 AC 727 ms
10,280 KB
testcase_10 AC 451 ms
8,996 KB
testcase_11 AC 459 ms
9,008 KB
testcase_12 AC 448 ms
9,120 KB
testcase_13 AC 397 ms
8,376 KB
testcase_14 AC 395 ms
8,380 KB
testcase_15 AC 391 ms
8,380 KB
testcase_16 AC 246 ms
8,956 KB
testcase_17 AC 251 ms
9,028 KB
testcase_18 AC 247 ms
9,020 KB
権限があれば一括ダウンロードができます

ソースコード

diff #

#include<bits/stdc++.h>
#include<atcoder/modint>
using namespace std;
using mint=atcoder::modint998244353;
template<typename mint>
struct combination
{
    combination(int n=0):inner_fac(1,1),inner_finv(1,1){init(n);}
    mint fac(int n)
    {
        init(n);
        return inner_fac[n];
    }
    mint finv(int n)
    {
        init(n);
        return inner_finv[n];
    }
    mint inv(int n)
    {
        if(n==0)return 0;
        init(n);
        return inner_fac[n-1]*inner_finv[n];
    }
    mint C(int n, int r)
    {
        if(r<0)return 0;
        if(n<0)
        {
            n=-n;
            mint res=C(n-1+r,r);
            if(r&1)res=-res;
            return res;
        }
        if(n<r)return 0;
        if(n<bound)
        {
            init(n);
            return inner_fac[n]*inner_finv[n-r]*inner_finv[r];
        }
        init(r);
        mint res=1;
        for(int i=0;i<r;i++)res*=(n-i);
        return res*inner_finv[r];
    }
    mint P(int n, int r)
    {
        if(n<0||r<0||n<r)return 0;
        if(n<bound)
        {
            init(n);
            return inner_fac[n]*inner_finv[n-r];
        }
        mint res=1;
        for(int i=0;i<r;i++)res*=(n-i);
        return res;
    }
    mint H(int n, int r)
    {
        return C(n-1+r,r);
    }
private:
    const int bound=1<<25;
    vector<mint>inner_fac,inner_finv;
    void init(int n)
    {
        int sz=inner_fac.size();
        if(sz>n)return;
        n=min(max(n,2*sz),bound);
        inner_fac.resize(n+1);
        inner_finv.resize(n+1);
        for(int i=sz;i<=n;i++)inner_fac[i]=inner_fac[i-1]*i;
        inner_finv[n]=inner_fac[n].inv();
        for(int i=n;i>sz;i--)inner_finv[i-1]=inner_finv[i]*i;
    }
};
combination<mint>C;
vector<mint>multipoint_binomial_sum(const vector<pair<int,int>>& qs)
{
    auto binom=[&](int n, int r){return C.C(n,r);};
    int m=2,q=qs.size();
    for(auto[n,r]:qs)m=max(m,n);
    vector<int>ord(q);
    for(int i=0;i<q;i++)ord[i]=i;
    const int b=m/clamp((int)sqrt(q*0.66),1,m);
    sort(ord.begin(),ord.end(),[&](int i, int j)
    {
        auto[ni,ri]=qs[i];
        auto[nj,rj]=qs[j];
        int bi=ri/b,bj=rj/b;
        return bi==bj?bi&1?ni>nj:ni<nj:bi<bj;
    });
    int n=1,r=0;
    mint ans=1;
    vector<mint>res(q);
    const mint inv2=mint(2).inv();
    for(int i:ord)
    {
        auto[ni,ri]=qs[i];
        while(r>ri)ans-=binom(n,r--);
        while(r<ri)ans+=binom(n,++r);
        while(n<ni)ans+=ans-binom(n++,r);
        while(n>ni)ans=(ans+binom(--n,r))*inv2;
        res[i]=ans;
    }
    return res;
}
int main()
{
    ios::sync_with_stdio(false);
    cin.tie(nullptr);
    int Q;
    cin>>Q;
    vector<pair<int,int>>qs(Q);
    for(auto&p:qs)
    {
        int n,k;
        cin>>n>>k;
        p=make_pair(n-1,k-1);
    }
    auto binom=multipoint_binomial_sum(qs);
    for(int i=0;i<Q;i++)
    {
        mint ans=mint(2).pow(qs[i].first+1)-1;
        ans*=binom[i];
        cout<<ans.val()<<'\n';
    }
}
0