結果
| 問題 | No.665 Bernoulli Bernoulli | 
| コンテスト | |
| ユーザー |  gazelle | 
| 提出日時 | 2018-03-09 23:52:58 | 
| 言語 | C++14 (gcc 13.3.0 + boost 1.87.0) | 
| 結果 | 
                                AC
                                 
                             | 
| 実行時間 | 320 ms / 2,000 ms | 
| コード長 | 1,633 bytes | 
| コンパイル時間 | 1,197 ms | 
| コンパイル使用メモリ | 104,636 KB | 
| 実行使用メモリ | 5,248 KB | 
| 最終ジャッジ日時 | 2024-10-10 20:56:19 | 
| 合計ジャッジ時間 | 8,380 ms | 
| ジャッジサーバーID (参考情報) | judge3 / judge2 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| sample | AC * 4 | 
| other | AC * 15 | 
ソースコード
#include<iostream>
#include<iomanip>
#include<math.h>
#include<vector>
#include<algorithm>
#include<set>
#include<map>
#include<queue>
#include<stack>
#include<string>
#include<bitset>
#include<random>
#include<time.h>
#define INF 1000000000ll
#define MOD 1000000007ll
#define EPS 1e-10
#define REP(i,m) for(long long i=0; i<m; i++)
#define FOR(i,n,m) for(long long i=n; i<m; i++)
#define DUMP(a) for(long long dump=0; dump<(ll)a.size(); dump++) { cout<<a[dump]; if(dump!=(ll)a.size()-1) cout<<" "; else cout<<endl; }
#define ALL(v) v.begin(),v.end()
#define pb push_back
using namespace std;
typedef long long ll;
typedef pair<ll, ll> P;
typedef long double ld;
ll _pow(ll a, ll n) {
	if(n==0) return 1;
	else {
		ll res = 1;
		ll buf = a;
		while(n>0) {
			if(n%2==1) {
				res *= buf;
				res %= MOD;
			}
			buf *= buf;
			buf %= MOD;
			n/=2;
		}
		return res;
	}
}
int main() {
	cin.tie(0);
	ios::sync_with_stdio(false);
	ll n,k;
	cin>>n>>k;
	n%=MOD;
	vector<ll> fac(10010);
	vector<ll> revfac(10010);
	ll buf=1;
	REP(i,10010) {
		if(i!=0) {
			buf*=i;
			buf%=MOD;
		}
		fac[i]=buf;
		revfac[i]=_pow(buf,MOD-2);
	}
	vector<ll> ber(10010,0);
	ber[0]=fac[10009];
	FOR(i,1,10010) {
		REP(j,i) {
			if(j%2==i%2) ber[i]-=((fac[i+1]*revfac[i+1-j])%MOD*revfac[j])%MOD*ber[j];
			else ber[i]+=((fac[i+1]*revfac[i+1-j])%MOD*revfac[j])%MOD*ber[j];
			ber[i]%=MOD;
		}
		ber[i]*=_pow(i+1,MOD-2);
		ber[i]%=MOD;
	}
	ll ans=0;
	REP(i,k+1) {
		ans+=(((_pow(n,(k+1)-i)*fac[k+1])%MOD*revfac[k+1-i])%MOD*revfac[i])%MOD*ber[i];
		ans%=MOD;
	}
	ans*=_pow(k+1,MOD-2);
	ans%=MOD;
	ans*=revfac[10009];
	ans=(ans%MOD+MOD)%MOD;
	cout<<ans<<endl;
}
            
            
            
        