結果

問題 No.243 出席番号(2)
ユーザー kakira9618
提出日時 2022-03-06 18:18:54
言語 C++14
(gcc 13.3.0 + boost 1.87.0)
結果
AC  
実行時間 49 ms / 2,000 ms
コード長 761 bytes
コンパイル時間 3,741 ms
コンパイル使用メモリ 230,420 KB
実行使用メモリ 5,376 KB
最終ジャッジ日時 2024-07-21 04:04:57
合計ジャッジ時間 5,186 ms
ジャッジサーバーID
（参考情報） 		judge3 / judge2
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 3
other AC * 30
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <bits/stdc++.h>
using namespace std;

#include <atcoder/all>
using namespace atcoder;
using mint = modint1000000007;

void solve() {
    int N; cin >> N; 
    vector<int> cnt(5001);
    for (int i = 0; i < N; i++) {
        int x; cin >> x; cnt[x]++;
    }

    vector<mint> fact(100000);
    fact[0] = 1;
    for (int i = 1; i < 100000; i++) {
        fact[i] = fact[i - 1] * i;
    }

    vector<mint> dp(N + 1);
    dp[0] = 1;

    for (int i = 0; i < N; i++) {
        for (int j = N - 1; j >= 0; j--) {
            dp[j + 1] += dp[j] * cnt[i];
        }
    }

    mint ans = fact[N];
    for (int i = 1; i <= N; i++) {
        ans += (i % 2 == 1 ? -1 : 1) * dp[i] * fact[N - i];
    }
    cout << ans.val() << endl;
}

int main() {
    solve();
}
0