結果
問題 | No.243 出席番号(2) |
ユーザー |
![]() |
提出日時 | 2019-10-11 00:57:24 |
言語 | C++14 (gcc 13.3.0 + boost 1.87.0) |
結果 |
MLE
|
実行時間 | - |
コード長 | 4,843 bytes |
コンパイル時間 | 1,207 ms |
コンパイル使用メモリ | 108,168 KB |
実行使用メモリ | 74,880 KB |
最終ジャッジ日時 | 2024-11-22 06:48:37 |
合計ジャッジ時間 | 50,634 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 secondvoid 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^60ll 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];}mint kai_mod(ll K){if(K < 0) return 0;if(K == 0) return 1;return 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;void solve(){sort(A.begin(), A.end());vector<vector<mint>> dp(2, vector<mint>(5010, Mint));//iばんめの制約まで見て、j個違反する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 -= dp[1][j] * kai_mod(N-j);else ans += dp[1][j] * kai_mod(N-j);}ans.get();}int main(){cin >> N;A.resize(N);rep(i, N){cin >> A[i];}solve();}