結果

問題 No.243 出席番号(2)
ユーザー kakira9618kakira9618
提出日時 2022-03-06 17:59:52
言語 C++14
(gcc 13.2.0 + boost 1.83.0)
結果
RE  
実行時間 -
コード長 1,763 bytes
コンパイル時間 3,813 ms
コンパイル使用メモリ 231,152 KB
実行使用メモリ 101,332 KB
最終ジャッジ日時 2023-09-28 09:14:24
合計ジャッジ時間 7,955 ms
ジャッジサーバーID
（参考情報） 		judge14 / judge15
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
4,376 KB
testcase_01 AC 2 ms
4,380 KB
testcase_02 AC 3 ms
4,380 KB
testcase_03 AC 11 ms
7,236 KB
testcase_04 AC 11 ms
7,216 KB
testcase_05 AC 10 ms
7,564 KB
testcase_06 AC 11 ms
7,244 KB
testcase_07 AC 11 ms
7,492 KB
testcase_08 AC 36 ms
19,184 KB
testcase_09 AC 35 ms
19,076 KB
testcase_10 AC 35 ms
19,128 KB
testcase_11 AC 35 ms
19,036 KB
testcase_12 AC 36 ms
19,180 KB
testcase_13 AC 76 ms
38,636 KB
testcase_14 AC 75 ms
38,656 KB
testcase_15 AC 74 ms
38,636 KB
testcase_16 AC 75 ms
38,664 KB
testcase_17 RE -
testcase_18 MLE -
testcase_19 MLE -
testcase_20 MLE -
testcase_21 MLE -
testcase_22 RE -
testcase_23 MLE -
testcase_24 MLE -
testcase_25 MLE -
testcase_26 MLE -
testcase_27 MLE -
testcase_28 AC 3 ms
4,376 KB
testcase_29 AC 3 ms
4,380 KB
testcase_30 AC 2 ms
4,380 KB
testcase_31 AC 3 ms
4,376 KB
testcase_32 AC 2 ms
4,376 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <bits/stdc++.h>
using namespace std;

#include <atcoder/all>
using namespace atcoder;
using mint = modint1000000007;

#define all(x) (x).begin(),(x).end()
#define rep(i, n) for (int i = 0; i < (n); i++)
#define endl "\n"

#pragma GCC optimize("O3")
#pragma GCC optimize("unroll-loops")

typedef long long ll;
typedef pair<int, int> pii;
typedef pair<ll, ll> pll;

template <typename T> ostream &operator<<(ostream &os, const vector<T> &vec) {os << "["; for (const auto &v : vec) {os << v << ","; } os << "]"; return os;}
template <typename T, typename U> ostream &operator<<(ostream &os, const pair<T, U> &p) {os << "(" << p.first << ", " << p.second << ")"; return os;}
ll mod_pow(ll a, ll n, ll mod) { ll ret = 1; ll p = a % mod; while (n) { if (n & 1) ret = ret * p % mod; p = p * p % mod; n >>= 1; } return ret; }

const int mod = 1e9 + 7;

void solve() {
    int N; cin >> N; 
    vector<int> cnt(N + 1);
    for (int i = 0; i < N; i++) {
        int x; cin >> x; cnt[x + 1]++;
    }

    vector<mint> fact(100000);
    fact[0] = 1;
    for (int i = 1; i < 100000; i++) {
        fact[i] = fact[i - 1] * i;
    }

    vector<vector<mint>> dp(N + 1, vector<mint>(N + 1));
    dp[0][0] = 1;

    for (int i = 0; i < N; i++) {
        for (int j = 0; j <= N; j++) {
            if (j + 1 <= N) dp[i + 1][j + 1] += dp[i][j] * cnt[i + 1];
            dp[i + 1][j] += dp[i][j];
        }
    }

    mint ans = fact[N];
    for (int i = 1; i <= N; i++) {
        ans += (i % 2 == 1 ? -1 : 1) * dp[N][i] * fact[N - i];
    }
    cout << ans.val() << endl;
}

int main() {
    #ifdef LOCAL_ENV
    cin.exceptions(ios::failbit);
    #endif
    cin.tie(0);
    ios::sync_with_stdio(false);
    cout.setf(ios::fixed);
    cout.precision(16);
    
    solve();
}
0