結果
問題 | No.665 Bernoulli Bernoulli |
ユーザー | CleyL |
提出日時 | 2023-11-07 19:45:10 |
言語 | C++17 (gcc 12.3.0 + boost 1.83.0) |
結果 |
TLE
|
実行時間 | - |
コード長 | 2,597 bytes |
コンパイル時間 | 735 ms |
コンパイル使用メモリ | 73,600 KB |
実行使用メモリ | 10,752 KB |
最終ジャッジ日時 | 2024-09-25 23:26:06 |
合計ジャッジ時間 | 4,349 ms |
ジャッジサーバーID (参考情報) |
judge1 / judge2 |
(要ログイン)
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | AC | 3 ms
10,752 KB |
testcase_01 | AC | 2 ms
5,376 KB |
testcase_02 | TLE | - |
testcase_03 | -- | - |
testcase_04 | -- | - |
testcase_05 | -- | - |
testcase_06 | -- | - |
testcase_07 | -- | - |
testcase_08 | -- | - |
testcase_09 | -- | - |
testcase_10 | -- | - |
testcase_11 | -- | - |
testcase_12 | -- | - |
testcase_13 | -- | - |
testcase_14 | -- | - |
testcase_15 | -- | - |
testcase_16 | -- | - |
testcase_17 | -- | - |
testcase_18 | -- | - |
ソースコード
#include <iostream> #include <vector> using namespace std; const long long MOD = 1000000007; template <long long mod> struct ModInt{ int n; ModInt():n(0){} ModInt(int n_):n(n_ >= 0 ? n_%mod : mod - ((-n_)%mod) ){} ModInt &operator+=(const ModInt &p){ if((n+=p.n) >= mod)n-=mod; return *this; } ModInt &operator-=(const ModInt &p){ n+=mod-p.n; if(n >= mod)n-=mod; return *this; } ModInt &operator*=(const ModInt &p){ n = (long long) ((1LL*n*p.n)%mod); return *this; } ModInt &operator/=(const ModInt &p){ *this *= p.inverse(); return *this; } ModInt operator-() const {return ModInt(-n);} ModInt operator+(const ModInt &p) const {return ModInt(*this) += p;} ModInt operator-(const ModInt &p) const {return ModInt(*this) -= p;} ModInt operator*(const ModInt &p) const {return ModInt(*this) *= p;} ModInt operator/(const ModInt &p) const {return ModInt(*this) /= p;} bool operator==(const ModInt &p) const {return n==p.n;} bool operator<(const ModInt &p) const {return n<p.n;} bool operator>(const ModInt &p) const {return n>p.n;} bool operator>=(const ModInt &p) const {return n>=p.n;} bool operator<=(const ModInt &p) const {return n<=p.n;} bool operator!=(const ModInt &p) const {return n!=p.n;} ModInt inverse() const { long long a = n,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); } ModInt pow(int64_t z) const { ModInt ret(1),mul(n); while(z > 0){ if(z & 1) ret *= mul; mul *= mul; z >>= 1; } return ret; } friend ostream &operator<<(ostream &os, const ModInt &p){ return os << p.n; } friend istream &operator>>(istream &is, ModInt &a){ int64_t t; is >> t; a = ModInt<mod> (t); return (is); } }; using mint = ModInt<MOD>; template <typename T> T uPow(T z,T n, T mod){ T ans = 1; while(n != 0){ if(n%2){ ans*=z; if(mod)ans%=mod; } n >>= 1; z*=z; if(mod)z%=mod; } return ans; } bool hasmemo[20000]; mint memo[20000]; mint solve(long long m,long long n){ if(m == 0)return n; if(m == 1){ mint x = (mint)n*(n+1)/2; return x; } if(hasmemo[m])return memo[m]; mint ans = uPow((long long)n+1,(long long)m+1,MOD); ans = ans-1; mint nwc = m*(m+1)/2; for(int i = 1; m >= i; i++){ ans -= solve(m-i,n)*nwc; nwc = nwc*(mint)(m-i)/(mint)(i+2); } ans /= (m+1); hasmemo[m] = true; return memo[m] = ans; } int main(){ long long m,n;cin>>n>>m;n%=MOD; cout << solve(m,n); }