結果
| 問題 |
No.140 みんなで旅行
|
| コンテスト | |
| ユーザー |
|
| 提出日時 | 2023-10-31 12:30:28 |
| 言語 | C++17 (gcc 13.3.0 + boost 1.87.0) |
| 結果 |
AC
|
| 実行時間 | 36 ms / 5,000 ms |
| コード長 | 2,595 bytes |
| コンパイル時間 | 1,220 ms |
| コンパイル使用メモリ | 103,524 KB |
| 最終ジャッジ日時 | 2025-02-17 17:09:15 |
|
ジャッジサーバーID (参考情報) |
judge1 / judge1 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| sample | AC * 3 |
| other | AC * 19 |
ソースコード
#include<iostream>
#include<set>
#include<algorithm>
#include<vector>
#include<string>
#include<set>
#include<map>
#include<stack>
#include<numeric>
#include<queue>
#include<cmath>
#include<deque>
using namespace std;
typedef long long ll;
const ll INF=1LL<<60;
typedef pair<int,int> P;
typedef pair<int,P> PP;
const ll MOD=1e9+7;
//xのy乗
ll mod_pow(ll x,ll y,ll mod){
ll power=x;
ll ret = 1;
while(y>0){
if(y&1){
ret = ret*power%mod;
}
power = power*power%mod;
y = y>>1;
}
return ret;
}
struct combination{
typedef long long ll;
std::vector<ll> fact,ifact;
combination(ll n): fact(n+1),ifact(n+1){
fact[0]=1;//0!=1通り
for(ll i=1;i<=n;i++) fact[i] = fact[i-1]*i%MOD;
//ifact[n] = fact[n].inv();
// n!の逆元がifact[n]
ifact[n] = mod_pow(fact[n],MOD-2,MOD);// n!を(mod-2)乗した後でmodであまりをとった
for(ll i=n;i>=1;i--) ifact[i-1] = ifact[i]*i%MOD;
}
ll operator()(ll n,ll k){
if(k<0 || k>n) return 0;
// n!/( k!*(n-k)! )
return (fact[n]*ifact[k])%MOD * ifact[n-k]%MOD;
}
};
combination comb(1000000);
struct Stirling{
vector<vector<ll>> S;
Stirling(int MAX):S(MAX+1,vector<ll>(MAX+1,0)){
for(int k=1;k<=MAX;k++){
S[k][1]=1;
}
for(int n=2;n<=MAX;n++){
for(int k=2;k<=n;k++){
S[n][k]=S[n-1][k-1] + k*S[n-1][k]%MOD;
S[n][k]%=MOD;
}
}
}
ll get(ll n,ll k){
if(n<0 || k<0 || n<k) return 0;
else return S[n][k];
}
};
int main(){
ll N;
cin>>N;
Stirling stir(600);
/*
kグループに分かれるとする
グループ分けのときにばらけない夫婦がn組
ばらける夫婦が N-n組
ばらけない夫婦の通り数が NCn
こいつらでkグループを構成するが,kグループの中で空のグループがあってはいけない
かつ kグループは区別をつけないで スターリング数S(n,k)
ばらける夫婦の通り数.k個のグループあるけど,同じグループになってはいけないのでk*(k-1)通り
(k(k-1))^(N-n)
*/
ll ans=0;
for(int k=1;k<=N;k++){
for(int n=0;n<=N;n++){
ll res=comb(N,n);
res*=stir.get(n,k);
res%=MOD;
res*=mod_pow(k*(k-1)%MOD, N-n,MOD);
ans+=res;
ans%=MOD;
}
}
cout<<ans<<endl;
}