結果
| 問題 | No.829 成長関数インフレ中 | 
| コンテスト | |
| ユーザー |  | 
| 提出日時 | 2019-05-03 23:45:03 | 
| 言語 | C++14 (gcc 13.3.0 + boost 1.87.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';
}
            
            
            
        