結果

問題 No.243 出席番号(2)
ユーザー 👑 rin204rin204
提出日時 2022-11-03 00:06:38
言語 C++23
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 33 ms / 2,000 ms
コード長 754 bytes
コンパイル時間 2,978 ms
コンパイル使用メモリ 252,828 KB
実行使用メモリ 4,380 KB
最終ジャッジ日時 2023-09-24 10:56:53
合計ジャッジ時間 4,654 ms
ジャッジサーバーID
（参考情報） 		judge12 / judge11
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 1 ms
4,380 KB
testcase_01 AC 1 ms
4,376 KB
testcase_02 AC 2 ms
4,376 KB
testcase_03 AC 2 ms
4,380 KB
testcase_04 AC 2 ms
4,380 KB
testcase_05 AC 1 ms
4,376 KB
testcase_06 AC 2 ms
4,376 KB
testcase_07 AC 2 ms
4,376 KB
testcase_08 AC 4 ms
4,380 KB
testcase_09 AC 2 ms
4,376 KB
testcase_10 AC 2 ms
4,376 KB
testcase_11 AC 2 ms
4,376 KB
testcase_12 AC 4 ms
4,376 KB
testcase_13 AC 7 ms
4,376 KB
testcase_14 AC 4 ms
4,376 KB
testcase_15 AC 2 ms
4,380 KB
testcase_16 AC 3 ms
4,380 KB
testcase_17 AC 10 ms
4,380 KB
testcase_18 AC 11 ms
4,376 KB
testcase_19 AC 5 ms
4,376 KB
testcase_20 AC 3 ms
4,376 KB
testcase_21 AC 3 ms
4,376 KB
testcase_22 AC 19 ms
4,376 KB
testcase_23 AC 16 ms
4,380 KB
testcase_24 AC 7 ms
4,376 KB
testcase_25 AC 4 ms
4,380 KB
testcase_26 AC 3 ms
4,376 KB
testcase_27 AC 33 ms
4,380 KB
testcase_28 AC 2 ms
4,380 KB
testcase_29 AC 2 ms
4,380 KB
testcase_30 AC 1 ms
4,380 KB
testcase_31 AC 1 ms
4,380 KB
testcase_32 AC 2 ms
4,376 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#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();
}
0