Submission #43933966
Source Code Expand
#include<bits/stdc++.h>
#define For(i,a,b) for(int i=(a);i<=(b);++i)
#define Rep(i,a,b) for(int i=(a);i>=(b);--i)
#define ll long long
using namespace std;
inline int read()
{
char c=getchar();int x=0;bool f=0;
for(;!isdigit(c);c=getchar())f^=!(c^45);
for(;isdigit(c);c=getchar())x=(x<<1)+(x<<3)+(c^48);
if(f)x=-x;return x;
}
// modint
#define mod 998244353
struct modint{
int x;
modint(int o=0){x=o;}
modint &operator = (int o){return x=o,*this;}
modint &operator +=(modint o){return x=x+o.x>=mod?x+o.x-mod:x+o.x,*this;}
modint &operator -=(modint o){return x=x-o.x<0?x-o.x+mod:x-o.x,*this;}
modint &operator *=(modint o){return x=1ll*x*o.x%mod,*this;}
modint &operator ^=(int b){
modint a=*this,c=1;
for(;b;b>>=1,a*=a)if(b&1)c*=a;
return x=c.x,*this;
}
modint &operator /=(modint o){return *this *=o^=mod-2;}
friend modint operator +(modint a,modint b){return a+=b;}
friend modint operator -(modint a,modint b){return a-=b;}
friend modint operator *(modint a,modint b){return a*=b;}
friend modint operator /(modint a,modint b){return a/=b;}
friend modint operator ^(modint a,int b){return a^=b;}
friend bool operator ==(modint a,int b){return a.x==b;}
friend bool operator !=(modint a,int b){return a.x!=b;}
bool operator ! () {return !x;}
modint operator - () {return x?mod-x:0;}
bool operator <(const modint&b)const{return x<b.x;}
};
inline modint qpow(modint x,int y){return x^y;}
vector<modint> fac,ifac,iv;
inline void initC(int n)
{
if(iv.empty())fac=ifac=iv=vector<modint>(2,1);
int m=iv.size(); ++n;
if(m>=n)return;
iv.resize(n),fac.resize(n),ifac.resize(n);
For(i,m,n-1){
iv[i]=iv[mod%i]*(mod-mod/i);
fac[i]=fac[i-1]*i,ifac[i]=ifac[i-1]*iv[i];
}
}
inline modint C(int n,int m){
if(m<0||n<m)return 0;
return initC(n),fac[n]*ifac[m]*ifac[n-m];
}
inline modint sign(int n){return (n&1)?(mod-1):(1);}
#define fi first
#define se second
#define mkp make_pair
#define pb push_back
typedef pair<int,int>pii;
typedef vector<int>vi;
#define maxn 200005
#define inf 0x3f3f3f3f
#define poly vector<modint>
const modint G=3,Ginv=modint(1)/3;
inline poly one(){poly a;a.push_back(1);return a;}
vector<int>rev;
vector<modint>rts;
inline int ext(int n){
int k=0;
while((1<<k)<n)++k;return k;
}
inline void init(int k){
int n=1<<k;
if(rev.size()==n)return;
rev.resize(n);
For(i,0,n-1)rev[i]=(rev[i>>1]>>1)|((i&1)<<(k-1));
if(rts.size()>=n)return;
int lst=max(1,(int)rts.size()); rts.resize(n);
for(int mid=lst;mid<n;mid<<=1){
modint wn=G^((mod-1)/(mid<<1));
rts[mid]=1;
For(i,1,mid-1)rts[i+mid]=rts[i+mid-1]*wn;
}
}
void ntt(poly&a,int k,int typ)
{
int n=1<<k;
if(typ<0) reverse(a.begin()+1,a.end());
For(i,0,n-1)if(i<rev[i])swap(a[i],a[rev[i]]);
for(int mid=1;mid<n;mid<<=1)
for(int r=mid<<1,j=0;j<n;j+=r)
for(int k=0;k<mid;++k){
modint x=a[j+k],y=rts[mid+k]*a[j+k+mid];
a[j+k]=x+y,a[j+k+mid]=x-y;
}
if(typ<0){
modint inv=modint(1)/n;
For(i,0,n-1)a[i]*=inv;
}
}
poly operator +(poly a,poly b){
int n=max(a.size(),b.size());a.resize(n),b.resize(n);
For(i,0,n-1)a[i]+=b[i];return a;
}
poly operator -(poly a,poly b){
int n=max(a.size(),b.size());a.resize(n),b.resize(n);
For(i,0,n-1)a[i]-=b[i];return a;
}
poly operator *(poly a,modint b){
int n=a.size();
For(i,0,n-1)a[i]*=b;return a;
}
poly operator *(poly a,poly b)
{
if((int)a.size()<=64 && (int)b.size()<=64){
poly c(a.size()+b.size()-1,0);
for(int i=0;i<a.size();++i)
for(int j=0;j<b.size();++j)
c[i+j]+=a[i]*b[j];
return c;
}
int n=(int)a.size()+(int)b.size()-1,k=ext(n);
a.resize(1<<k),b.resize(1<<k),init(k);
ntt(a,k,1),ntt(b,k,1);
For(i,0,(1<<k)-1)a[i]*=b[i];
ntt(a,k,-1),a.resize(n);return a;
}
modint a[maxn];
poly tl[maxn<<2],tr[maxn<<2];
void init(int p,int l,int r)
{
if(l==r){
tl[p]={1,mod-1};
tr[p]={1,1};
return;
}
int mid=l+r>>1;
init(p<<1,l,mid),init(p<<1|1,mid+1,r);
tl[p]=tl[p<<1]*tl[p<<1|1];
tr[p]=tr[p<<1]*tr[p<<1|1];
}
poly solve(int p,int l,int r)
{
if(l==r)return {a[l]};
int mid=l+r>>1;
poly fl=solve(p<<1,l,mid),fr=solve(p<<1|1,mid+1,r);
return fl*tr[p<<1|1]+fr*tl[p<<1];
}
void fwt(poly&f,int op)
{
int n=f.size()-1;
For(i,0,n)a[i]=f[i];
f=solve(1,0,n);
assert(f.size()==n+1);
if(op!=1){
modint iv=qpow((mod+1)/2,n);
for(auto&x:f)x*=iv;
}
}
int n,k;
signed main()
{
n=read(),k=read();
modint iv1e9=1; iv1e9/=1000000000;
poly f(n+1),g(n+1);
For(i,0,n)f[i]=read()*iv1e9;
g[1]=1;
init(1,0,n);
fwt(f,1),fwt(g,1);
For(i,0,n){
modint tmpf=f[i]/C(n,i),tmpg=g[i]/C(n,i);
tmpf=tmpf*(tmpg^k);
f[i]=tmpf*C(n,i);
}
fwt(f,(mod+1)/2);
For(i,0,n)cout<<f[i].x<<" ";
return 0;
}
/*
*/
Submission Info
Submission Time
2023-07-24 22:18:12+0900
Task
F - Random Transition
User
Rainbow_qwq
Language
C++ (GCC 9.2.1)
Score
1100
Code Size
4820 Byte
Status
AC
Exec Time
803 ms
Memory
73832 KiB
Compile Error
./Main.cpp: In function ‘int read()’:
./Main.cpp:11:5: warning: this ‘if’ clause does not guard... [-Wmisleading-indentation]
11 | if(f)x=-x;return x;
| ^~
./Main.cpp:11:15: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the ‘if’
11 | if(f)x=-x;return x;
| ^~~~~~
./Main.cpp: In function ‘int ext(int)’:
./Main.cpp:77:2: warning: this ‘while’ clause does not guard... [-Wmisleading-indentation]
77 | while((1<<k)<n)++k;return k;
| ^~~~~
./Main.cpp:77:21: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the ‘while’
77 | while((1<<k)<n)++k;return k;
| ^~~~~~
./Main.cpp: In function ‘void init(int)’:
./Main.cpp:81:15: warning: comparison of integer expressions of different signedness: ‘std::vector<int>::size_type’ {aka ‘long unsigned int’} and ‘int’ [-Wsign-compare]
81 | if(rev.size()==n)return;
| ~~~~~~~~~~^~~
./Main.cpp:84:15: warning: comparison of integer expressions of different signedness: ‘std::vector<modint>::size_type’ {aka ‘long unsigned int’} and ‘int’ [-Wsign-compare]
84 | if(rts.size()>=n)return;
| ~~~~~~~~~~^~~
./Main.cpp: In function ‘std::vector<modint> operator+(std::vector<modint>, std::vector<modint>)’:
./Main.cpp:2:20: warning: this ‘for’ clause does not guard... [-Wmisleading-indentation]
2 | #define For(i,a,b) for(int i=(a);i<=(b);++i)
| ^~~
./Main.cpp:111:2: note: in expansion of macro ‘For’
111 | For(i,0,n-1)a[i]+=b[i];return a;
| ^~~
./Main.cpp:111:25: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the ‘for’
111 | For(i,0,n-1)a[i]+=b[i];return a;
| ^~~~~~
./Main.cpp: In function ‘std::vector<modint> operator-(std::vector<modint>, std::vector<modint>)’:
./Main.cpp:2:20: warning: this ‘for’ clause does not guard... [...
Judge Result
Set Name
Sample
All
Score / Max Score
0 / 0
1100 / 1100
Status
Set Name
Test Cases
Sample
00-sample-001.txt, 00-sample-002.txt, 00-sample-003.txt
All
00-sample-001.txt, 00-sample-002.txt, 00-sample-003.txt, 01-001.txt, 01-002.txt, 01-003.txt, 01-004.txt, 01-005.txt, 01-006.txt, 01-007.txt, 01-008.txt, 01-009.txt
Case Name
Status
Exec Time
Memory
00-sample-001.txt
AC
38 ms
41816 KiB
00-sample-002.txt
AC
29 ms
41672 KiB
00-sample-003.txt
AC
35 ms
41792 KiB
01-001.txt
AC
29 ms
41632 KiB
01-002.txt
AC
181 ms
48636 KiB
01-003.txt
AC
108 ms
45444 KiB
01-004.txt
AC
178 ms
47912 KiB
01-005.txt
AC
801 ms
73780 KiB
01-006.txt
AC
803 ms
73756 KiB
01-007.txt
AC
800 ms
73832 KiB
01-008.txt
AC
791 ms
73832 KiB
01-009.txt
AC
802 ms
73756 KiB