結果
問題 | No.2237 Xor Sum Hoge |
ユーザー | 👑 potato167 |
提出日時 | 2023-02-21 04:16:57 |
言語 | PyPy3 (7.3.15) |
結果 |
AC
|
実行時間 | 5,191 ms / 10,000 ms |
コード長 | 6,653 bytes |
コンパイル時間 | 166 ms |
コンパイル使用メモリ | 82,616 KB |
実行使用メモリ | 251,176 KB |
最終ジャッジ日時 | 2024-07-22 08:26:11 |
合計ジャッジ時間 | 95,044 ms |
ジャッジサーバーID (参考情報) |
judge3 / judge4 |
(要ログイン)
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | AC | 5,143 ms
251,112 KB |
testcase_01 | AC | 103 ms
76,792 KB |
testcase_02 | AC | 93 ms
76,780 KB |
testcase_03 | AC | 99 ms
76,504 KB |
testcase_04 | AC | 100 ms
76,732 KB |
testcase_05 | AC | 139 ms
77,120 KB |
testcase_06 | AC | 103 ms
76,592 KB |
testcase_07 | AC | 99 ms
76,580 KB |
testcase_08 | AC | 142 ms
76,732 KB |
testcase_09 | AC | 138 ms
76,688 KB |
testcase_10 | AC | 138 ms
76,832 KB |
testcase_11 | AC | 1,197 ms
100,548 KB |
testcase_12 | AC | 2,437 ms
196,408 KB |
testcase_13 | AC | 5,191 ms
250,760 KB |
testcase_14 | AC | 2,409 ms
199,876 KB |
testcase_15 | AC | 1,183 ms
103,104 KB |
testcase_16 | AC | 4,980 ms
250,076 KB |
testcase_17 | AC | 4,965 ms
249,640 KB |
testcase_18 | AC | 2,343 ms
186,348 KB |
testcase_19 | AC | 2,352 ms
183,572 KB |
testcase_20 | AC | 4,838 ms
249,296 KB |
testcase_21 | AC | 5,001 ms
250,268 KB |
testcase_22 | AC | 5,173 ms
250,632 KB |
testcase_23 | AC | 4,976 ms
251,176 KB |
testcase_24 | AC | 4,948 ms
250,936 KB |
testcase_25 | AC | 5,028 ms
250,564 KB |
testcase_26 | AC | 4,994 ms
249,852 KB |
testcase_27 | AC | 4,969 ms
250,388 KB |
testcase_28 | AC | 4,965 ms
250,668 KB |
testcase_29 | AC | 4,929 ms
250,240 KB |
testcase_30 | AC | 4,947 ms
250,940 KB |
testcase_31 | AC | 43 ms
60,684 KB |
testcase_32 | AC | 45 ms
63,636 KB |
testcase_33 | AC | 137 ms
76,668 KB |
testcase_34 | AC | 37 ms
55,516 KB |
ソースコード
class FFT(): def primitive_root_constexpr(self,m): if m==2:return 1 if m==167772161:return 3 if m==469762049:return 3 if m==754974721:return 11 if m==998244353:return 3 divs=[0]*20 divs[0]=2 cnt=1 x=(m-1)//2 while(x%2==0):x//=2 i=3 while(i*i<=x): if (x%i==0): divs[cnt]=i cnt+=1 while(x%i==0): x//=i i+=2 if x>1: divs[cnt]=x cnt+=1 g=2 while(1): ok=True for i in range(cnt): if pow(g,(m-1)//divs[i],m)==1: ok=False break if ok: return g g+=1 def bsf(self,x): res=0 while(x%2==0): res+=1 x//=2 return res rank2=0 root=[] iroot=[] rate2=[] irate2=[] rate3=[] irate3=[] def __init__(self,MOD): self.mod=MOD self.g=self.primitive_root_constexpr(self.mod) self.rank2=self.bsf(self.mod-1) self.root=[0 for i in range(self.rank2+1)] self.iroot=[0 for i in range(self.rank2+1)] self.rate2=[0 for i in range(self.rank2)] self.irate2=[0 for i in range(self.rank2)] self.rate3=[0 for i in range(self.rank2-1)] self.irate3=[0 for i in range(self.rank2-1)] self.root[self.rank2]=pow(self.g,(self.mod-1)>>self.rank2,self.mod) self.iroot[self.rank2]=pow(self.root[self.rank2],self.mod-2,self.mod) for i in range(self.rank2-1,-1,-1): self.root[i]=(self.root[i+1]**2)%self.mod self.iroot[i]=(self.iroot[i+1]**2)%self.mod prod=1;iprod=1 for i in range(self.rank2-1): self.rate2[i]=(self.root[i+2]*prod)%self.mod self.irate2[i]=(self.iroot[i+2]*iprod)%self.mod prod=(prod*self.iroot[i+2])%self.mod iprod=(iprod*self.root[i+2])%self.mod prod=1;iprod=1 for i in range(self.rank2-2): self.rate3[i]=(self.root[i+3]*prod)%self.mod self.irate3[i]=(self.iroot[i+3]*iprod)%self.mod prod=(prod*self.iroot[i+3])%self.mod iprod=(iprod*self.root[i+3])%self.mod def butterfly(self,a): n=len(a) h=(n-1).bit_length() LEN=0 while(LEN<h): if (h-LEN==1): p=1<<(h-LEN-1) rot=1 for s in range(1<<LEN): offset=s<<(h-LEN) for i in range(p): l=a[i+offset] r=a[i+offset+p]*rot a[i+offset]=(l+r)%self.mod a[i+offset+p]=(l-r)%self.mod rot*=self.rate2[(~s & -~s).bit_length()-1] rot%=self.mod LEN+=1 else: p=1<<(h-LEN-2) rot=1 imag=self.root[2] for s in range(1<<LEN): rot2=(rot*rot)%self.mod rot3=(rot2*rot)%self.mod offset=s<<(h-LEN) for i in range(p): a0=a[i+offset] a1=a[i+offset+p]*rot a2=a[i+offset+2*p]*rot2 a3=a[i+offset+3*p]*rot3 a1na3imag=(a1-a3)%self.mod*imag a[i+offset]=(a0+a2+a1+a3)%self.mod a[i+offset+p]=(a0+a2-a1-a3)%self.mod a[i+offset+2*p]=(a0-a2+a1na3imag)%self.mod a[i+offset+3*p]=(a0-a2-a1na3imag)%self.mod rot*=self.rate3[(~s & -~s).bit_length()-1] rot%=self.mod LEN+=2 def butterfly_inv(self,a): n=len(a) h=(n-1).bit_length() LEN=h while(LEN): if (LEN==1): p=1<<(h-LEN) irot=1 for s in range(1<<(LEN-1)): offset=s<<(h-LEN+1) for i in range(p): l=a[i+offset] r=a[i+offset+p] a[i+offset]=(l+r)%self.mod a[i+offset+p]=(l-r)*irot%self.mod irot*=self.irate2[(~s & -~s).bit_length()-1] irot%=self.mod LEN-=1 else: p=1<<(h-LEN) irot=1 iimag=self.iroot[2] for s in range(1<<(LEN-2)): irot2=(irot*irot)%self.mod irot3=(irot*irot2)%self.mod offset=s<<(h-LEN+2) for i in range(p): a0=a[i+offset] a1=a[i+offset+p] a2=a[i+offset+2*p] a3=a[i+offset+3*p] a2na3iimag=(a2-a3)*iimag%self.mod a[i+offset]=(a0+a1+a2+a3)%self.mod a[i+offset+p]=(a0-a1+a2na3iimag)*irot%self.mod a[i+offset+2*p]=(a0+a1-a2-a3)*irot2%self.mod a[i+offset+3*p]=(a0-a1-a2na3iimag)*irot3%self.mod irot*=self.irate3[(~s & -~s).bit_length()-1] irot%=self.mod LEN-=2 def convolution(self,a,b): n=len(a);m=len(b) if not(a) or not(b): return [] if min(n,m)<=40: res=[0]*(n+m-1) for i in range(n): for j in range(m): res[i+j]+=a[i]*b[j] res[i+j]%=self.mod return res z=1<<((n+m-2).bit_length()) a=a+[0]*(z-n) b=b+[0]*(z-m) self.butterfly(a) self.butterfly(b) c=[(a[i]*b[i])%self.mod for i in range(z)] self.butterfly_inv(c) iz=pow(z,self.mod-2,self.mod) for i in range(n+m-1): c[i]=(c[i]*iz)%self.mod return c[:n+m-1] mod=998244353 F=FFT(mod) N,B,C=map(int,input().split()) D=60 rev=[1]*(N+2) for i in range(2,N+2): rev[i]=((mod-mod//i)*rev[mod%i])%mod f0=[0]*(N+1) f1=[0]*(N+1) tmp=1 for i in range(N+1): if i&1: f1[i]=tmp else: f0[i]=tmp tmp=(tmp*(N-i))%mod tmp=(tmp*(rev[i+1]))%mod ans=[1]*1 for d in range(D): if C&1: ans=F.convolution(f1,ans) else: ans=F.convolution(f0,ans) n_ans=[0]*(len(ans)//2+1) for i in range(len(ans)): if (B&1)^(i&1): continue n_ans[i>>1]=ans[i] B>>=1 C>>=1 n_ans,ans=ans,n_ans print(ans[0])