結果

問題 No.243 出席番号(2)
ユーザー koba-e964
提出日時 2017-01-06 14:39:12
言語 C++11（廃止可能性あり）
(gcc 13.3.0)
結果
AC  
実行時間 42 ms / 2,000 ms
コード長 984 bytes
コンパイル時間 618 ms
コンパイル使用メモリ 63,836 KB
実行使用メモリ 6,824 KB
最終ジャッジ日時 2024-12-17 14:27:54
合計ジャッジ時間 2,234 ms
ジャッジサーバーID
（参考情報） 		judge1 / judge4
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 3
other AC * 30
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <algorithm>
#include <iostream>
#include <vector>

#define REP(i,s,n) for(int i=(int)(s);i<(int)(n);i++)

using namespace std;
typedef long long int ll;
typedef vector<int> VI;
typedef vector<ll> VL;
const ll mod = 1e9 + 7;

const int W = 10000;
ll fact[W];
// \sum_{S, |S| = v} \prod{i in S} kind[i]
vector<ll> comb(const VI &kind) {
  int n = kind.size();
  VL ret(n + 1);
  ret[0] = 1;
  REP(b, 0, n) {
    for (int i = n - 1; i >= 0; --i) {
      ret[i + 1] += ret[i] * kind[b];
      ret[i + 1] %= mod;
    }
  }
  return ret;
}

int main(void){
  int n;
  cin >> n;
  VI a(n);
  VI kind(n);
  REP(i, 0, n) {
    cin >> a[i];
    if (a[i] < n) {
      kind[a[i]]++;
    }
  }
  fact[0] = 1;
  REP(i, 1, W) {
    fact[i] = fact[i - 1] * i % mod;
  }
  ll sum = 0;
  VL cb = comb(kind);
  REP(i, 0, n + 1) {
    ll tmp = fact[n - i];
    if (i % 2 == 1) {
      tmp = (mod - tmp) % mod;
    }
    tmp *= cb[i];
    sum += tmp;
    sum %= mod;
  }
  cout << sum << endl;
}
0