結果
問題 | No.644 G L C C D M |
ユーザー | beet |
提出日時 | 2018-12-02 22:34:53 |
言語 | C++17 (gcc 12.3.0 + boost 1.83.0) |
結果 |
AC
|
実行時間 | 60 ms / 2,000 ms |
コード長 | 4,621 bytes |
コンパイル時間 | 1,956 ms |
コンパイル使用メモリ | 201,348 KB |
実行使用メモリ | 12,368 KB |
最終ジャッジ日時 | 2023-09-13 20:59:23 |
合計ジャッジ時間 | 4,950 ms |
ジャッジサーバーID (参考情報) |
judge13 / judge11 |
(要ログイン)
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | AC | 60 ms
11,396 KB |
testcase_01 | AC | 59 ms
11,176 KB |
testcase_02 | AC | 51 ms
11,408 KB |
testcase_03 | AC | 52 ms
11,184 KB |
testcase_04 | AC | 50 ms
11,144 KB |
testcase_05 | AC | 53 ms
11,156 KB |
testcase_06 | AC | 50 ms
11,216 KB |
testcase_07 | AC | 54 ms
11,148 KB |
testcase_08 | AC | 55 ms
11,412 KB |
testcase_09 | AC | 55 ms
11,164 KB |
testcase_10 | AC | 51 ms
11,112 KB |
testcase_11 | AC | 51 ms
11,224 KB |
testcase_12 | AC | 52 ms
11,176 KB |
testcase_13 | AC | 57 ms
11,256 KB |
testcase_14 | AC | 59 ms
11,204 KB |
testcase_15 | AC | 52 ms
11,184 KB |
testcase_16 | AC | 50 ms
11,204 KB |
testcase_17 | AC | 51 ms
11,224 KB |
testcase_18 | AC | 54 ms
11,772 KB |
testcase_19 | AC | 50 ms
11,196 KB |
testcase_20 | AC | 57 ms
11,236 KB |
testcase_21 | AC | 52 ms
11,164 KB |
testcase_22 | AC | 57 ms
12,120 KB |
testcase_23 | AC | 53 ms
11,764 KB |
testcase_24 | AC | 52 ms
11,772 KB |
testcase_25 | AC | 52 ms
12,116 KB |
testcase_26 | AC | 53 ms
12,368 KB |
ソースコード
#include<bits/stdc++.h> using namespace std; using Int = long long; template<typename T1,typename T2> inline void chmin(T1 &a,T2 b){if(a>b) a=b;} template<typename T1,typename T2> inline void chmax(T1 &a,T2 b){if(a<b) a=b;} template<typename T,T MOD = 1000000007> struct Mint{ T v; Mint():v(0){} Mint(signed v):v(v){} Mint(long long t){v=t%MOD;if(v<0) v+=MOD;} Mint pow(long long k){ Mint res(1),tmp(v); while(k){ if(k&1) res*=tmp; tmp*=tmp; k>>=1; } return res; } Mint inv(){return pow(MOD-2);} Mint& operator+=(Mint a){v+=a.v;if(v>=MOD)v-=MOD;return *this;} Mint& operator-=(Mint a){v+=MOD-a.v;if(v>=MOD)v-=MOD;return *this;} Mint& operator*=(Mint a){v=1LL*v*a.v%MOD;return *this;} Mint& operator/=(Mint a){return (*this)*=a.inv();} Mint operator+(Mint a) const{return Mint(v)+=a;}; Mint operator-(Mint a) const{return Mint(v)-=a;}; Mint operator*(Mint a) const{return Mint(v)*=a;}; Mint operator/(Mint a) const{return Mint(v)/=a;}; Mint operator-(){return v?MOD-v:v;} bool operator==(const Mint a)const{return v==a.v;} bool operator!=(const Mint a)const{return v!=a.v;} bool operator <(const Mint a)const{return v <a.v;} // find x s.t. a^x = b static T log(Mint a,Mint b){ const T sq=40000; unordered_map<T, T> dp; dp.reserve(sq); Mint res(1); for(int r=0;r<sq;r++){ if(!dp.count(res)) dp[res]=r; res*=a; } Mint p=pow(a.inv(),sq); res=b; for(int q=0;q<=MOD/sq+1;q++){ if(dp.count(res)){ T idx=q*sq+dp[res]; if(idx>0) return idx; } res*=p; } return T(-1); } static vector<Mint> fact,finv,invs; static void init(int n){ if(n+1<=(signed)fact.size()) return; fact.assign(n+1,1); finv.assign(n+1,1); invs.assign(n+1,1); for(int i=1;i<=n;i++) fact[i]=fact[i-1]*Mint(i); finv[n]=Mint(1)/fact[n]; for(int i=n;i>=1;i--) finv[i-1]=finv[i]*Mint(i); for(int i=1;i<=n;i++) invs[i]=finv[i]*fact[i-1]; } static Mint comb(long long n,int k){ Mint res(1); for(int i=0;i<k;i++){ res*=Mint(n-i); res/=Mint(i+1); } return res; } static Mint C(int n,int k){ if(n<k||k<0) return Mint(0); init(n); return fact[n]*finv[n-k]*finv[k]; } static Mint P(int n,int k){ if(n<k||k<0) return Mint(0); init(n); return fact[n]*finv[n-k]; } static Mint H(int n,int k){ if(n<0||k<0) return Mint(0); if(!n&&!k) return Mint(1); init(n+k-1); return C(n+k-1,k); } static Mint S(int n,int k){ Mint res; init(k); for(int i=1;i<=k;i++){ Mint tmp=C(k,i)*Mint(i).pow(n); if((k-i)&1) res-=tmp; else res+=tmp; } return res*=finv[k]; } static vector<vector<Mint> > D(int n,int m){ vector<vector<Mint> > dp(n+1,vector<Mint>(m+1,0)); dp[0][0]=Mint(1); for(int i=0;i<=n;i++){ for(int j=1;j<=m;j++){ if(i-j>=0) dp[i][j]=dp[i][j-1]+dp[i-j][j]; else dp[i][j]=dp[i][j-1]; } } return dp; } static Mint B(int n,int k){ Mint res; for(int j=1;j<=k;j++) res+=S(n,j); return res; } static Mint montmort(int n){ Mint res; init(n); for(int k=2;k<=n;k++){ if(k&1) res-=finv[k]; else res+=finv[k]; } return res*=fact[n]; } static Mint LagrangePolynomial(vector<Mint> &y,Mint t){ int n=y.size()-1; if(t.v<=n) return y[t.v]; init(n+1); Mint num(1); for(int i=0;i<=n;i++) num*=t-Mint(i); Mint res; for(int i=0;i<=n;i++){ Mint tmp=y[i]*num/(t-Mint(i))*finv[i]*finv[n-i]; if((n-i)&1) res-=tmp; else res+=tmp; } return res; } }; template<typename T,T MOD> vector<Mint<T, MOD> > Mint<T, MOD>::fact = vector<Mint<T, MOD> >(); template<typename T,T MOD> vector<Mint<T, MOD> > Mint<T, MOD>::finv = vector<Mint<T, MOD> >(); template<typename T,T MOD> vector<Mint<T, MOD> > Mint<T, MOD>::invs = vector<Mint<T, MOD> >(); #define MAX_N 1000000 Int euler_phi(Int n){ Int res=n; for(Int i=2;i*i<=n;i++){ if(n%i==0){ res=res/i*(i-1); for(;n%i==0;n/=i); } } if(n!=1) res=res/n*(n-1); return res; } Int euler[MAX_N]; void euler_phi2(){ for(Int i=0;i<MAX_N;i++) euler[i]=i; for(Int i=2;i<MAX_N;i++){ if(euler[i]==i){ for(Int j=i;j<MAX_N;j+=i) euler[j]=euler[j]/i*(i-1); } } } //INSERT ABOVE HERE signed main(){ int n,m; cin>>n>>m; using M = Mint<int>; M ans(0); euler_phi2(); for(int i=2;i<=n/m;i++) ans+=M(euler[i]*2); M::init(n); ans*=M::fact[n-2]; cout<<ans.v<<endl; return 0; }