結果

問題 No.1392 Don't be together
ユーザー 🍮かんプリン🍮かんプリン
提出日時 2021-02-12 23:24:41
言語 C++14
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 355 ms / 2,000 ms
コード長 4,522 bytes
コンパイル時間 2,493 ms
コンパイル使用メモリ 177,856 KB
実行使用メモリ 198,520 KB
最終ジャッジ日時 2023-09-27 06:56:18
合計ジャッジ時間 7,729 ms
ジャッジサーバーID
（参考情報） 		judge13 / judge14
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 1 ms
4,376 KB
testcase_01 AC 2 ms
4,500 KB
testcase_02 AC 2 ms
4,376 KB
testcase_03 AC 1 ms
4,376 KB
testcase_04 AC 1 ms
4,380 KB
testcase_05 AC 1 ms
4,376 KB
testcase_06 AC 160 ms
83,796 KB
testcase_07 AC 256 ms
160,272 KB
testcase_08 AC 243 ms
141,284 KB
testcase_09 AC 355 ms
198,520 KB
testcase_10 AC 154 ms
97,264 KB
testcase_11 AC 242 ms
152,092 KB
testcase_12 AC 146 ms
91,216 KB
testcase_13 AC 203 ms
127,112 KB
testcase_14 AC 225 ms
141,240 KB
testcase_15 AC 154 ms
95,700 KB
testcase_16 AC 245 ms
153,644 KB
testcase_17 AC 165 ms
102,544 KB
testcase_18 AC 221 ms
137,692 KB
testcase_19 AC 197 ms
122,544 KB
testcase_20 AC 87 ms
55,024 KB
testcase_21 AC 33 ms
21,772 KB
testcase_22 AC 135 ms
84,624 KB
testcase_23 AC 93 ms
58,260 KB
testcase_24 AC 55 ms
34,720 KB
testcase_25 AC 102 ms
63,188 KB
testcase_26 AC 28 ms
18,076 KB
testcase_27 AC 40 ms
25,900 KB
testcase_28 AC 112 ms
70,116 KB
testcase_29 AC 58 ms
37,024 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

/**
 *   @FileName	a.cpp
 *   @Author	kanpurin
 *   @Created	2021.02.12 23:24:38
**/

#include "bits/stdc++.h" 
using namespace std; 
typedef long long ll;


class UnionFind {
private:
    vector<int> par;
public:
    UnionFind(int n) {
        par.resize(n, -1);
    }
    int root(int x) {
        if (par[x] < 0) return x;
        return par[x] = root(par[x]);
    }
    bool unite(int x, int y) {
        int rx = root(x);
        int ry = root(y);
        if (rx == ry) return false;
        if (size(rx) < size(ry)) swap(rx, ry);
        par[rx] += par[ry];
        par[ry] = rx;
        return true;
    }
    bool same(int x, int y) {
        int rx = root(x);
        int ry = root(y);
        return rx == ry;
    }
    int size(int x) {
        return -par[root(x)];
    }
};
template< int MOD >
struct mint {
public:
    long long x;
    mint(long long x = 0) :x((x%MOD+MOD)%MOD) {}
    mint(std::string &s) {
        long long z = 0;
        for (int i = 0; i < s.size(); i++) {
            z *= 10;
            z += s[i] - '0';
            z %= MOD;
        }
        this->x = z;
    }
    mint& operator+=(const mint &a) {
        if ((x += a.x) >= MOD) x -= MOD;
        return *this;
    }
    mint& operator-=(const mint &a) {
        if ((x += MOD - a.x) >= MOD) x -= MOD;
        return *this;
    }
    mint& operator*=(const mint &a) {
        (x *= a.x) %= MOD;
        return *this;
    }
    mint& operator/=(const mint &a) {
        long long n = MOD - 2;
        mint u = 1, b = a;
        while (n > 0) {
            if (n & 1) {
                u *= b;
            }
            b *= b;
            n >>= 1;
        }
        return *this *= u;
    }
    mint operator+(const mint &a) const {
        mint res(*this);
        return res += a;
    }
    mint operator-() const {return mint() -= *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;
    }
    friend std::ostream& operator<<(std::ostream &os, const mint &n) {
        return os << n.x;
    }
    friend std::istream &operator>>(std::istream &is, mint &n) {
        long long x;
        is >> x;
        n = mint(x);
        return is;
    }
    bool operator==(const mint &a) const {
        return this->x == a.x;
    }
    bool operator!=(const mint &a) const {
        return this->x != a.x;
    }
    mint pow(long long k) const {
        mint ret = 1;
        mint p = this->x;
        while (k > 0) {
            if (k & 1) {
                ret *= p;
            }
            p *= p;
            k >>= 1;
        }
        return ret;
    }
};
constexpr int MOD = 998244353;

template<typename T>
struct Combination {
private:
    int N;
public:
    vector< T > FACT, IFACT;
    
    Combination(int n) : N(n) {
        FACT.resize(n + 1);
        IFACT.resize(n + 1);
        FACT[0] = 1;
        for (int i = 1; i <= n; i++) {
            FACT[i] = FACT[i - 1] * i;
        }
        IFACT[n] = T(1) / FACT[n];
        for (int i = n-1; i >= 0; i--) {
            IFACT[i] = IFACT[i+1] * (i+1);
        }
    }
    T comb(int n, int r) {
        if (n < 0 || r < 0 || r > n) return 0;
        if (r > n / 2) r = n - r;
        return FACT[n] * IFACT[n - r] * IFACT[r];
    }
};
int main() {
    int n,m;cin >> n >> m;
    UnionFind uf(n);
    Combination<mint<MOD>> cb(m);
    for (int i = 0; i < n; i++) {
        int p;cin >> p;
        uf.unite(p-1,i);
    }
    vector<vector<mint<MOD>>> f(n+1,vector<mint<MOD>>(m+1));
    for (int i = 0; i < n-1; i++) {
        if (i == 0) {
            for (int j = 0; j < m-1; j++) {
                f[i+2][j+2] = mint<MOD>(j+2)*(j+1);
            }
        }
        else {
            for (int j = 0; j < m-1; j++) {
                f[i+2][j+2] = f[i+1][j+2]*j+f[i][j+2]*(j+1);
            }
        }
    }
    vector<int> c;
    for (int i = 0; i < n; i++) {
        if (uf.root(i) == i) {
            c.push_back(uf.size(i));
        }
    }
    mint<MOD> ans = 0;
    for (int i = 0; i <= m; i++) {
        mint<MOD> total = 1;
        for (int j = 0; j < c.size(); j++) {
            total *= f[c[j]][i];
        }
        if ((i & 1) == (m & 1)) {
            ans += total * cb.comb(m,i);
        }
        else {
            ans -= total * cb.comb(m,i);
        }
    }
    cout << ans * cb.IFACT[m] << endl;
    return 0;
}
0