結果
| 問題 |
No.117 組み合わせの数
|
| ユーザー |
|
| 提出日時 | 2019-05-02 00:22:09 |
| 言語 | C++14 (gcc 13.3.0 + boost 1.87.0) |
| 結果 |
AC
|
| 実行時間 | 291 ms / 5,000 ms |
| コード長 | 4,824 bytes |
| コンパイル時間 | 1,970 ms |
| コンパイル使用メモリ | 173,060 KB |
| 実行使用メモリ | 53,436 KB |
| 最終ジャッジ日時 | 2024-12-31 12:47:21 |
| 合計ジャッジ時間 | 2,760 ms |
|
ジャッジサーバーID (参考情報) |
judge2 / judge1 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| other | AC * 1 |
ソースコード
#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;
}
}
}