結果
問題 | No.1659 Product of Divisors |
ユーザー | Kazun |
提出日時 | 2021-07-22 00:51:45 |
言語 | PyPy3 (7.3.15) |
結果 |
RE
|
実行時間 | - |
コード長 | 5,865 bytes |
コンパイル時間 | 181 ms |
コンパイル使用メモリ | 82,488 KB |
実行使用メモリ | 848,864 KB |
最終ジャッジ日時 | 2024-11-21 00:06:21 |
合計ジャッジ時間 | 15,346 ms |
ジャッジサーバーID (参考情報) |
judge3 / judge4 |
(要ログイン)
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | AC | 40 ms
54,304 KB |
testcase_01 | AC | 53 ms
67,152 KB |
testcase_02 | AC | 82 ms
90,736 KB |
testcase_03 | AC | 40 ms
53,792 KB |
testcase_04 | AC | 57 ms
75,464 KB |
testcase_05 | AC | 84 ms
90,772 KB |
testcase_06 | AC | 81 ms
90,728 KB |
testcase_07 | AC | 82 ms
90,764 KB |
testcase_08 | AC | 40 ms
54,916 KB |
testcase_09 | RE | - |
testcase_10 | RE | - |
testcase_11 | RE | - |
testcase_12 | RE | - |
testcase_13 | AC | 43 ms
54,588 KB |
testcase_14 | RE | - |
testcase_15 | TLE | - |
testcase_16 | TLE | - |
testcase_17 | TLE | - |
testcase_18 | TLE | - |
testcase_19 | TLE | - |
testcase_20 | RE | - |
testcase_21 | RE | - |
testcase_22 | RE | - |
testcase_23 | RE | - |
testcase_24 | RE | - |
ソースコード
#素因数分解 def Prime_Factorization(N): if N<0: R=[[-1,1]] else: R=[] N=abs(N) if N&1==0: C=0 while N&1==0: N>>=1 C+=1 R.append([2,C]) if N%3==0: C=0 while N%3==0: N//=3 C+=1 R.append([3,C]) k=5 Flag=0 while k*k<=N: if N%k==0: C=0 while N%k==0: C+=1 N//=k R.append([k,C]) k+=2+2*Flag Flag^=1 if N!=1: R.append([N,1]) return R class Modulo_Error(Exception): pass class Modulo(): __slots__=["a","n"] def __init__(self,a,n): self.a=a%n self.n=n def __str__(self): return "{} (mod {})".format(self.a,self.n) def __repr__(self): return self.__str__() #+,- def __pos__(self): return self def __neg__(self): return Modulo(-self.a,self.n) #等号,不等号 def __eq__(self,other): if isinstance(other,Modulo): return (self.a==other.a) and (self.n==other.n) elif isinstance(other,int): return (self-other).a==0 def __neq__(self,other): return not(self==other) def __le__(self,other): a,p=self.a,self.n b,q=other.a,other.n return (a-b)%q==0 and p%q==0 def __ge__(self,other): return other<=self def __lt__(self,other): return (self<=other) and (self!=other) def __gt__(self,other): return (self>=other) and (self!=other) def __contains__(self,val): return val%self.n==self.a #加法 def __add__(self,other): if isinstance(other,Modulo): if self.n!=other.n: raise Modulo_Error("異なる法同士の演算です.") return Modulo(self.a+other.a,self.n) elif isinstance(other,int): return Modulo(self.a+other,self.n) def __radd__(self,other): if isinstance(other,int): return Modulo(self.a+other,self.n) def __iadd__(self,other): if isinstance(other,Modulo): if self.n!=other.n: raise Modulo_Error("異なる法同士の演算です.") self.a+=other.a if self.a>=self.n: self.a-=self.n elif isinstance(other,int): self.a+=other if self.a>=self.n: self.a-=self.n return self #減法 def __sub__(self,other): return self+(-other) def __rsub__(self,other): if isinstance(other,int): return -self+other def __isub__(self,other): if isinstance(other,Modulo): if self.n!=other.n: raise Modulo_Error("異なる法同士の演算です.") self.a-=other.a if self.a<0: self.a+=self.n elif isinstance(other,int): self.a-=other if self.a<0: self.a+=self.n return self #乗法 def __mul__(self,other): if isinstance(other,Modulo): if self.n!=other.n: raise Modulo_Error("異なる法同士の演算です.") return Modulo(self.a*other.a,self.n) elif isinstance(other,int): return Modulo(self.a*other,self.n) def __rmul__(self,other): if isinstance(other,int): return Modulo(self.a*other,self.n) def __imul__(self,other): if isinstance(other,Modulo): if self.n!=other.n: raise Modulo_Error("異なる法同士の演算です.") self.a*=other.a elif isinstance(other,int): self.a*=other self.a%=self.n return self #Modulo逆数 def inverse(self): return self.Modulo_Inverse() def Modulo_Inverse(self): s,t=1,0 a,b=self.a,self.n while b: q,a,b=a//b,b,a%b s,t=t,s-q*t if a!=1: raise Modulo_Error("{}の逆数が存在しません".format(self)) else: return Modulo(s,self.n) #除法 def __truediv__(self,other): return self*(other.Modulo_Inverse()) def __rtruediv__(self,other): return other*(self.Modulo_Inverse()) #累乗 def __pow__(self,other): if isinstance(other,int): u=abs(other) r=Modulo(pow(self.a,u,self.n),self.n) if other>=0: return r else: return r.Modulo_Inverse() else: b,n=other.a,other.n if pow(self.a,n,self.n)!=1: raise Modulo_Error("矛盾なく定義できません.") else: return self**b def Factor_Modulo(N,M,Mode=0): """ Mode=0のとき:N! (mod M) を求める. Mode=1のとき:k! (mod M) (k=0,1,...,N) のリストも出力する. [計算量] O(N) """ if Mode==0: X=Modulo(1,M) for k in range(1,N+1): X*=k return X else: L=[Modulo(1,M)]*(N+1) for k in range(1,N+1): L[k]=k*L[k-1] return L def Factor_Modulo_with_Inverse(N,M): """ k=0,1,...,N に対する k! (mod M) と (k!)^(-1) (mod M) のリストを出力する. [入力] N,M:整数 M>0 [出力] 長さ N+1 のリストのタプル (F,G):F[k]=k! (mod M), G[k]=(k!)^(-1) (mod M) [計算量] O(N) """ assert M>0 F=Factor_Modulo(N,M,Mode=1) G=[0]*(N+1) G[-1]=F[-1].inverse() for k in range(N,0,-1): G[k-1]=k*G[k] return F,G def nCr(n,r): return F[n]*G[r]*G[n-r] def nHr(n,r): return nCr(n+r-1,r) #================================================== N,K=map(int,input().split()) Mod=10**9+7 F,G=Factor_Modulo_with_Inverse(K+100,Mod) X=Modulo(1,Mod) for p,e in Prime_Factorization(N): X*=nHr(K+1,e) print(X.a)