結果
問題 | No.665 Bernoulli Bernoulli |
ユーザー | paruki |
提出日時 | 2018-03-10 20:13:26 |
言語 | C++14 (gcc 12.3.0 + boost 1.83.0) |
結果 |
AC
|
実行時間 | 338 ms / 2,000 ms |
コード長 | 3,387 bytes |
コンパイル時間 | 1,741 ms |
コンパイル使用メモリ | 170,104 KB |
実行使用メモリ | 6,820 KB |
最終ジャッジ日時 | 2024-10-14 17:54:38 |
合計ジャッジ時間 | 7,748 ms |
ジャッジサーバーID (参考情報) |
judge3 / judge2 |
(要ログイン)
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | AC | 9 ms
6,816 KB |
testcase_01 | AC | 8 ms
6,816 KB |
testcase_02 | AC | 338 ms
6,816 KB |
testcase_03 | AC | 337 ms
6,816 KB |
testcase_04 | AC | 319 ms
6,820 KB |
testcase_05 | AC | 298 ms
6,820 KB |
testcase_06 | AC | 294 ms
6,820 KB |
testcase_07 | AC | 286 ms
6,820 KB |
testcase_08 | AC | 285 ms
6,820 KB |
testcase_09 | AC | 323 ms
6,816 KB |
testcase_10 | AC | 285 ms
6,816 KB |
testcase_11 | AC | 330 ms
6,816 KB |
testcase_12 | AC | 320 ms
6,816 KB |
testcase_13 | AC | 336 ms
6,820 KB |
testcase_14 | AC | 336 ms
6,820 KB |
testcase_15 | AC | 292 ms
6,816 KB |
testcase_16 | AC | 309 ms
6,816 KB |
testcase_17 | AC | 297 ms
6,816 KB |
testcase_18 | AC | 287 ms
6,816 KB |
ソースコード
#define _USE_MATH_DEFINES #include "bits/stdc++.h" using namespace std; #define FOR(i,j,k) for(int (i)=(j);(i)<(int)(k);++(i)) #define rep(i,j) FOR(i,0,j) #define each(x,y) for(auto &(x):(y)) #define mp make_pair #define MT make_tuple #define all(x) (x).begin(),(x).end() #define debug(x) cout<<#x<<": "<<(x)<<endl #define smax(x,y) (x)=max((x),(y)) #define smin(x,y) (x)=min((x),(y)) #define MEM(x,y) memset((x),(y),sizeof (x)) #define sz(x) (int)(x).size() #define RT return #define vv(a,b,c,d) vector<vector<a> >(b,vector<a>(c,d)) #define vvv(a,b,c,d,e) vector<vector<vector<a> > >(b,vv(a,c,d,e)) using ll = long long; using pii = pair<int, int>; using vi = vector<int>; using vll = vector<ll>; template<int MOD> class ModInt { public: ModInt() :value(0) {} ModInt(long long val) :value((int)(val<0 ? MOD + val%MOD : val%MOD)) { } ModInt& operator+=(ModInt that) { value = value + that.value; if (value >= MOD)value -= MOD; return *this; } ModInt& operator-=(ModInt that) { value -= that.value; if (value<0)value += MOD; return *this; } ModInt& operator*=(ModInt that) { value = (int)((long long)value * that.value % MOD); return *this; } ModInt &operator/=(ModInt that) { return *this *= that.inverse(); } ModInt operator+(ModInt that) const { return ModInt(*this) += that; } ModInt operator-(ModInt that) const { return ModInt(*this) -= that; } ModInt operator*(ModInt that) const { return ModInt(*this) *= that; } ModInt operator/(ModInt that) const { return ModInt(*this) /= that; } ModInt pow(long long k) const { if (value == 0)return 0; ModInt n = *this, res = 1; while (k) { if (k & 1)res *= n; n *= n; k >>= 1; } return res; } ModInt inverse() const { long long a = value, b = MOD, u = 1, v = 0; while (b) { long long t = a / b; a -= t * b; swap(a, b); u -= t * v; swap(u, v); } return ModInt(u); } int toi() const { return value; } private: int value; }; typedef ModInt<1000000007> mint; ostream& operator<<(ostream& os, const mint& x) { os << x.toi(); return os; } namespace comb { const int N = 20000; mint fact[N]; mint rev[N]; void init() { fact[0] = 1; for (int i = 1; i < N; ++i)fact[i] = fact[i - 1] * i; for (int i = 0; i < N; ++i)rev[i] = fact[i].inverse(); } mint C(int n, int r) { if (n < r)return 0; return fact[n] * rev[r] * rev[n - r]; } mint H(int n, int r) { return C(n + r - 1, r); } mint P(int n, int r) { assert(n >= r); return fact[n] * rev[n - r]; } } mint B[10004]; int main() { ios::sync_with_stdio(false); cin.tie(0); cout << fixed << setprecision(20); ll n; int k; cin >> n >> k; comb::init(); B[0] = 1; for (int i = 1; i <= k; ++i) { mint x = 0; for (int j = 0; j < i; ++j) { x += comb::C(i + 1, j)*B[j]; } x *= -1; x /= (i + 1); B[i] = x; } mint ans = 0; for (int j = 0; j <= k; ++j) { ans += comb::C(k + 1, j) * B[j] * mint(n).pow(k+1-j) * mint(-1).pow(j); } ans /= k + 1; cout << ans << endl; }