結果
| 問題 | No.665 Bernoulli Bernoulli | 
| コンテスト | |
| ユーザー |  | 
| 提出日時 | 2018-03-10 04:02:59 | 
| 言語 | C++17 (gcc 13.3.0 + boost 1.87.0) | 
| 結果 | 
                                AC
                                 
                             | 
| 実行時間 | 568 ms / 2,000 ms | 
| コード長 | 1,508 bytes | 
| コンパイル時間 | 3,125 ms | 
| コンパイル使用メモリ | 216,304 KB | 
| 最終ジャッジ日時 | 2025-01-05 09:14:01 | 
| ジャッジサーバーID (参考情報) | judge4 / judge3 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| sample | AC * 4 | 
| other | AC * 15 | 
ソースコード
#pragma GCC optimize "O3"
#pragma GCC target "tune=native"
#pragma GCC target "avx"
#define NDEBUG 1
#include <bits/stdc++.h>
using namespace std;
using ll = long long;
constexpr ll MOD = 1000000007LL;
constexpr int MAX = 10000;
int K;
ll ys[MAX + 2];
ll power(const ll p, const int n)
{
    if (n == 0) {
        return 1;
    }
    if (n % 2 == 1) {
        return power(p, n - 1) * p % MOD;
    } else {
        const ll pp = power(p, n / 2);
        return pp * pp % MOD;
    }
}
inline ll inverse(const ll p)
{
    return power(p, MOD - 2);
}
inline ll minu(const ll a, const ll b) { return (a >= b ? a - b : a + MOD - b); }
inline ll LagrangeInterpolation(const ll x)
{
    ll n = 1;
    for (ll i = 0; i <= K + 1; i++) {
        (n *= x - i) %= MOD;
    }
    ll ans = 0;
    for (ll i = 0; i <= K + 1; i++) {
        ll d = 1;
        for (ll j = 0; j <= K + 1; j++) {
            if (i == j) {
                continue;
            }
            (d *= minu(i, j)) %= MOD;
        }
        (ans += (n * inverse(x - i) % MOD) * (inverse(d) * ys[i] % MOD) % MOD) %= MOD;
    }
    return ans;
}
int main()
{
    ll N;
    cin >> N >> K;
    N %= MOD;
    if (N == 0) {
        cout << 0 << endl;
    } else {
        for (int i = 1; i <= K + 1; i++) {
            ys[i] = (ys[i - 1] + power(i, K)) % MOD;
            if (i == N) {
                cout << ys[i] << endl;
                return 0;
            }
        }
        cout << LagrangeInterpolation(N) << endl;
    }
    return 0;
}
            
            
            
        