結果
問題 | No.2237 Xor Sum Hoge |
ユーザー | 👑 potato167 |
提出日時 | 2023-02-21 16:15:50 |
言語 | PyPy3 (7.3.15) |
結果 |
AC
|
実行時間 | 5,680 ms / 10,000 ms |
コード長 | 6,673 bytes |
コンパイル時間 | 349 ms |
コンパイル使用メモリ | 82,432 KB |
実行使用メモリ | 251,044 KB |
最終ジャッジ日時 | 2024-07-22 08:27:59 |
合計ジャッジ時間 | 106,477 ms |
ジャッジサーバーID (参考情報) |
judge2 / judge1 |
(要ログイン)
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | AC | 5,546 ms
250,824 KB |
testcase_01 | AC | 126 ms
76,544 KB |
testcase_02 | AC | 112 ms
76,416 KB |
testcase_03 | AC | 122 ms
76,416 KB |
testcase_04 | AC | 127 ms
76,672 KB |
testcase_05 | AC | 163 ms
76,544 KB |
testcase_06 | AC | 122 ms
76,544 KB |
testcase_07 | AC | 122 ms
76,544 KB |
testcase_08 | AC | 170 ms
76,628 KB |
testcase_09 | AC | 169 ms
76,760 KB |
testcase_10 | AC | 164 ms
76,544 KB |
testcase_11 | AC | 1,296 ms
99,936 KB |
testcase_12 | AC | 2,651 ms
199,084 KB |
testcase_13 | AC | 5,604 ms
250,956 KB |
testcase_14 | AC | 2,648 ms
200,472 KB |
testcase_15 | AC | 1,316 ms
103,448 KB |
testcase_16 | AC | 5,459 ms
250,368 KB |
testcase_17 | AC | 5,431 ms
249,916 KB |
testcase_18 | AC | 2,617 ms
186,856 KB |
testcase_19 | AC | 2,611 ms
184,324 KB |
testcase_20 | AC | 5,396 ms
249,436 KB |
testcase_21 | AC | 5,580 ms
249,596 KB |
testcase_22 | AC | 5,680 ms
250,724 KB |
testcase_23 | AC | 5,574 ms
250,556 KB |
testcase_24 | AC | 5,574 ms
250,656 KB |
testcase_25 | AC | 5,557 ms
250,400 KB |
testcase_26 | AC | 5,574 ms
249,448 KB |
testcase_27 | AC | 5,570 ms
249,972 KB |
testcase_28 | AC | 5,559 ms
250,340 KB |
testcase_29 | AC | 5,524 ms
250,348 KB |
testcase_30 | AC | 5,586 ms
251,044 KB |
testcase_31 | AC | 60 ms
61,184 KB |
testcase_32 | AC | 59 ms
61,312 KB |
testcase_33 | AC | 176 ms
76,416 KB |
testcase_34 | AC | 51 ms
54,144 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>>1]=tmp else: f0[i>>1]=tmp tmp=(tmp*(N-i))%mod tmp=(tmp*(rev[i+1]))%mod ans=[1]*1 for d in range(D): ind=(B&1)-(C&1) n_ans=[0]*(len(ans)//2+2) for i in range(len(ans)//2+2): if 0<=ind and ind<len(ans): n_ans[i]=ans[ind] ind+=2 if C&1: ans=F.convolution(n_ans,f1) else: ans=F.convolution(n_ans,f0) B>>=1 C>>=1 print(ans[0])