結果
| 問題 | No.829 成長関数インフレ中 |
| コンテスト | |
| ユーザー |
|
| 提出日時 | 2019-05-03 23:45:03 |
| 言語 | C++14 (gcc 13.3.0 + boost 1.89.0) |
| 結果 |
AC
|
| 実行時間 | 82 ms / 2,000 ms |
| コード長 | 1,735 bytes |
| 記録 | |
| コンパイル時間 | 1,126 ms |
| コンパイル使用メモリ | 88,868 KB |
| 実行使用メモリ | 8,816 KB |
| 最終ジャッジ日時 | 2024-12-31 19:16:53 |
| 合計ジャッジ時間 | 2,697 ms |
|
ジャッジサーバーID (参考情報) |
judge3 / judge1 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| other | AC * 22 |
ソースコード
#include <iostream>
#include <algorithm>
#include <vector>
#include <string>
#include <complex>
#define REP(i, n) for (int i = 0; i < (n); i++)
using namespace std;
const int MOD = 1e9 + 7;
struct mint {
int n;
mint(int n_ = 0) : n(n_) {}
};
mint operator+(mint a, mint b) { a.n += b.n; if (a.n >= MOD) a.n -= MOD; return a; }
mint operator-(mint a, mint b) { a.n -= b.n; if (a.n < 0) a.n += MOD; return a; }
mint operator*(mint a, mint b) { return (long long)a.n * b.n % MOD; }
mint &operator+=(mint &a, mint b) { return a = a + b; }
mint &operator-=(mint &a, mint b) { return a = a - b; }
mint &operator*=(mint &a, mint b) { return a = a * b; }
mint modpow(mint a, long long b) {
mint res = 1;
while (b > 0) {
if (b & 1) res *= a;
a *= a;
b >>= 1;
}
return res;
}
mint F[200001] = {1, 1};
mint R[200001] = {1, 1};
mint I[200001] = {0, 1};
mint C(int n, int r) {
if (n < 0 || r < 0 || n < r) return 0;
return F[n] * R[n - r] * R[r];
}
void init() {
for (int i = 2; i <= 200000; i++) {
I[i] = I[MOD % i] * (MOD - MOD / i);
F[i] = F[i - 1] * i;
R[i] = R[i - 1] * I[i];
}
}
int main() {
init();
int N, R;
cin >> N >> R;
vector<int> S(N);
REP(i, N) cin >> S[i];
sort(S.rbegin(), S.rend());
int i = 0;
vector<mint> A, B;
while (i < N) {
int j = i;
while (i < N && S[i] == S[j]) i++;
A.push_back(F[i - j] * C(i-j + j-1, i-j));
B.push_back(F[i - j] * C(i-j-1 + j, j));
}
vector<mint> dp0(A.size() + 1);
vector<mint> dp1(A.size() + 1);
dp0[0] = R;
for (int i = 0; i < A.size(); i++) {
dp0[i+1] += dp0[i] * (A[i] + R*B[i]);
dp1[i+1] += dp0[i] * B[i];
dp1[i+1] += dp1[i] * (A[i] + R*B[i]);
}
cout << dp1[A.size()].n << '\n';
}