結果
問題 | No.2084 Mex Subset For All Sequences |
ユーザー | googol_S0 |
提出日時 | 2022-09-26 04:58:34 |
言語 | PyPy3 (7.3.15) |
結果 |
AC
|
実行時間 | 92 ms / 2,000 ms |
コード長 | 4,744 bytes |
コンパイル時間 | 260 ms |
コンパイル使用メモリ | 82,420 KB |
実行使用メモリ | 73,456 KB |
最終ジャッジ日時 | 2024-06-01 23:58:08 |
合計ジャッジ時間 | 3,206 ms |
ジャッジサーバーID (参考情報) |
judge3 / judge4 |
(要ログイン)
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | AC | 50 ms
69,020 KB |
testcase_01 | AC | 48 ms
68,464 KB |
testcase_02 | AC | 51 ms
69,520 KB |
testcase_03 | AC | 48 ms
68,348 KB |
testcase_04 | AC | 48 ms
68,176 KB |
testcase_05 | AC | 52 ms
67,968 KB |
testcase_06 | AC | 49 ms
68,480 KB |
testcase_07 | AC | 49 ms
67,856 KB |
testcase_08 | AC | 68 ms
70,724 KB |
testcase_09 | AC | 70 ms
70,784 KB |
testcase_10 | AC | 85 ms
71,980 KB |
testcase_11 | AC | 56 ms
70,324 KB |
testcase_12 | AC | 64 ms
71,780 KB |
testcase_13 | AC | 61 ms
70,552 KB |
testcase_14 | AC | 56 ms
69,876 KB |
testcase_15 | AC | 84 ms
72,856 KB |
testcase_16 | AC | 81 ms
71,980 KB |
testcase_17 | AC | 72 ms
71,596 KB |
testcase_18 | AC | 88 ms
73,104 KB |
testcase_19 | AC | 92 ms
71,804 KB |
testcase_20 | AC | 88 ms
72,908 KB |
testcase_21 | AC | 91 ms
72,728 KB |
testcase_22 | AC | 89 ms
72,656 KB |
testcase_23 | AC | 88 ms
72,436 KB |
testcase_24 | AC | 91 ms
72,492 KB |
testcase_25 | AC | 89 ms
72,720 KB |
testcase_26 | AC | 86 ms
72,448 KB |
testcase_27 | AC | 90 ms
73,456 KB |
ソースコード
mod=998244353 def cmb(n,r): if r<0 or r>n: return 0 return ((g1[n]*g2[r]%mod)*g2[n-r])%mod N=300000 g1=[1]*(N+3) for i in range(2,N+3): g1[i]=g1[i-1]*i%mod g2=[0]*len(g1) g2[-1]=pow(g1[-1],mod-2,mod) for i in range(N+1,-1,-1): g2[i]=g2[i+1]*(i+1)%mod inv=[0]*(N+3) for i in range(1,N+3): inv[i]=g2[i]*g1[i-1]%mod 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 butterfly_first=True butterfly_inv_first=True sum_e=[0]*30 sum_ie=[0]*30 def __init__(self,MOD): self.mod=MOD self.g=self.primitive_root_constexpr(self.mod) def butterfly(self,a): n=len(a) h=(n-1).bit_length() if self.butterfly_first: self.butterfly_first=False es=[0]*30 ies=[0]*30 cnt2=self.bsf(self.mod-1) e=pow(self.g,(self.mod-1)>>cnt2,self.mod) ie=pow(e,self.mod-2,self.mod) for i in range(cnt2,1,-1): es[i-2]=e ies[i-2]=ie e=(e*e)%self.mod ie=(ie*ie)%self.mod now=1 for i in range(cnt2-2): self.sum_e[i]=((es[i]*now)%self.mod) now*=ies[i] now%=self.mod for ph in range(1,h+1): w=1<<(ph-1) p=1<<(h-ph) now=1 for s in range(w): offset=s<<(h-ph+1) for i in range(p): l=a[i+offset] r=a[i+offset+p]*now r%=self.mod a[i+offset]=l+r a[i+offset]%=self.mod a[i+offset+p]=l-r a[i+offset+p]%=self.mod now*=self.sum_e[(~s & -~s).bit_length()-1] now%=self.mod def butterfly_inv(self,a): n=len(a) h=(n-1).bit_length() if self.butterfly_inv_first: self.butterfly_inv_first=False es=[0]*30 ies=[0]*30 cnt2=self.bsf(self.mod-1) e=pow(self.g,(self.mod-1)>>cnt2,self.mod) ie=pow(e,self.mod-2,self.mod) for i in range(cnt2,1,-1): es[i-2]=e ies[i-2]=ie e=(e*e)%self.mod ie=(ie*ie)%self.mod now=1 for i in range(cnt2-2): self.sum_ie[i]=((ies[i]*now)%self.mod) now*=es[i] now%=self.mod for ph in range(h,0,-1): w=1<<(ph-1) p=1<<(h-ph) inow=1 for s in range(w): offset=s<<(h-ph+1) for i in range(p): l=a[i+offset] r=a[i+offset+p] a[i+offset]=l+r a[i+offset]%=self.mod a[i+offset+p]=(l-r)*inow a[i+offset+p]%=self.mod inow*=self.sum_ie[(~s & -~s).bit_length()-1] inow%=self.mod def convolution(self,a,b): n=len(a);m=len(b) if not(a) or not(b): return [] if min(n,m)<=40: if n<m: n,m=m,n a,b=b,a 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=[0]*z for i in range(z): c[i]=(a[i]*b[i])%self.mod 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] N,M=map(int,input().split()) ANS=0 for k in range(M+1): ANS=(ANS+pow(2*M-k,N,mod)*(cmb(M+1,k+1)-max(0,1-k))*(1-2*(k&1)))%mod print(ANS)