結果
問題 | No.117 組み合わせの数 |
ユーザー | Taiki0715 |
提出日時 | 2024-09-14 17:59:29 |
言語 | C++23 (gcc 12.3.0 + boost 1.83.0) |
結果 |
AC
|
実行時間 | 112 ms / 5,000 ms |
コード長 | 6,921 bytes |
コンパイル時間 | 5,399 ms |
コンパイル使用メモリ | 313,544 KB |
実行使用メモリ | 26,740 KB |
最終ジャッジ日時 | 2024-09-14 17:59:37 |
合計ジャッジ時間 | 6,131 ms |
ジャッジサーバーID (参考情報) |
judge4 / judge6 |
(要ログイン)
ソースコード
#include <bits/stdc++.h> using namespace std; #if __has_include(<atcoder/all>) #include <atcoder/all> using namespace atcoder; template<int mod>istream &operator>>(istream &is,static_modint<mod> &a){long long b;is>>b;a=b;return is;} istream &operator>>(istream &is,modint &a){long long b;cin>>b;a=b;return is;} #endif using ll=long long; using ull=unsigned long long; using P=pair<ll,ll>; template<typename T>using minque=priority_queue<T,vector<T>,greater<T>>; template<typename T>bool chmax(T &a,const T &b){return (a<b?(a=b,true):false);} template<typename T>bool chmin(T &a,const T &b){return (a>b?(a=b,true):false);} template<typename T1,typename T2>istream &operator>>(istream &is,pair<T1,T2>&p){is>>p.first>>p.second;return is;} template<typename T>istream &operator>>(istream &is,vector<T> &a){for(auto &i:a)is>>i;return is;} template<typename T1,typename T2>void operator++(pair<T1,T2>&a,int n){a.first++,a.second++;} template<typename T1,typename T2>void operator--(pair<T1,T2>&a,int n){a.first--,a.second--;} template<typename T>void operator++(vector<T>&a,int n){for(auto &i:a)i++;} template<typename T>void operator--(vector<T>&a,int n){for(auto &i:a)i--;} #define reps(i,a,n) for(int i=(a);i<int(n);i++) #define rep(i,n) reps(i,0,n) #define all(x) x.begin(),x.end() #define pcnt(x) __builtin_popcountll(x) #define fin(x) return cout<<x<<'\n',static_cast<void>(0) ll myceil(ll a,ll b){return (a+b-1)/b;} template<typename T,size_t n,size_t id=0> auto vec(const int (&d)[n],const T &init=T()){ if constexpr (id<n)return vector(d[id],vec<T,n,id+1>(d,init)); else return init; } #ifdef LOCAL #include<debug.h> #else #define debug(...) static_cast<void>(0) #define debugg(...) static_cast<void>(0) template<typename T1,typename T2>ostream &operator<<(ostream &os,const pair<T1,T2>&p){os<<p.first<<' '<<p.second;return os;} #endif void SOLVE(); int main(){ ios::sync_with_stdio(false); cin.tie(nullptr); cout<<fixed<<setprecision(16); #ifdef LOCAL clock_t start=clock(); #endif int testcase=1; cin>>testcase; for(int i=0;i<testcase;i++){ SOLVE(); } #ifdef LOCAL cerr<<"time:"; cerr<<(clock()-start)/1000; cerr<<"ms\n"; #endif } template<int m> struct mod_int{ private: using uint=unsigned int; using mint=mod_int; uint v; static_assert(m<uint(1)<<31); public: mod_int():v(0){} mod_int(ll a){ a%=m; if(a<0)v=a+m; else v=a; } static mint raw(int a){ mint ret; ret.v=a; return ret; } inline uint val()const{return this->v;} static constexpr int mod(){return m;} inline mint &operator+=(const mint &b){ this->v+=b.v; if(this->v>=m)this->v-=m; return *this; } inline mint &operator-=(const mint &b){ this->v-=b.v; if(this->v>=m)this->v+=m; return *this; } inline mint &operator*=(const mint &b){ this->v=(uint64_t(this->v)*uint64_t(b.v))%m; return *this; } inline mint &operator/=(const mint &b){ *this*=b.inv(); return *this; } inline mint operator+()const{return *this;} inline mint operator-()const{return mint()-*this;} friend inline mint operator+(const mint &a,const mint &b){return mint(a)+=b;} friend inline mint operator-(const mint &a,const mint &b){return mint(a)-=b;} friend inline mint operator*(const mint &a,const mint &b){return mint(a)*=b;} friend inline mint operator/(const mint &a,const mint &b){return mint(a)/=b;} friend inline bool operator==(const mint &a,const mint &b){return a.val()==b.val();} friend inline bool operator!=(const mint &a,const mint &b){return !(a==b);} inline mint operator++(int){ mint ret=*this; *this+=1; return ret; } inline mint operator--(int){ mint ret=*this; *this-=1; return ret; } mint pow(ll n)const{ mint ret=1,a(*this); while(n){ if(n&1)ret*=a; a*=a; n>>=1; } return ret; } inline mint inv()const{ assert(this->v!=0); return pow(m-2); } mint sqrt()const{ if(this->val()<=1)return *this; if constexpr(m%8==1){ mint b=2; while(b.pow((m-1)/2).val()==1)b++; int m2=m-1,e=0; while(m2%2==0)m2>>=1,e++; mint x=this->pow((m2-1)/2); mint y=(*this)*x*x; x*=*this; mint z=b.pow(m2); while(y.val()!=1){ int j=0; mint t=y; while(t.val()!=1)t*=t,j++; z=z.pow(1<<(e-j-1)); x*=z; z*=z; y*=z;e=j; } return x; } else if constexpr(m%8==5){ mint ret=this->pow((m+3)/8); if((ret*ret).val()==this->val())return ret; else return ret*mint::raw(2).pow((m-1)/4); } else{ return this->pow((m+1)/4); } } pair<bool,mint> safe_sqrt()const{ if(this->pow((m-1)/2)==1)return make_pair(true,this->sqrt()); else return make_pair(false,0); } friend istream &operator>>(istream &is,mint &b){ ll a; is>>a; b=mint(a); return is; } friend ostream &operator<<(ostream &os,const mint &b){ os<<b.val(); return os; } }; using mint998=mod_int<998244353>; using mint107=mod_int<1000000007>; template<typename T> struct F{ private: static int capacity; static vector<T>fact,factinv,inv; static void resize(int n){ fact.resize(n+1),factinv.resize(n+1),inv.resize(n+1); for(int i=capacity+1;i<=n;i++){ fact[i]=fact[i-1]*i; inv[i]=-inv[T::mod()%i]*(T::mod()/i); factinv[i]=factinv[i-1]*inv[i]; } capacity=n; } public: static T C(int n,int k){ if(n<k)return 0; if(k<0)return 0; if(capacity<n)resize(n); return fact[n]*factinv[k]*factinv[n-k]; } static T P(int n,int k){ if(n<k)return 0; if(k<0)return 0; if(capacity<n)resize(n); return fact[n]*factinv[n-k]; } static T H(int n,int k){ if(n==0&&k==0)return 1; return C(n+k-1,k); } static T factorial(int n){ if(capacity<n)resize(n); return fact[n]; } static T S(ll n,int k){ if(n<0)return 0; if(n<k)return 0; T ret=0; if(capacity<k)resize(k); rep(i,k+1){ ret+=fact[k]*factinv[i]*factinv[k-i]*T::raw(i).pow(n)*((k-i)&1?-1:1); } return ret*factinv[k]; } template<typename... INT> static T O(INT...k){ int n=0; for(int i:initializer_list<int>{k...}){ if(i<0)return 0; n+=i; } if(capacity<n)resize(n); T ret=fact[n]; for(int i:initializer_list<int>{k...})ret*=factinv[i]; return ret; } }; template<typename T>int F<T>::capacity=1; template<typename T>vector<T>F<T>::fact{1,1}; template<typename T>vector<T>F<T>::factinv{1,1}; template<typename T>vector<T>F<T>::inv{0,1}; using mint=mint107; void SOLVE(){ string s; cin>>s; int p=find(all(s),',')-s.begin(); debug(s.substr(2,p-2),s.substr(p+1,s.size()-1-p-1)); int n=stoi(s.substr(2,p-2)),k=stoi(s.substr(p+1,s.size()-1-p-1)); if(s[0]=='C')cout<<F<mint>::C(n,k)<<'\n'; else if(s[0]=='H')cout<<F<mint>::H(n,k)<<'\n'; else cout<<F<mint>::P(n,k)<<'\n'; }