結果
| 問題 |
No.243 出席番号(2)
|
| ユーザー |
|
| 提出日時 | 2017-03-16 15:50:07 |
| 言語 | C++14 (gcc 13.3.0 + boost 1.87.0) |
| 結果 |
AC
|
| 実行時間 | 61 ms / 2,000 ms |
| コード長 | 953 bytes |
| コンパイル時間 | 1,425 ms |
| コンパイル使用メモリ | 167,968 KB |
| 実行使用メモリ | 6,944 KB |
| 最終ジャッジ日時 | 2024-07-04 02:39:07 |
| 合計ジャッジ時間 | 3,003 ms |
|
ジャッジサーバーID (参考情報) |
judge2 / judge1 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| sample | AC * 3 |
| other | AC * 30 |
ソースコード
#include <bits/stdc++.h>
using namespace std;
const int MOD = ( int ) 1e9 + 7;
const int MAXN = 5000;
int fact[ MAXN + 1 ];
int N;
int A[ MAXN ];
int cnt[ MAXN ];
int dp[ 2 ][ MAXN + 1 ];
signed main(){
{
for( int i = fact[ 0 ] = 1; i <= MAXN; ++i ){
fact[ i ] = 1LL * fact[ i - 1 ] * i % MOD;
}
}
ios::sync_with_stdio( 0 );
cin >> N;
for( int i = 0; i < N; ++i ){
cin >> A[ i ];
++cnt[ A[ i ] ];
}
dp[ 0 ][ 0 ] = 1;
for( int i = 0; i < N; ++i ){
for( int j = 0; j <= i + 1; ++j ){
dp[ ~i & 1 ][ j ] = 0;
}
for( int j = 0; j <= i; ++j ){
( dp[ ~i & 1 ][ j ] += dp[ i & 1 ][ j ] ) %= MOD;
( dp[ ~i & 1 ][ j + 1 ] += 1LL * cnt[ i ] * dp[ i & 1 ][ j ] % MOD ) %= MOD;
}
}
int ans = 0;
for( int i = 0; i <= N; ++i ){
( ans += 1LL * ( i & 1 ? - 1 : 1 ) * dp[ N & 1 ][ i ] * fact[ N - i ] % MOD ) %= MOD;
}
if( ans < 0 ) ans += MOD;
cout << ans << endl;
return 0;
}