結果
問題 | No.243 出席番号(2) |
ユーザー |
![]() |
提出日時 | 2022-03-06 18:07:50 |
言語 | C++14 (gcc 13.3.0 + boost 1.87.0) |
結果 |
RE
|
実行時間 | - |
コード長 | 758 bytes |
コンパイル時間 | 4,182 ms |
コンパイル使用メモリ | 231,436 KB |
実行使用メモリ | 6,944 KB |
最終ジャッジ日時 | 2024-07-21 03:58:45 |
合計ジャッジ時間 | 4,986 ms |
ジャッジサーバーID (参考情報) |
judge1 / judge3 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
sample | AC * 3 |
other | AC * 27 RE * 3 |
ソースコード
#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(N);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();}