#813392 (C++23) No.243 出席番号(2)

• 問題: No.243 出席番号(2)
• ユーザー: 👑 rin204
• 提出日時: 2022-11-03 00:06:38
• 言語: C++23 (gcc 12.3.0 + boost 1.83.0)
• 結果: AC
• 実行時間: 35 ms / 2,000 ms
• コード長: 754 bytes
• コンパイル時間: 3,129 ms
• コンパイル使用メモリ: 254,668 KB
• 実行使用メモリ: 6,944 KB
• 最終ジャッジ日時: 2024-07-17 11:48:52
• 合計ジャッジ時間: 4,685 ms
• ジャッジサーバーID （参考情報）: judge5 / judge1

入力	結果	実行時間; 実行使用メモリ
testcase_00	AC	2 ms; 6,816 KB
testcase_01	AC	2 ms; 6,816 KB
testcase_02	AC	2 ms; 6,940 KB
testcase_03	AC	3 ms; 6,940 KB
testcase_04	AC	3 ms; 6,940 KB
testcase_05	AC	2 ms; 6,940 KB
testcase_06	AC	2 ms; 6,944 KB
testcase_07	AC	2 ms; 6,940 KB
testcase_08	AC	4 ms; 6,940 KB
testcase_09	AC	3 ms; 6,944 KB
testcase_10	AC	3 ms; 6,944 KB
testcase_11	AC	2 ms; 6,944 KB
testcase_12	AC	5 ms; 6,940 KB
testcase_13	AC	7 ms; 6,944 KB
testcase_14	AC	4 ms; 6,940 KB
testcase_15	AC	3 ms; 6,944 KB
testcase_16	AC	3 ms; 6,944 KB
testcase_17	AC	11 ms; 6,944 KB
testcase_18	AC	12 ms; 6,940 KB
testcase_19	AC	5 ms; 6,940 KB
testcase_20	AC	4 ms; 6,940 KB
testcase_21	AC	4 ms; 6,944 KB
testcase_22	AC	21 ms; 6,944 KB
testcase_23	AC	17 ms; 6,944 KB
testcase_24	AC	8 ms; 6,940 KB
testcase_25	AC	5 ms; 6,940 KB
testcase_26	AC	3 ms; 6,940 KB
testcase_27	AC	35 ms; 6,940 KB
testcase_28	AC	2 ms; 6,940 KB
testcase_29	AC	2 ms; 6,940 KB
testcase_30	AC	2 ms; 6,940 KB
testcase_31	AC	2 ms; 6,940 KB
testcase_32	AC	2 ms; 6,944 KB

ソースコード

#include<bits/stdc++.h>
#include<atcoder/modint>
using namespace std;
using namespace atcoder;
using mint = modint1000000007;

void solve(){
	int n;
	cin >> n;
	map<int, int> cnt;
	int a;
	for(int i = 0; i < n; i++){
		cin >> a;
		if(a < n) cnt[a]++;
	}
	vector<mint> dp(n + 1, 0);
	dp[0] = 1;
	for(auto tmp:cnt){
		int v = tmp.second;
		for(int i = n; i > 0; i--) dp[i] += dp[i - 1] * v;
	}
	vector<mint> fact(n + 1);
	fact[0] = 1;
	for(int i = 1; i <= n; i++) fact[i] = fact[i - 1] * i;
	
	mint ans = 0;
	mint pm = 1;
	for(int i = 0; i <= n; i++){
		ans += pm * dp[i] * fact[n - i];
		pm *= -1;
	}
	cout << ans.val() << "\n";

}

int main(){
    cin.tie(0)->sync_with_stdio(0);
    int t;
    t = 1;
    // cin >> t;
    while(t--) solve();
}