結果
問題 |
No.243 出席番号(2)
|
ユーザー |
|
提出日時 | 2023-10-23 16:30:01 |
言語 | C++17 (gcc 13.3.0 + boost 1.87.0) |
結果 |
AC
|
実行時間 | 26 ms / 2,000 ms |
コード長 | 1,293 bytes |
コンパイル時間 | 4,007 ms |
コンパイル使用メモリ | 252,720 KB |
最終ジャッジ日時 | 2025-02-17 13:18:41 |
ジャッジサーバーID (参考情報) |
judge5 / judge1 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
sample | AC * 3 |
other | AC * 30 |
ソースコード
#include <bits/stdc++.h> #include <atcoder/all> using namespace std; using namespace atcoder; struct Fast { Fast() { std::cin.tie(nullptr); ios::sync_with_stdio(false); cout << setprecision(10); } } fast; #define all(a) (a).begin(), (a).end() #define contains(a, x) ((a).find(x) != (a).end()) #define rep(i, a, b) for (int i = (a); i < (int)(b); i++) #define rrep(i, a, b) for (int i = (int)(b)-1; i >= (a); i--) #define writejoin(s, a) rep(_i, 0, (a).size()) cout << (a)[_i] << (_i + 1 < (int)(a).size() ? s : "\n"); #define YN(b) cout << ((b) ? "YES" : "NO") << "\n"; #define Yn(b) cout << ((b) ? "Yes" : "No") << "\n"; #define yn(b) cout << ((b) ? "yes" : "no") << "\n"; using ll = long long; using vi = vector<int>; using vvi = vector<vi>; using vl = vector<ll>; using mint = modint998244353; using vm = vector<mint>; void solve() { int n; cin >> n; vi c(n, 0); rep(i, 0, n) { int a; cin >> a; if (a < n) c[a]++; } vector<modint1000000007> dp(n + 1, 0); dp[0] = 1; rep(i, 0, n) rrep(j, 0, i + 1) dp[j + 1] += dp[j] * c[i]; modint1000000007 ans = 0, f = 1; for (int i = n; i >= 0; i--, f *= n - i) ans += (1 - (i & 1) * 2) * dp[i] * f; cout << ans.val() << endl; } int main() { int t = 1; // cin >> t; while (t--) solve(); }