結果
| 問題 |
No.2413 Multiple of 99
|
| コンテスト | |
| ユーザー |
|
| 提出日時 | 2023-08-11 23:58:23 |
| 言語 | C++14 (gcc 13.3.0 + boost 1.87.0) |
| 結果 |
AC
|
| 実行時間 | 1,006 ms / 8,000 ms |
| コード長 | 1,886 bytes |
| コンパイル時間 | 2,681 ms |
| コンパイル使用メモリ | 116,540 KB |
| 実行使用メモリ | 60,696 KB |
| 最終ジャッジ日時 | 2024-11-18 19:49:43 |
| 合計ジャッジ時間 | 14,357 ms |
|
ジャッジサーバーID (参考情報) |
judge2 / judge3 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| sample | AC * 3 |
| other | AC * 21 |
ソースコード
#include<iostream>
#include<vector>
#include<cassert>
#include<atcoder/modint>
#include<atcoder/convolution>
using namespace std;
using mint=atcoder::modint998244353;
vector<mint>ret[11];
void add(vector<mint>&A,const vector<mint>&B)
{
if(A.size()<B.size())A.resize(B.size());
for(int i=0;i<B.size();i++)A[i]+=B[i];
}
void f(int n,bool fst)
{
if(n==1)
{
for(int i=0;i<11;i++)
{
if(i<=9)
{
ret[i].assign(i+1,mint::raw(0));
ret[i][i]=mint::raw(1);
}
else ret[i].clear();
}
return;
}
int m=n/2;
f(m,false);
vector<vector<mint> >cur(11);
for(int i=0;i<11;i++)for(int j=0;j<11;j++)
{
int t=m%2==0?(i+j)%11:(i-j+11)%11;
if(fst&&n%2==0&&t!=0)continue;
add(cur[t],atcoder::convolution(ret[i],ret[j]));
}
if(n%2==0)
{
if(fst)swap(ret[0],cur[0]);
else
{
for(int i=0;i<11;i++)swap(ret[i],cur[i]);
}
}
else
{
for(int i=0;i<11;i++)ret[i].clear();
for(int i=0;i<11;i++)
{
for(int j=0;j<=9;j++)
{
int t=(i+j)%11;
if(fst&&t!=0)continue;
if(ret[t].size()<cur[i].size()+j)
ret[t].resize(cur[i].size()+j);
for(int k=0;k<cur[i].size();k++)
ret[t][k+j]+=cur[i][k];
}
}
}
}
int N,K;
vector<mint>F[2][11];
int main()
{
ios::sync_with_stdio(false);
cin.tie(nullptr);
cin>>N>>K;
int n[2]={N/2,N-N/2};
for(int t=0;t<2;t++)
{
int v=9*n[t];
int z=1;
while(z<=v)z<<=1;
vector<mint>A(z,mint::raw(0));
for(int i=0;i<=9;i++)A[i]=mint::raw(1);
atcoder::internal::butterfly(A);
for(int i=0;i<A.size();i++)A[i]=A[i].pow(n[t]);
atcoder::internal::butterfly_inv(A);
for(int i=0;i<11;i++)F[t][i].resize(A.size());
const mint iz=mint::raw(z).inv();
for(int i=0;i<A.size();i++)F[t][i%11][i]=A[i]*iz;
}
mint ans=0;
for(int i=0;i<11;i++)
{
vector<mint>now=atcoder::convolution(F[0][i],F[1][i]);
for(int k=0;k<now.size();k+=9)ans+=now[k]*mint::raw(k).pow(K);
}
cout<<ans.val()<<endl;
}