結果
| 問題 |
No.243 出席番号(2)
|
| コンテスト | |
| ユーザー |
shogier1
|
| 提出日時 | 2019-10-11 01:01:32 |
| 言語 | C++14 (gcc 13.3.0 + boost 1.87.0) |
| 結果 |
MLE
|
| 実行時間 | - |
| コード長 | 4,799 bytes |
| コンパイル時間 | 1,187 ms |
| コンパイル使用メモリ | 107,656 KB |
| 実行使用メモリ | 74,752 KB |
| 最終ジャッジ日時 | 2024-11-22 06:55:42 |
| 合計ジャッジ時間 | 5,110 ms |
|
ジャッジサーバーID (参考情報) |
judge5 / judge3 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| sample | MLE * 3 |
| other | MLE * 30 |
ソースコード
#include <algorithm>
#include <bitset>
#include <complex>
#include <deque>
#include <iostream>
#include <istream>
#include <iterator>
#include <map>
#include <queue>
#include <set>
#include <stack>
#include <string>
#include <vector>
#include <tuple>
#include <cstdint>
#include <iomanip>
using namespace std;
typedef long long ll;
#define rep(i, n) for(ll i = 0; i < (n); i++)
#define revrep(i, n) for(ll i = (n)-1; i >= 0; i--)
#define pb push_back
#define f first
#define s second
void BinarySay(ll x, ll y = 60){rep(i, y) cout << (x>>(y-1-i) & 1); cout << endl;}
const ll INFL = 1LL << 60;//10^18 = 2^60
ll MOD = 1000000007;
//ll MOD = 998244353;
//vector<mint> dp(N, Mint);
//vector<vector<mint>> dp2(N, vector<mint>(N, Mint));
//vector<vector<vector<mint>>> dp3(N, vector<vector<mint>>(N, vector<mint>(N, Mint)));
struct mint{
ll x;
mint(ll x):x(x % MOD){}
mint& operator+=(const mint a){
(x += a.x) %= MOD;
return *this;
}
mint& operator-=(const mint a){
(x += MOD-a.x) %= MOD;
return *this;
}
mint& operator*=(const mint a){
(x *= a.x) %= MOD;
return *this;
}
mint& operator%=(const mint a){
(x %= a.x);
return *this;
}
mint& operator++ (int){
(x += 1) %= MOD;
return *this;
}
mint& operator-- (int){
(x += MOD-1) %= MOD;
return *this;
}
mint operator+(const mint a) const{
mint res(*this);
return res+=a;
}
mint operator-(const mint a) const{
mint res(*this);
return res-=a;
}
mint operator*(const mint a) const{
mint res(*this);
return res*=a;
}
mint operator%(const mint a) const{
mint res(*this);
return res%=a;
}
mint po(ll t) const{
if(!t) return 1;
mint a = po(t>>1);
a *= a;
if(t&1) a *= *this;
return a;
}
mint inverse() const{
return po(MOD-2);
}
mint& operator/=(const mint a){
return (*this) *= a.inverse();
}
mint operator/(const mint a) const{
mint res(*this);
return res/=a;
}
bool operator == (const mint a){
return this->x == a.x;
}
bool operator != (const mint a){
return this->x != a.x;
}
void get(){
cout << x << endl;
}
void ge(){
cout << x << " ";
}
};const mint Mint = 0;
mint pow_mod(ll x, ll k){
mint res = 1;
mint a = x;
while(k > 0){
if(k % 2){
res *= a;
}
a *= a;
k /= 2;
}
return res;
}
mint inverse(ll x){return pow_mod(x, MOD-2);}
//二項演算
const int MAXcomb = 200010;
ll fac[MAXcomb], finv[MAXcomb], inv[MAXcomb];
//facはn!,finvは1/n!
//invは逆元
void COMinit(){
fac[0] = fac[1] = 1;
finv[0] = finv[1] = 1;
inv[1] = 1;
for(int i = 2; i < MAXcomb; i++){
fac[i] = fac[i-1] * i % MOD;
inv[i] = MOD - inv[MOD%i] * (MOD/i) % MOD;
finv[i] = finv[i-1] * inv[i] % MOD;
}
}
mint comb(int n, int k){
if(n < k) return 0;
if(n < 0 || k < 0) return 0;
mint res = fac[n];
res *= finv[k] * finv[n-k];
return res;
}
mint comb_simple(ll N, ll K){//Kが小さい時
mint res = 1;
rep(i, K) res *= (N-i);
mint k = 1;
rep(i, K) k *= (i+1);
res /= k;
return res;
}
//第二種スターリング数
const ll MAXStir2 = 3010;
vector<vector<mint>> Stir2memo(MAXStir2, vector<mint>(MAXStir2, Mint));
vector<mint> Bellmemo(MAXStir2, Mint);
void Stir2init(){
Stir2memo[0][0] = 1;
rep(i, MAXStir2-1)rep(j, i+1)Stir2memo[i+1][j+1] = Stir2memo[i][j] + Stir2memo[i][j+1] * (j+1);
rep(i, MAXStir2){
Bellmemo[i] = 0;
rep(j,i+1) Bellmemo[i] += Stir2memo[i][j];
}
}
mint Stir2(ll i, ll j){//区別できるi個をjグループに分ける場合の数
if(i < 0 || j < 0 || i < j) return 0;
return Stir2memo[i][j];
}
mint Bell(ll x){//区別できるx個をグループ分けする方法全ての場合の数
if(x < 0) return 0;
return Bellmemo[x];
}
ll kai[5010];
ll kai_mod(ll K){
if(K < 0) return kai[K] = 0;
if(K == 0) return kai[K] = 1;
return kai[K] = kai_mod(K-1) * K;
}
//約数の列挙O(√n)
vector<ll> divisor(ll n){
vector<ll> res(0);
for(ll i = 1; i * i <= n; i++){
if(n % i == 0){
res.push_back(i);
if(i != n/i) res.push_back(n/i);
}
}
sort(res.begin(), res.end());
return res;
}
ll N;
vector<ll> A;
ll dp[2][5010];
void solve(){
kai_mod(5008);
sort(A.begin(), A.end());
dp[0][0] = 1;
ll s = 0;
rep(i, 5005){
ll cnt = 0;
while(A[s] == i){
s++;
cnt++;
}
rep(j, 5005){
dp[(i+1)&1][j] += dp[i&1][j];
dp[(i+1)&1][j+1] += dp[i&1][j] * cnt;
}
rep(j, 5005){
dp[i&1][j] = 0;
}
}
mint ans = 0;
rep(j, 5005){
if(j & 1) ans -= kai[N-j] * dp[1][j];
else ans += kai[N-j] * dp[1][j];
}
ans.get();
}
int main(){
cin >> N;
A.resize(N);
rep(i, N){
cin >> A[i];
}
solve();
}
shogier1