結果
| 問題 |
No.829 成長関数インフレ中
|
| コンテスト | |
| ユーザー |
chocorusk
|
| 提出日時 | 2019-05-03 23:10:05 |
| 言語 | C++11(廃止可能性あり) (gcc 13.3.0) |
| 結果 |
AC
|
| 実行時間 | 69 ms / 2,000 ms |
| コード長 | 1,877 bytes |
| コンパイル時間 | 1,079 ms |
| コンパイル使用メモリ | 99,340 KB |
| 実行使用メモリ | 18,580 KB |
| 最終ジャッジ日時 | 2024-12-31 19:03:12 |
| 合計ジャッジ時間 | 2,690 ms |
|
ジャッジサーバーID (参考情報) |
judge2 / judge1 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| other | AC * 22 |
ソースコード
#include <cstdio>
#include <cstring>
#include <iostream>
#include <string>
#include <cmath>
#include <bitset>
#include <vector>
#include <map>
#include <set>
#include <queue>
#include <deque>
#include <algorithm>
#include <complex>
#include <unordered_map>
#include <unordered_set>
#include <random>
#include <cassert>
#include <fstream>
#define popcount __builtin_popcount
using namespace std;
typedef long long int ll;
typedef pair<int, int> P;
const ll MOD=1e9+7;
ll powmod(ll a, ll k){
ll ap=a, ans=1;
while(k){
if(k&1){
ans*=ap;
ans%=MOD;
}
ap=ap*ap;
ap%=MOD;
k>>=1;
}
return ans;
}
ll inv(ll a){
return powmod(a, MOD-2);
}
ll f[1500001], invf[1500001];
void fac(int n){
f[0]=1;
for(ll i=1; i<=n; i++) f[i]=f[i-1]*i%MOD;
invf[n]=inv(f[n]);
for(ll i=n-1; i>=0; i--) invf[i]=invf[i+1]*(i+1)%MOD;
}
ll comb(int x, int y){
if(x<y) return 0;
return f[x]*invf[y]%MOD*invf[x-y]%MOD;
}
int n;
ll B;
int c[200010];
ll a[200010], b[200010];
int main()
{
cin>>n>>B;
for(int i=0; i<n; i++){
int s; cin>>s;
c[s]++;
}
int s=0;
fac(n);
for(int i=n-1; i>=0; i--){
if(c[i]==0){
a[i]=0, b[i]=1;
continue;
}
ll x=f[s+c[i]]*invf[s]%MOD;
if(s==0) b[i]=0;
else b[i]=f[s+c[i]-1]*invf[s-1]%MOD;
a[i]=(x-b[i]+MOD)%MOD;
s+=c[i];
}
ll p=B;
ll d[200020];
ll p1[200020], p2[200020];
for(int i=0; i<n; i++){
d[i]=a[i]*B+b[i];
d[i]%=MOD;
}
p1[0]=1;
for(int i=0; i<n; i++){
p1[i+1]=p1[i]*d[i]%MOD;
}
p2[n]=1;
for(int i=n-1; i>=0; i--){
p2[i]=p2[i+1]*d[i]%MOD;
}
ll ans=0;
for(int i=0; i<n; i++){
ans+=p1[i]*p2[i+1]%MOD*a[i]%MOD;
ans%=MOD;
}
cout<<ans*B%MOD<<endl;
return 0;
}
chocorusk