結果
問題 | No.117 組み合わせの数 |
ユーザー | もりを |
提出日時 | 2019-05-02 00:22:09 |
言語 | C++14 (gcc 12.3.0 + boost 1.83.0) |
結果 |
AC
|
実行時間 | 276 ms / 5,000 ms |
コード長 | 4,824 bytes |
コンパイル時間 | 1,420 ms |
コンパイル使用メモリ | 174,332 KB |
実行使用メモリ | 50,236 KB |
最終ジャッジ日時 | 2024-06-10 03:47:38 |
合計ジャッジ時間 | 2,273 ms |
ジャッジサーバーID (参考情報) |
judge3 / judge5 |
(要ログイン)
ソースコード
#include <bits/stdc++.h> using namespace std; typedef long long ll; #define REP(i,n) for(int (i)=0;(i)<(n);++(i)) #define FOR(i,a,b) for(int (i)=(a);(i)<(b);++(i)) #define EACH(e,v) for(auto& e:v) const int MOD = (int)1e9 + 7; template< int MODULO > struct ModInt { using uint32 = uint_fast32_t; using uint64 = uint_fast64_t; uint64 x; ModInt() : x(0) {} ModInt(uint64 y) : x(set(y % MODULO + MODULO)) {} static uint64 set(const uint64 &y) { return (y < MODULO) ? y : y - MODULO; } static ModInt make(const uint64 &y) { ModInt ret = y; return ret; } ModInt operator+(const ModInt &m) const { return make(set(x + m.x)); } ModInt operator-(const ModInt &m) const { return make(set(x + MODULO - m.x)); } ModInt operator*(const ModInt &m) const { return make(x * m.x % MODULO); } ModInt operator/(const ModInt &m) const { return make(x) * ~make(m.x); } ModInt &operator+=(const ModInt &m) { return *this = *this + m; } ModInt &operator-=(const ModInt &m) { return *this = *this - m; } ModInt &operator*=(const ModInt &m) { return *this = *this * m; } ModInt &operator/=(const ModInt &m) { return *this = *this / m; } ModInt &operator^=(const uint64 &y) { return *this = *this ^ y; } ModInt operator~ () const { return *this ^ (MODULO - 2); } ModInt operator- () const { return make(set(MODULO - x)); } ModInt operator! () const { init(uint32(*this)); return fact[uint32(*this)]; } ModInt operator& () const { init(uint32(*this)); return finv[uint32(*this)]; } ModInt operator++() { return *this = make(set(x + 1)); } ModInt operator--() { return *this = make(set(x + MODULO - 1)); } bool operator==(const ModInt &m) const { return x == m.x; } bool operator!=(const ModInt &m) const { return x != m.x; } bool operator< (const ModInt &m) const { return x < m.x; } bool operator<=(const ModInt &m) const { return x <= m.x; } bool operator> (const ModInt &m) const { return x > m.x; } bool operator>=(const ModInt &m) const { return x >= m.x; } explicit operator bool() const { return x; } explicit operator uint64() const { return x; } ModInt operator^(uint64 y) const { uint64 t = x, u = 1; while (y) { if (y & 1) (u *= t) %= MODULO; (t *= t) %= MODULO; y >>= 1; } return make(u); } friend ostream &operator<<(ostream &os, const ModInt< MODULO > &m) { return os << m.x; } friend istream &operator>>(istream &is, ModInt< MODULO > &m) { uint64 y; is >> y; m = make(y); return is; } static vector< ModInt > fact, finv, invs; static void init(uint32 n) { uint32 m = fact.size(); if (n < m) return; fact.resize(n + 1, 1); finv.resize(n + 1, 1); invs.resize(n + 1, 1); if (m == 0) m = 1; for (uint32 i = m; i <= n; ++i) fact[i] = fact[i - 1] * ModInt(i); finv[n] = ModInt(1) / fact[n]; for (uint32 i = n; i >= m; --i) finv[i - 1] = finv[i] * make(i); for (uint32 i = m; i <= n; ++i) invs[i] = finv[i] * fact[i - 1]; } static ModInt C(uint64 n, uint64 r) { if (r == 0) return make(1); if (r < 0) return make(0); if (n < 0) return make(r & 1 ? MODULO - 1 : 1) * C(-n + r - 1, r); if (n == 0 || n < r) return make(0); init(n); return fact[n] * finv[n - r] * finv[r]; } static ModInt P(uint64 n, uint64 r) { if (n < r || r < 0) return make(0); init(n); return fact[n] * finv[n - r]; } static ModInt H(uint64 n, uint64 r) { if (n < 0 || r < 0) return make(0); if (!n && !r) return make(1); init(n + r - 1); return C(n + r - 1, r); } static ModInt montmort(uint32 n) { ModInt res; init(n); for (uint32 k = 2; k <= n; ++k) { if (k & 1) res -= finv[k]; else res += finv[k]; } return res *= fact[n]; } static ModInt LagrangePolynomial(vector<ModInt> &y, ModInt t) { uint32 n = y.size() - 1; if (t.x <= n) return y[t.x]; init(n + 1); ModInt res, num(1); for (uint32 i = 0; i <= n; ++i) num *= t - make(i); for (uint32 i = 0; i <= n; ++i) { ModInt tmp = y[i] * num / (t - make(i)) * finv[i] * finv[n - i]; if ((n - i) & 1) res -= tmp; else res += tmp; } return res; } }; template< int MODULO > vector<ModInt< MODULO >> ModInt< MODULO >::fact = vector<ModInt< MODULO >>(); template< int MODULO > vector<ModInt< MODULO >> ModInt< MODULO >::finv = vector<ModInt< MODULO >>(); template< int MODULO > vector<ModInt< MODULO >> ModInt< MODULO >::invs = vector<ModInt< MODULO >>(); using modint = ModInt< MOD >; signed main() { int T; cin >> T; while (T--) { string S; cin >> S; char c; int n, k; sscanf(S.c_str(), "%c(%d,%d)", &c, &n, &k); switch (c) { case 'C': cout << modint::C(n, k) << endl; break; case 'P': cout << modint::P(n, k) << endl; break; case 'H': cout << modint::H(n, k) << endl; break; } } }